Eine Plattform für die Wissenschaft: Bauingenieurwesen, Architektur und Urbanistik
Eine Plattform für die Wissenschaft: Bauingenieurwesen, Architektur und Urbanistik
Architectural Description of the Simplex Architecture
Simplex is a software architecture for dependable and evolvable process-control systems developed by the Software Engineering Institute. Our project consisted of creating a formal specification of this architecture, and analyzing its safety and liveness properties. We developed a Communicating Sequential Processes (CSP) model to describe the overall dynamic behavior of the Simplex architecture, which we verified using the Failure-Divergence-Refinement (FDR) model checker. As a result, we discovered interesting things about the use of FDR that revealed subtle points in the Simplex architecture. We also developed a WRIGHT specification of this architecture to characterize precisely the connections between its components at the architectural level, The specification was based on the latest version of the CSP model.
Architectural Description of the Simplex Architecture
Simplex is a software architecture for dependable and evolvable process-control systems developed by the Software Engineering Institute. Our project consisted of creating a formal specification of this architecture, and analyzing its safety and liveness properties. We developed a Communicating Sequential Processes (CSP) model to describe the overall dynamic behavior of the Simplex architecture, which we verified using the Failure-Divergence-Refinement (FDR) model checker. As a result, we discovered interesting things about the use of FDR that revealed subtle points in the Simplex architecture. We also developed a WRIGHT specification of this architecture to characterize precisely the connections between its components at the architectural level, The specification was based on the latest version of the CSP model.
Architectural Description of the Simplex Architecture
J. G. Rivera (Autor:in) / A. A. Danylyszyn (Autor:in) / C. B. Weinstock (Autor:in) / L. R. Sha (Autor:in) / M. J. Gagliardi (Autor:in)
1996
76 pages
Report
Keine Angabe
Englisch
Simplex Architecture Performance and Cost
| NTIS | 2000
HADL: HUMS Architectural Description Language
| NTIS | 2004
Hadl: HUMS Architectural Description Language
| NTRS | 2004