Design for safety in Safecharts with risk ordering of states

Safety Science

Volumn 40, Issue 9, 2002, Pages 753-763

  Nissanke, Nimal ^a   Dammag, Hamdan ^a  

^a LONDON SOUTH BANK UNIVERSITY   (United Kingdom)

Author keywords

Failures; Risk assessment; Risk ordering; Safety; Statecharts

Indexed keywords

DESIGN AIDS; RISK ASSESSMENT; SYSTEMS ANALYSIS;

SAFECHARTS;

ACCIDENT PREVENTION;

ACCURACY; EXPERIMENTAL DESIGN; METHODOLOGY; MODEL; NUCLEAR ACCIDENT; NUCLEAR POWER PLANT; NUCLEAR REACTOR; NUCLEAR SAFETY; PRIORITY JOURNAL; REVIEW; RISK ASSESSMENT; SAFETY; SYSTEM ANALYSIS;

EID: 0036094674     PISSN: 09257535     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0925-7535(01)00089-3     Document Type: Article

References (9)

1. Safecharts for specifying and designing safety critical systems
2. On the formal semantics of Statecharts
3. Statecharts: A visual formalism for complex systems
4. Practical risk management