Abstract | ||
---|---|---|
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.
|
Year | DOI | Venue |
---|---|---|
1998 | 10.1007/BFb0053363 | B |
Keywords | DocType | Volume |
b model,safety-critical software systems,software architecture,b method,development process | Conference | 1393 |
ISSN | ISBN | Citations |
0302-9743 | 3-540-64405-9 | 0 |
PageRank | References | Authors |
0.34 | 4 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Souâd Taouil-traverson | 1 | 1 | 0.69 |
Sylvie Vignes | 2 | 14 | 6.61 |