Combining statecharts and Z for the design of safety-critical control systems

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

Volumn 1051, Issue , 1996, Pages 307-326

  Weber, Matthias ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL SYSTEMS; FORMAL METHODS; SAFETY ENGINEERING; SEMANTICS; SPECIFICATION LANGUAGES; SPECIFICATIONS;

ARCHITECTURAL VIEWS; HYDRAULIC PRESS; MATHEMATICAL SPECIFICATIONS; PROOF OBLIGATIONS; SAFETY-CRITICAL CONTROL SYSTEMS; SEMANTIC COMPATIBILITY; SEPARATION OF CONCERNS; SOFTWARE DESIGN TECHNIQUES;

SOFTWARE DESIGN;

EID: 84955595762     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-60973-3_94     Document Type: Conference Paper

References (14)

1. L. M. Barroca, J. S. Fitzgerald, and L. Spencer. The architectural specification of an avionics subsystem. In IEEE Workshop on Industrial-strength Formal Specification Techniques, pages 17-29. IEEE Press, 1995.
2. G. Booch. Object-Oriented Analysis and Design with Applications. Benjamin Cummings, second edition, 1994.
3. D. Cralgen, S. Gerhart, and T. Ralston. An international survey of industrial applications of formal methods. Technical Report NISTGCR 93/626, National Institute of Standards and Teclmology, Gaithersburg, MD 20899, 1993.
4. Zentralstelle für Unfallverhiitung und Arbeitsmedizin. Pressen - Sicherheitsregeln fiir Zweihandschaltungen an kraftbetriebenen Pressen der Metallbearbeitung. Hauptverband der gewerblichen Berufsgenossenschaften, Langwartweg 103, 5300 Bonn 1, 2nd edition, 1978.
5. D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3):231-274, 1987.
6. D. Harel and E. Gery. Executable Object-Modeling with Statecharts. In to appear, editor, Proc. ICSE 18, 1996.
7. M. Heisel, S. Jühnichen, M. Simons, and M. Weber. Embedding mathematical techniques into system engineering. In M. Wirsing, editor, ICSE-17 Workshop on Formal Methods Application in Software Engineering Practice, pages 53-60, 1995.
8. I. Houston and S. King. CICS Project Report: Experiences and Results from the Use of Z in IBM. In S.Prehn and W.J.Toetenel, editors, VDM'91 Formal Software Development Methods, volume 551 of LNCS, pages 588-596. Springer-Verlag, 1991.
9. Y. Kestens and A. Pnueli. Timed and Hybrid Statecharts and their Textual Representation, volume 299 of LNCS, pages 591 - 620. Springer-Verlag, 1992.
10. J. Rumbaugh et al. Object-Oriented Modeling and Design. Prentice-Hall, 1991.
11. B. Selic, G. Gullekson, and P. T. Ward. Real-Time Object-Oriented Modeling. Jolm Wiley & Sons, 1994.
12. IEEE Software. Safety-Critical Systems. IEEE, January 1994.
13. M. Spivey. The Z Notation, A Reference Manual. Prentice Hall, 2nd edition, 1992.
14. M. von der Beeck. A comparison of statecharts variants. In Symposium on Fault- Tolerant Computing, LNCS. Springer, 1994.