Formal assessment techniques for embedded safety critical system
نویسندگان
چکیده
Recently, ONERA was involved in the ISAACS European project. The aim of this project was to investigate new safety assessment techniques based on the use of formal design languages and associated tools. ONERA studied more specifically the applicability of the AltaRica language and the Cecilia OCAS environment to perform the safety assessment of some Airbus aircraft systems. In this paper, we first recall the methodology developed for such traditional embedded safety critical system. Then we discuss its applicability to robotics systems.
منابع مشابه
Programming Research Group Safety-critical Systems, Formal Methods and Standards Safety-critical Systems, Formal Methods and Standards Safety-critical Systems, Formal Methods and Standards Safety-critical Systems, Formal Methods and Standards
Standards concerned with the development of safety-critical systems, and the software in such systems in particular, abound today as the software crisis increasingly aaects the world of embedded computer-based systems. The use of formal methods is often advocated as a way of increasing conndence in such systems. This paper examines the industrial use of these techniques, the recommendations con...
متن کاملThe ForMoSA Approach to Qualitative and Quantitative Model-Based Safety Analysis
This chapter presents ForMoSA (FORmal MOdels and Safety Analysis), an integrated approach for the safety assessment of safety-critical embedded systems. The approach brings together the best of engineering practice, formal methods, and mathematics: traditional safety analysis, temporal logics and verification, as well as statistics and optimization. These three orthogonal techniques cover three...
متن کاملESACS: an integrated methodology for design and safety analysis of complex systems
The continuous increase of system complexity – stimulated by the higher complexity of the functionality provided by software-based embedded controllers and by the huge improvement in the computational power of hardware – requires a corresponding increase in the capability of design and safety engineers to maintain adequate safety and reliability levels. Emerging techniques, like formal methods,...
متن کاملIntegrated application of compositional and behavioural safety analysis
Safety critical systems are systems whose operational deviations can potentially lead to catastrophic consequences or loss of human lives. These systems are widely employed in various industries, including the automotive, aerospace, weapons and nuclear industries. Today‟s modern safety-critical systems often incorporate numerous embedded control components, involve various engineering disciplin...
متن کاملSafety-critical systems, formal methods and standards - Software Engineering Journal
Standards concerned with the development of safety-critical systems, and the software in such systems in particular, abound today as the software crisis increasingly affects the world of embedded computer-based systems. The use of formal methods is often advocated as a way of increasing confidence in such systems. This paper examines the industrial use of these techniques, the recommendations c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007