J. G. Rivera, A. A. Danylyszyn, C. B. Weinstock, L. R. Sha, and M. J. Gagliardi. An Architectural Description of the Simplex Architecture. Technical report, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, 1996. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Case Study Problem Analysis (DMS3) The Travel Agent Problem - Periorellis, Dobson (2001) (Correct)
.... use CSP process algebra [Hoare 1985; Roscoe 1998; Schneider 2000] Model checking methods using CSP algebra and associated FDR tool [FDR2 2000] are especially useful for the validation of communication characteristics (e.g. liveness of an SoS in terms of communication events) Allen et al. 1997; Rivera et al. 1996] In addition to automatic analysis offered by FDR, CSP is equipped with several denotational semantics; the system behaviour and properties (like deadlock freeness) can be described in terms of traces, failures and divergences. The most important advantage of using CSP in context of analyzing ....
Rivera J.G., Danylyszyn A.A., Weinstock C.B., Sha L.R., Gagliardi M.J.: "An Architectural Description of the Simplex Architecture". Technical Report CMU/SEI-96-TR-006 ESC-TR-96-006, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania 15213 (1996).
The Simplex Architecture for Safe On-Line Control System.. - Seto, Krogh, Sha, Chutinan (1998) Self-citation (Sha) (Correct)
....in reduced reliability and availability. Therefore, how to maintain system reliability and availability is the key issue in upgrading control systems. It would be desirable to be able to make the software changes in a safe and reliable fashion while the system is running. The Simplex architecture [1, 4, 6, 7], a real time software technology developed at the Carnegie Mellon University Software Engineering Institute, is designed for this purpose. The Simplex architecture is built upon the fundamental concept of analytic redundancy which refers to redundant components a system with dissimilar ....
....high reliability and high availability can be achieved during the system upgrade without shutting down the system. The Simplex architecture is the realtime environment that supports this capability. General discussion of the Simplex architecture as a software technology can be found in [4, 6, 7]. In this paper, we describe the details of the Simplex implementation. We present the basic structure of the Simplex architecture as it is employed in control systems with a single processor. Based on this structure, we discuss different types of controller faults that the Simplex architecture ....
J. Rivera, A. Danylyszyn, C. Weinstock, L. Sha, and M. Gagliardi, "An Architectural Description of the Simplex Architecture". Technical Report, CMU/SEI-96-TR-006, March, 1996.
Towards Preserving Correctness in Self-Managed.. - Desmet, Janssens.. (2004) (Correct)
No context found.
J. G. Rivera, A. A. Danylyszyn, C. B. Weinstock, L. R. Sha, and M. J. Gagliardi. An Architectural Description of the Simplex Architecture. Technical report, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, 1996.
Towards Preserving Correctness - In Self-Managed Software (Correct)
No context found.
J. G. Rivera, A. A. Danylyszyn, C. B. Weinstock, L. R. Sha, and M. J. Gagliardi. An Architectural Description of the Simplex Architecture. Technical report, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, 1996.
Towards Preserving Correctness in Self-Managed.. - Desmet, Janssens.. (2004) (Correct)
No context found.
J. G. Rivera, A. A. Danylyszyn, C. B. Weinstock, L. R. Sha, and M. J. Gagliardi. An Architectural Description of the Simplex Architecture. Technical report, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, 1996.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC