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.
The paper is devoted to a comprehensive modelling of the influence of the operation process and the climate-weather change process on the safety of a critical infrastructure. Particular models of critical infrastructure safety influenced by its inside among its components and subsystems dependences and by its outside operating environment threats and climate-weather hazards are created and a reasonable...
Integration of Advanced Driver Assistance Systems (ADAS) and Vehicle to Vehicle communication (V2V) provide a wide range of applications with the potential to enhance road safety and prevent traffic accidents. During the last few years, significant attention has been paid to developing and implementing both systems, since V2V and ADAS are considered as key technologies of future Intelligent Transportation...
Today, most large and complex systems such as aircrafts or power grids integrate physical and human aspects with computing and networking, and therefore constitute so-called socio-cyber-physical systems (SCPS). Their engineering, from prospective and conceptual studies (to determine the scope of the system) through design and construction to operation, maintenance and upgrades, necessitates the cooperation...
For continuous-time port-Hamiltonian systems (PHS), safety can be shown using the Hamiltonian function as a barrier between the safe and unsafe states. However, the safety property may not be preserved when the system is discretized. This paper presents a safety analysis approach for discrete-time models of PHS using conservative time-discretization and applies the approach to the design of a safe...
Safety assurance is a major challenge in the design of today's complex embedded systems and future Cyber-physical systems. Especially changes in a system's architectural design invalidate former safety analyses and require an adaptation of related safety analysis models in order to restore consistency. In this work, we present an approach for automatically generating mappings between failure ports...
The prediction of horizontal displacement is significant important to the safety-control in dam. A number of regression analysis-based methods have been proposed. However, most of the methods have unsatisfied performance on prediction accuracy in case of the sample size is unknown. In this paper, a method based on changeable sliding window is proposed to predict horizontal displacement of dam foundation...
‘Fusion for Energy’ (F4E) is designing, developing, and implementing the European Helium-Cooled Lead-Lithium (HCLL) and Helium-Cooled Pebble-Bed (HCPB) Test Blanket Systems (TBSs) for ITER (Nuclear Facility INB-174). Safety demonstration is an essential element for the integration of these TBSs into ITER and accident analysis is one of its critical components. A systematic approach to accident analysis...
Safety assurance is a major challenge in the design of complex embedded and Cyber-physical Systems. Especially, changes and adoptions during the design or run-time of an embedded system invalidate former safety analyses and require an adaptation of the system's safety analysis models. In this paper, we present a methodology to fill up empty safety analysis artifacts in component fault trees using...
Our paper focuses on two aspects of certifying a cloud-based network system: i) metrics to quantify the dependability of cloud-based applications; and ii) identifying techniques to measure these metrics prior to deployment of applications. We treat system dependability as an application-level QoS for management purposes, and advocate a probabilistic evaluation of dependability. Our approach is corroborated...
Viewpoints are the current MDE research recommendation to manage the increasing embedded system design complexity. In this paper, we focus on viewpoints for the safety and performance engineering domains. Based on our experience at Thales, we discuss the impact that may have the interaction between both engineering domains on the applicability of viewpoints to the design process of safetycritical...
Safety critical embedded systems must be verified and optimized. Their production process, which includes both automatic code generation and middleware implementation, depends on the the target execution platform and must be adapted accordingly. In such a context, Model Driven Architecture provides several approaches to transform user models into programming code but these solutions lack of flexibility...
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.