SAFETYLIT WEEKLY UPDATE

We compile citations and summaries of about 400 new articles every week.
RSS Feed

HELP: Tutorials | FAQ
CONTACT US: Contact info

Search Results

Journal Article

Citation

Nissanke N, Dammag H. Safety Sci. 2002; 40(9): 753-763.

Copyright

(Copyright © 2002, Elsevier Publishing)

DOI

unavailable

PMID

unavailable

Abstract

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.

NEW SEARCH


All SafetyLit records are available for automatic download to Zotero & Mendeley
Print