Designing a B model for safety-critical software systems
- Souâd Taouil-TraversonAffiliated withCR2A-DI
- , Sylvie VignesAffiliated withENST
The observations described in this paper are based on the experience we gained in applying the B method to a realistic safetycritical case study. The main goal was to integrate the B method into the heart of the development cycle, particularly for such applications. We outline a framework to reason about control process systems in order to capture functional and safety-related properties and to organize the conceptual architecture of these systems.
Thus, we describe how a B Model can be designed both with respect to safety constraints and in terms of software architecture abstractions. We use the B method to support architectural abstractions, codifying the interactions of components. Finally, we present essential results of the case study and we show the significant impact of such a B formal development on the development process by giving some metrics.
- Designing a B model for safety-critical software systems
- Book Title
- B’98: Recent Advances in the Development and Use of the B Method
- Book Subtitle
- Second International B Conference Montpellier, France, April 22–24, 1998 Proceedings
- pp 210-225
- Print ISBN
- Online ISBN
- Series Title
- Lecture Notes in Computer Science
- Series Volume
- Series ISSN
- Springer Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- Additional Links
- Industry Sectors
- eBook Packages
To view the rest of this content please follow the download PDF link above.