An 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.
This report is related to the following area(s) of work:
Acquisition SupportPerformance and Dependability
Software Architecture
Technical Report
CMU/SEI-96-TR-006
March 1996
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://www.sei.cmu.edu/library/abstracts/reports/96tr006.cfm
IEEE:
J. Rivera, A. Danylyszyn, C. Weinstock, L. Sha, and M. Gagliardi, "An Architectural Description of the Simplex Architecture," Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, Technical Report CMU/SEI-96-TR-006, 1996. http://www.sei.cmu.edu/library/abstracts/reports/96tr006.cfm
APA:
Rivera, J., Danylyszyn, A., Weinstock, C., Sha, L., & Gagliardi, M. (1996). An Architectural Description of the Simplex Architecture (CMU/SEI-96-TR-006). Retrieved May 21, 2013, from the Software Engineering Institute, Carnegie Mellon University website: http://www.sei.cmu.edu/library/abstracts/reports/96tr006.cfm
CHI:
Rivera, Jose, Alejandro Danylyszyn, Charles Weinstock, Lui Sha, and Michael Gagliardi. An Architectural Description of the Simplex Architecture (CMU/SEI-96-TR-006). Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University, 1996. http://www.sei.cmu.edu/library/abstracts/reports/96tr006.cfm
MLA:
Rivera, J., Danylyszyn, A., Weinstock, C., Sha, L., & Gagliardi, M. 1996. An Architectural Description of the Simplex Architecture (Technical Report CMU/SEI-96-TR-006). Pittsburgh: Software Engineering Institute, Carnegie Mellon University. http://www.sei.cmu.edu/library/abstracts/reports/96tr006.cfm
Find Us Here
Share This Page
For more information
