search menu icon-carat-right cmu-wordmark

An Architectural Description of the Simplex Architecture

Technical Report
This report describes SEI-developed Simplex, a software architecture for dependable and evolvable process-control systems.
Publisher

Software Engineering Institute

CMU/SEI Report Number
CMU/SEI-96-TR-006

Abstract

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.

Cite This Technical Report

Rivera, J., Danylyszyn, A., Weinstock, C., Sha, L., & Gagliardi, M. (1996, March 1). An Architectural Description of the Simplex Architecture. (Technical Report CMU/SEI-96-TR-006). Retrieved February 23, 2024, from https://insights.sei.cmu.edu/library/an-architectural-description-of-the-simplex-architecture/.

@techreport{rivera_1996,
author={Rivera, Jose and Danylyszyn, Alejandro and Weinstock, Charles and Sha, Lui and Gagliardi, Michael},
title={An Architectural Description of the Simplex Architecture},
month={Mar},
year={1996},
number={CMU/SEI-96-TR-006},
howpublished={Carnegie Mellon University, Software Engineering Institute's Digital Library},
url={https://insights.sei.cmu.edu/library/an-architectural-description-of-the-simplex-architecture/},
note={Accessed: 2024-Feb-23}
}

Rivera, Jose, Alejandro Danylyszyn, Charles Weinstock, Lui Sha, and Michael Gagliardi. "An Architectural Description of the Simplex Architecture." (CMU/SEI-96-TR-006). Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, March 1, 1996. https://insights.sei.cmu.edu/library/an-architectural-description-of-the-simplex-architecture/.

J. Rivera, A. Danylyszyn, C. Weinstock, L. Sha, and M. Gagliardi, "An Architectural Description of the Simplex Architecture," Carnegie Mellon University, Software Engineering Institute's Digital Library. Software Engineering Institute, Technical Report CMU/SEI-96-TR-006, 1-Mar-1996 [Online]. Available: https://insights.sei.cmu.edu/library/an-architectural-description-of-the-simplex-architecture/. [Accessed: 23-Feb-2024].

Rivera, Jose, Alejandro Danylyszyn, Charles Weinstock, Lui Sha, and Michael Gagliardi. "An Architectural Description of the Simplex Architecture." (Technical Report CMU/SEI-96-TR-006). Carnegie Mellon University, Software Engineering Institute's Digital Library, Software Engineering Institute, 1 Mar. 1996. https://insights.sei.cmu.edu/library/an-architectural-description-of-the-simplex-architecture/. Accessed 23 Feb. 2024.

Rivera, Jose; Danylyszyn, Alejandro; Weinstock, Charles; Sha, Lui; & Gagliardi, Michael. An Architectural Description of the Simplex Architecture. CMU/SEI-96-TR-006. Software Engineering Institute. 1996. https://insights.sei.cmu.edu/library/an-architectural-description-of-the-simplex-architecture/