Case study in developing complex safety critical systems

Proceedings of the Hawaii International Conference on System Sciences

Volumn 5, Issue , 1997, Pages 135-143

  Kraemer, Bernd J ^a  

^a UNIVERSITY OF HAGEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ACCIDENT PREVENTION; COMPUTER CONTROL; COMPUTER SYSTEMS PROGRAMMING; DISTRIBUTED PARAMETER CONTROL SYSTEMS;

SAFETY CRITICAL SYSTEMS;

SOFTWARE ENGINEERING;

EID: 0031365426     PISSN: 10603425     EISSN: None     Source Type: None    
DOI: 10.1109/HICSS.1997.663168     Document Type: Conference Paper

References (11)

1. W. J. Cullyer W. A. Halang B. J. Kramer High integrity programmable electronic systems 1995 Wadern 107, D-66687
2. M. Broy Informatik: Eine grundlegende Einführung III 1994 Springer Verlag
3. W. Reisig Petri Nets, EATCS Monographs on Theoretical Computer Science 4 1985 Springer Verlag
4. K. J. Turner Using Formal Description Techniques 1993 John Wiley & Sons
5. J. Magee N. Dulay S. Eisenbach J. Kramer Specifying distributed software architectures Fifth European Software Engineering Conference (ESEC '95) Fifth European Software Engineering Conference (ESEC '95) 1995
6. Case Study Production Cell 891 1994 Springer Verlag Formal Development of Reactive Systems
7. N. G. Leveson Safeware-System Safety and Computers 1995 Addison-Wesley
8. W. A. Halang B. J. Kramer N. Volker Formally verified building blocks in functional logic diagrams for emergency shutdown system design High Integrity Systems 1995
9. Z. Manna A. Pnueli Specification 1 1992 Springer-Verlag The Temporal Logic of Reactive and Concurrent Systems
10. G. Henze T. Koch B. J. Kramer Annotations for synchronization constraints in CORBA IDL SDNE '96 SDNE '96 Macau 1996-June