The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
During the last decades, critical embedded systems in many application domains have transitioned from federated architectures to integrated architectures like Integrated Modular Avionics (IMA) platforms. Such trend is driven by the objective to reduce the size and weight of on-board equipment, the dissipated power and the number of computing unit types (and so to improve the maintainability and serviceability...
Safety-Critical Systems as used in avionics systems are now extremely software-reliant. As these systems are life-or mission- critical, software must be carefully designed and certified according to stringent standards. One typical pitfalls of such project is the late detection of safety issues or bugs at integration time that impose to redo development steps. Model-Based Engineering aims at capturing...
The number of devices in an operation room (OR) and the complexity of the components and the overall system increases continuously. Today's vendor-dependent integrated ORs are expensive and not able to handle this complexity because they can only form isolated solutions. Thus a device communication for medical devices among each other and to medical information systems has to be based on open and...
Reliability assessment represent a key issue in any advanced technology application where the systems must satisfy high level of reliability in order to guarantee ambient, personnel and system safety. This paper is focused on Reliability Block Diagram (RBD) technique with the aim of providing a reliability prediction for complex systems. In particular the case study is focused on gas turbine auxiliary...
Since safety certification only applies for lithium-ion battery system up to 48V in Chinese Coal Mine Industry for underground application, standard battery energy storage system (BESS) cannot be directly used to provide emergency power for critical motor load such as fan / pump etc, which are normally rated at a few hundreds volts. This paper develops a modular design defined as Battery Electronic...
In this paper, a genetic algorithm (GA) method for the design of the operational architecture of a control system is presented. It provides from the knowledge of some characteristics of the functions that the control system must ensure, an allocation solution of these functions on industrial controllers while satisfying capabilities, compatibility and exclusion constraints in order to minimize the...
Unsafe behavior of hybrid systems can have disastrous consequences, motivating the need for formal verification of the software running on these systems. Foundational verification in a proof assistant such as Coq is a promising technique that can provide extremely strong, foundational, guarantees about software systems. In this paper, we show how to apply this technique to hybrid systems. We define...
The AUTOSAR standard describes an architecture for embedded automotive systems. The lack of flexibility is a major drawback of this architecture and updates are not easily possible. In our work we explore the various facets of software updates in the context of AUTOSAR embedded applications. With few modifications that remain compatible with the development process, we propose specific concepts for...
Vital computers play a fundamental role in the safety-critical industrial applications. It is necessary to conduct functional safety analysis against its application (logic) software to guarantee the functionality of the whole system to reach the domain-requested safety integrity level. However, the diversity of application software brings difficulty to the conduction of safety analysis with a high...
The NFR (Non Functional Requirements) framework was used to quantitatively evaluate software architectures. Assurance cases using GSN (Goal Structuring Notation) have not been applied to quantitatively evaluate software architectures. In this paper, GSN will be extended to define quantitative attributes for this purpose. Then, the architecture evaluation method based on the attributed GSN method will...
The Integrated Modular Avionics (IMA) architecture and the Time-Triggered Ethernet (TTEthernet) network have emerged as the key components of a typical architecture model for recent civil aircrafts. It has recently been proposed to model both the (IMA) architecture and the TTEthernet network in the constraint-based TTCC calculus. In this paper, we show how the declarative aspects of this calculus...
Identifying drawbacks or insufficiencies in terms of safety is important also in early development stages of safety critical systems. In industry, development artefacts such as components or units, are often reused from existing artefacts to save time and costs. When development artefacts are reused, their existing safety analysis models are an important input for an early safety assessment for the...
Structural analysis in Software Engineering hinders the colossal aspects of architecture and functional behavior of the systems. The analysis of the same yields in flow oriented view of the blocks involved, rather than their functional behavior. Thus a need to analyze the behavior of systems, leads us to a newer approach called behavior analysis. The ever increasing complexity of Safety Critical Systems...
To realize the V2I communication technology based on 3GPP LTE infrastructure, the gateway is required to connected 3GPP network to in-vehicle communication system. The gateway must be suitable for the legacy vehicle E/E systems and functional safety requirements. In this paper, I describe the architecture of CAN-to-3GPP LTE gateway to fit those requirements. CAN is the general purpose communication...
The International Aerial Robotics Competition (IARC) aims at pulling forward the state of the art in UAV. The Mission's 7 challenge deals mainly with GPS/Laser denied navigation, Robot-Robot interaction and obstacle avoidance in the setting of a ground robot herding problem. We present in this paper our UAV which took part in the 2014 competition, in the China venue. This year, the mission was not...
In the years between now and 2022, the foundation for automated driving will be developed. Automated driving will not be introduced in the market at once and not with the same electrical and electronics (E/E) architecture; it will be introduced piece by piece and in different forms of E/E architectures. The main reasons for automated driving will always be the same: comfortable, efficient and safe...
Many traffic accidents occur due to the driver's low vigilance and drowsiness, which causes huge economic losses and human life casualty. In this paper we propose a novel real-time service architecture for detecting driver's state and ensuring driving safety. Some automatic state detection services are also given inside the system architecture.
In the years between now and 2022, the foundation for automated driving will be developed. Automated driving will not be introduced in the market at once and not with the same electrical and electronics (E/E) architecture; it will be introduced piece by piece and in different forms of E/E architectures. The main reasons for automated driving will always be the same: comfortable, efficient and safe...
Information plays a key role in natural disaster crisis management and relief. We discussed in previous contributions how lightweight Unmanned Aerial Vehicles (UAVs) or (micro-)drones can effectively assist rescuers in order to improve the situational awareness and assessment [1] [2].
This paper presents a model-based safety architecture framework (MBSAF) for capturing and sharing architectural knowledge of safety cases of safety-critical systems of systems (SoS). Whilst architecture frameworks in the systems engineering domain consider safety often as dependent attribute, this study focusses specifically on sharing architectural knowledge of safety cases between stakeholders and...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.