Design for Safety in Safecharts with Risk Ordering of States
نویسندگان
چکیده
Safecharts is a variant of Statecharts intended exclusively for safety critical systems design. With two separate representations for functional and safety requirements, Safecharts brings the distinctions and dependencies between them into sharper focus, helping both designers and auditors alike in modelling and reviewing safety features. Safecharts incorporates ways to represent equipment failures and failure handling mechanisms and uses a safety oriented classification of transitions and a safety oriented scheme for resolving any unpredictable non-deterministic pattern of behaviour. It achieves these through an explicit representation of risks posed by hazardous states by means of an ordering of states and a concept called risk band. Recognising the possibility of gaps and inaccuracies in safety analysis, Safecharts do not permit transitions between states with unknown relative risk levels. However, in order to limit the number of transitions excluded in this manner, Safecharts provides a default interpretation for relative risk levels between states not covered by the risk ordering relation, requiring the designer to clarify the risk levels in the event of a disagreement and thus improving the risk assessment process.
منابع مشابه
Safecharts for Specifying and Designing Safety Critical Systems
This paper proposes a novel variant of Statecharts, called Safecharts, especially for use in the speciication and the design of safety critical systems. The objective is to provide a sharper focus on safety issues and a systematic approach to deal with them. This is achieved by making a clear separation between functional and safety requirements. A novel feature of Safecharts is the safety anno...
متن کاملModeling and Verification of Safety-Critical Systems Using Safecharts
With rapid development in science and technology, we now see the ubiquitous use of different types of safety-critical systems in our daily lives such as in avionics, consumer electronics, and medical systems. In such systems, unintentional design faults might result in injury or even death to human beings. To make sure that safety-critical systems are really safe, there is need to verify them f...
متن کاملModeling and Automatic Failure Analysis of Safety-Critical Systems Using Extended Safecharts
With the rapid progress in science and technology, we find ubiquitous use of safety-critical systems in avionics, consumer electronics, and medical instruments. In such systems, unintentional design faults might result in injury or even death to human beings. To avoid such mishaps, we need to verify safetycritical systems thoroughly, where formal verification techniques such as model checking p...
متن کاملAutomatic Failure Analysis using Extended Safecharts
With rapid development in science and technology, we now see the ubiquitous use of different types of safety-critical systems in our daily lives such as in avionics, consumer electronics, and medical systems. In such systems, unintentional design faults might result in injury or even death to human beings. To avoid such mishaps, we need to verify safety-critical systems thoroughly and formal ve...
متن کاملQuantitative Safety and Health Assessment Based on Fuzzy Inference and AHP at Preliminary Design Stage
Quantitative assessment is the most important means to identify hazard potential and manage risk for an industrial process. The implement of quantitative assessment in the early stage will help to develop inherently safer process, eliminating the hazard and reduce the possibility of accidental chain events and the magnitude of consequences. In this paper, after reviewing the presently available...
متن کامل