An Architectural Description of the Simplex Architecture

March 1996 • Technical Report

JoseGermanRivera, AlejandroAndresDanylyszyn, Charles B. Weinstock, Lui R. Sha, Michael J. Gagliardi

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

Subjects

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.

Download PDF

Cite This Report

SEI

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, Carnegie Mellon University. 1996. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=12521

IEEE

Rivera. Jose, Danylyszyn. Alejandro, Weinstock. Charles, Sha. Lui, and Gagliardi. Michael, "An Architectural Description of the Simplex Architecture," Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, Technical Report CMU/SEI-96-TR-006, 1996. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=12521

APA

Rivera, Jose., Danylyszyn, Alejandro., Weinstock, Charles., Sha, Lui., & Gagliardi, Michael. (1996). An Architectural Description of the Simplex Architecture (CMU/SEI-96-TR-006). Retrieved June 03, 2023, from the Software Engineering Institute, Carnegie Mellon University website: http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=12521

CHI

Jose Rivera, Alejandro Danylyszyn, Charles Weinstock, Lui Sha, & Michael Gagliardi. An Architectural Description of the Simplex Architecture (CMU/SEI-96-TR-006). Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University, 1996. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=12521

MLA

Rivera, Jose., Danylyszyn, Alejandro., Weinstock, Charles., Sha, Lui., & Gagliardi, Michael. 1996. An Architectural Description of the Simplex Architecture (Technical Report CMU/SEI-96-TR-006). Pittsburgh: Software Engineering Institute, Carnegie Mellon University. http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=12521

BibTex

@techreport{RiveraAnArchitectural1996,
title={An Architectural Description of the Simplex Architecture},
author={Jose Rivera and Alejandro Danylyszyn and Charles Weinstock and Lui Sha and Michael Gagliardi},
year={1996},
number={CMU/SEI-96-TR-006},
institution={Software Engineering Institute, Carnegie Mellon University},
address={Pittsburgh, PA},
url={http://resources.sei.cmu.edu/library/asset-view.cfm?AssetID=12521} }

Ask a question about this Technical Report

Software Engineering Institute