Integrating safety analysis into formal specification of dependable systems

Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003

Volumn , Issue , 2003, Pages

  Troubitsyna, Elena ^a  

^a ÅBO AKADEMI UNIVERSITY   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED PARAMETER NETWORKS; SPECIFICATIONS;

CONVEYOR SYSTEMS; DEPENDABLE SYSTEMS; FAIL SAFE SYSTEMS; FAILURE MODE AND EFFECT ANALYSIS; FUNCTIONAL REQUIREMENT; SAFETY ANALYSIS; SAFETY REQUIREMENTS; SPECIFICATION FRAMEWORKS;

FORMAL SPECIFICATION;

EID: 84856531993     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IPDPS.2003.1213394     Document Type: Conference Paper

References (15)

1. Back R. J. R. 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.
2. Butler, M. Sekerinski E. and Sere K. An Action System Approach to the Steam Boiler Problem. In J.-R. Abrial, E. Borger and H. Lang, editors, Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, Lecture Notes in Computer Science Vol. 1165. Springer-Verlag, 1996.
3. Dijkstra E. W. A Discipline of Programming. Prentice Hall International, Englewood Cliffs, N. J., 1976.
4. Hansen K. M., Ravn A. P. and Stavridou V. From Safety Analysis to Software Requirements. In IEEE Transactions on Software Engineering, Vol. 24, No. 7, July, 1998.
5. Harel D. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231-274, 1987.
6. Laprie J.-C. Dependability: Basic Concepts and Terminology. Springer-Verlag, Vienna, 1991.
7. Leveson N. G. Safeware: System Safety and Computers, Addison-Wesley, 1995.
8. Sekerinski E. Graphical Design of Reactive Systems. In D. Bert (Ed): Proc. of 2nd International B Conference. Lecture Notes in Computer Science 1393, pp. 182-197, Montpellier, France, 1998
9. Sere K. and Troubitsyna E. Hazard Analysis in Formal Specification. In M. Felici, K. Kanoun, and A. Pasquini (Eds.). Computer Safety, Reliability and Security. Proc. of 18th International Conference, SAFECOMP'99, Lecture Notes in Computer Science 1698, pp. 350-360, Toulouse, France, September 1999.
10. Sere K. and Troubitsyna E. Safety Analysis in Formal Specification. In J. Wing, J. Woodcock, and J. Davies (Eds.), FM'99-Formal Methods. Proc. of World Congress on Formal Methods in the Development of Computing Systems, vol II, Lecture Notes in Computer Science 1709, pp. 1564-1583, Toulouse, France, September, 1999.
11. Storey N. Safety-critical computer systems. Addison-Wesley, 1996.
12. Troubitsyna E. Specifying Safety Related Hazards Formally. In Proc. of 17th International System Safety Conference. pp. 353-363, Orlando, FL USA, August 1999.
13. Troubitsyna E. Integrating Safety Analysis into Formal Specification of Safety-Critical Systems, TUCS-Turku Centre for Computer Science, Technical Report No. 498, 2002.
14. Troubitsyna E. Specifying Fault Tolerant Software Using Statecharts and FMEA, TUCS-Turku Centre for Computer Science, Technical Report No. 497, 2002
15. Wong K. and Joyce J. Refinement of Safety-Related Hazards into Verifiable Code Assertions. In Proc. of SAFECOMP'98, Heidelberg, Germany, October 1998.