Safety analysis in formal specification

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

Volumn 1709, Issue , 1999, Pages 1564-1583

  Sere, Kaisa ^a   Troubitsyna, Elena ^a  

^a ÅBO AKADEMI UNIVERSITY   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL SPECIFICATION; SAFETY ENGINEERING; SECURITY SYSTEMS;

ABSTRACT SPECIFICATIONS; ACTION SYSTEMS; COMPOSITION OPERATORS; FORMAL APPROACH; MATHEMATICAL FOUNDATIONS; SAFETY ANALYSIS; SAFETY CRITICAL SYSTEMS;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 84949487418     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48118-4_33     Document Type: Conference Paper

References (16)

1. R. J. R. Back and K. Sere. From modular systems to action systems. Proc. of Formal Methods Europe'94, Spain, October 1994. Lecture Notes in Computer Science. Springer-Verlag, 1994.
2. R. J. R. Back and J. von Wright. Trace Refinement of Action Systems. In Proc. of CONCUR-94, Sweden, August 1994. Lecture Notes in Computer Science. Springer-Verlag, 1994.
3. M. Butler, E. Sekerinski, and K. Sere. An Action System Approach to the Steam Boiler Problem. In Jean-Raymond Abrial, Egon Borger and Hans Langmaack, editors, Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, Lecture Notes in Computer Science Vol. 1165. Springer-Verlag, 1996.
4. E.W. Dijkstra. A Discipline of Programming. Prentice Hall International, Englewood Clifis, N.J., 1976.
5. K.M. Hansen, A. P. Ravn and V. Stavridou. From Safety Analysis to Software Requirements. In IEEE Transactions on Software Engineering, Vol.24, No.7, July 1998
6. N.G. Leveson. Safeware: System Safety and Computers, Addison-Wesley, 1995.
7. N.G. Leveson, M.P.E. Heimdahl, H. Hildreth, and J.D. Reese. Requirements Specification for Process-Control Systems. In IEEE Transactions on Software Engineering, 1994.
8. Z. Liu and M. Joseph. Transformations of programs for fault-tolerance. In Formal Aspects of Computing, Vol 4, No. 5 1992, pp. 442-469
9. A. McIver, C.C. Morgan and E. Troubitsyna. The probabilistic steam boiler: a case study in probabilistic data refinement. In Proc. of IRW/FMP'98, Australia, 1998.
10. E. Sekerinski and K. Sere (Eds.). Program Development by Refinement – Case Studies Using the B Method. Springer Verlag 1998.
11. E. Sekerinski and K. Sere. A Theory of Prioritizing Composition. The Computer Journal, VOL. 39, No 8, pp. 701-712. The British Computer Society. Oxford University Press.
12. K. Sere and E. Troubitsyna. Hazard Analysis in Formal Specification. In Proc. of SAFECOMP'99, France, 1999. To appear.
13. N. Storey. Safety-critical computer systems. Addison-Wesley, 1996.
14. E. Troubitsyna. Refining for Safety. TUCS Technical Report No.237, February 1999.
15. E. Troubitsyna. Specifying Safety-Related Hazards Formally. In Proc. Of ISSC'99, USA, 1999. To appear.
16. K. Wong and J. Joyce. Refinement of Safety-Related Hazards into Verifiable Code Assertions. in Proceedings of SAFECOMP'98,, Heidelberg, Germany, October, 1998.