Hazard analysis in formal specification

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

Volumn 1698, Issue , 1999, Pages 350-360

  Sere, Kaisa ^a   Troubitsyna, Elena ^a  

^a TURKU CENTRE FOR COMPUTER SCIENCE   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL SPECIFICATION;

ACTION SYSTEMS; COMPOSITION OPERATORS; HAZARD ANALYSIS; MATHEMATICAL FOUNDATIONS; SAFETY CRITICAL SYSTEMS;

HAZARDS;

EID: 22844456710     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48249-0_30     Document Type: Conference Paper

References (19)

1. J.-R. Abrial. The B-Book: Assigning Programs to Meanings. Cambridge University Press, 1996.
2. R. J. R. Back. Refinement calculus, Part II: Parallel and reactive programs. In J. W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, Stepwise Refinement of Distributed Systems, volume 430 of Lecture Notes in Computer Science, pages 67-93, Mook, The Netherlands, May/June 1989. Springer-Verlag, 1990.
3. R. J. R. Back and J. von Wright. Trace Refinement of Action Systems. In Proc. of CONCUR94, Sweden, August 1994. Lecture Notes in Computer Science. Springer-Verlag, 1994.
4. 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.
5. S. J. Clarke and J. McDermid. Software Fault Trees and Weakest Preconditions: A Comparison and Analysis, Software Engineering Journal, July 1993.
6. E. W. Dijkstra. A Discipline of Programming. Prentice Hall International, Englewood Cliffs, N. J., 1976.
7. 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
8. N. G. Leveson. Software Safety in Embedded Computer Systems. Communication ACM, Vol. 34, No. 2, February 1999.
9. N. G. Leveson, S. S. Cha and T. J. Shimeall, Safety Verification of Ada Programs Using Software Fault Trees. IEEE Software, July 1991.
10. N. G. Leveson. Safeware: System Safety and Computers, Addison-Wesley, 1995.
11. 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.
12. Z. Liu and M. Joseph. Transformations of programs for fault-tolerance. In Formal Aspects of Computing, Vol 4, No. 5 1992, pp. 442-469
13. 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.
14. E. Sekerinski and K. Sere (Eds.). Program Development by Refinement-Case Studies Using the B Method. Springer Verlag 1998.
15. 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.
16. N. Storey. Safety-critical computer systems. Addison-Wesley, 1996.
17. E. Troubitsyna. Refining for Safety. TUCS Technical Report No. 237, February 1999.
18. th International System Safety Conference, Orlando, FL USA, August 1999. To appear.
19. K. Wong and J. Joyce. Refinement of Safety-Related Hazards into Verifiable Code Assertions. In Proc. of SAFECOMP'98, Heidelberg, Germany, October, 1998.