Applying RT-Z to Develop Safety-Critical Systems

Authors:
Carsten Sühl
Affiliations:
-
Venue:
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Year:
2000

Citing 12
Cited 0

Experience with Formal Methods in Critical Systems

IEEE Software
Requirements Specification for Process-Control Systems

IEEE Transactions on Software Engineering
Safeware: system safety and computers

Safeware: system safety and computers
Real-time CSP

Theories and experiences for real-time system development
Using Z: specification, refinement, and proof

Using Z: specification, refinement, and proof
CSP-OZ: a combination of object-Z and CSP

FMOODS '97 Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems
Blending Object-Z and Timed CSP: an introduction to TCOZ

Proceedings of the 20th international conference on Software engineering
Formal Methods for Real-Time Computing

Formal Methods for Real-Time Computing
How to Combine Z with Process Algebra

ZUM '98 Proceedings of the 11th International Conference of Z Users on The Z Formal Specification Notation
Formal Methods Reality Check: Industrial Usage

FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods
RT-Z: An Integration of Z and timed CSP

IFM '99 Proceedings of the 1st International Conference on Integrated Formal Methods
The Generalized Railroad Crossing: A Case Study in Formal Verification of Real-Time Systems

The Generalized Railroad Crossing: A Case Study in Formal Verification of Real-Time Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present the application of the formal specification language RT-Z, an integration of the model-based specification language Z and the real-time process algebra timed CSP, in the area of safety-critical systems. The characteristics underlying the development of safety-critical systems are identified, and criteria for specification languages to be used in this area are derived. It is demonstrated by means of a case study that RT-Z satisfies these criteria.