By Topic

Safecharts for specifying and designing safety critical systems

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
H. Dammag ; Dept. of Comput. Sci., Reading Univ., UK ; N. Nissanke

This paper proposes a novel variant of Statecharts, called Safecharts, especially for use in the specification 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 annotation, which proposes an explicit ordering of states according to risk level. Transitions are classified according to their risk nature and given a new priority scheme for their execution in the event of any non-determinism. A railway signalling system, a well-known case study, is used as an example to demonstrate some features and semantics of Safecharts

Published in:

Reliable Distributed Systems, 1999. Proceedings of the 18th IEEE Symposium on

Date of Conference: