Risk ordering of states in safecharts

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1943, Issue , 2000, Pages 395-405

  Nissanke, Nimal ^a   Dammag, Hamdan ^a  

^a LONDON SOUTH BANK UNIVERSITY   (United Kingdom)

Author keywords

Failures; Nuclear safety; Risk assessment; Risk ordering; Safety; Statecharts

Indexed keywords

ACCIDENT PREVENTION; FAILURE (MECHANICAL); NUCLEAR INDUSTRY; RISK ASSESSMENT; SYSTEMS ANALYSIS;

HAZARD ANALYSIS; NON-DETERMINISM; NUCLEAR SAFETY; ORDER RELATION; RISK LEVELS; SAFETY CRITICAL SYSTEMS; STATECHARTS; SYSTEM STATE;

SAFETY ENGINEERING;

EID: 84957016743     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-40891-6_34     Document Type: Conference Paper

References (7)

1. V. Bignell and J. Fortune. Understanding Systems Failures. Manchester University Press, 1984.
2. H. Dammag and N. Nissanke. Safecharts for specifying and designing safety critical systems. In 18th IEEE Symposium on Reliable Distributed Systems, Lausanne. IEEE, October 1999.
3. N. Day. A model checker for statecharts. Technical report, University of British Colombia, Vancouver, Canada, 1993.
4. D. Harel. Statecharts: a visual formalism for complex systems. volume 8 of Science of Computer Programming, pages 231–274. North-Holland, 1987.
5. D. Harel, J. P. Schmidt, and R. Sherman. On the formal semantics of statecharts. In 2nd IEEE Symposium on Logic in Computer Science, pages 54–64, 1985.
6. N. G. Leveson. Safeware – System Safety and Computers. Addison-Wesley Publishing Company, 1995.
7. A. Pnueli and A. Shalev. What is in a step: On the semantics of statecharts. In Symposium on Theoretical Aspects of Computer Software, volume 526 of LNCS. Springer-Verlag, 1991.