Selected Simplex References
Index
A Case Study on Analytical Analysis of the Inverted Pendulum Real-Time Control System
Affordable and Dependable System Maintenance and Upgrades
Analytical Redundancy: A Foundation for Evolvable Dependable Systems
Analytic Redundancy for Software Fault-Tolerance in Hard Real-Time Systems
An Architectural Description of the Simplex Architecture
An Engineering Method for Safety Region Development
A Software Architecture for Dependable and Evolvable Industrial Computing Systems (Version 1)
A Software Architecture for Dependable and Evolvable Industrial Computing Systems (Version 2)
A Study in the Use of CORBA in Real-Time Settings: Model Problems for the Manufacturing Domain
A Study of Practice Issues in Model-Based Verification Using the Symbolic Model Verifier (SMV)
A Systematic Approach to Designing Distributed Real-Time Systems
Attribute-Based Architectural Styles
Composite Objects: Real Time Programming with CORBA
Consistency in Dynamic Reconfiguration
Control Reconfiguration in the Presence of Software Failures
The Deferrable Server Algorithm for Enhanced Aperiodic Responsiveness in Hard Real-Time Environments
Designing for Evolvability: Building Blocks for Evolvable Real-Time Systems
Dynamic Control System Upgrade Using the Simplex Architecture
Evolving Dependable Real-Time Systems
Formalizing the Uni-Processor Simplex Architecture
High Availability in the Real-Time Publisher/Subscriber Inter-Process Communication Model
Incremental Software Evolution For Real-Time Systems
INSERT: A COTS-based Solution for Building High-Assurance Applications
Integration of CORBA Services with a Dynamic Real-time Architecture
On Schedulability in Real Time Control Systems
Optimal Priority Inheritance Policy for Synchronization in Real-Time Systems
Paradigm for Building Robust Real-Time Distributed Mission-Critical Systems
Shifting the Computation Paradigm of Real-Time Control Systems
The Simplex Architecture: An Approach To Building Evolving Industrial Computing Systems
The Simplex Architecture for Safe On-Line Control System Upgrades
Simplex Architecture: Meeting the Challenges Using COTS in High-Reliability Systems (1997)
Simplex Architecture: Meeting the Challenges Using COTS in High-Reliability Systems (1998)
Simplex Architecture Performance and Cost
Simplex: A Technology for Rapid Reliable Upgrade
Simplex: A Technology for Reliable Upgrade
Simplex in a Hostile Communications Environment: The Coordinated Prototype
Technology for Technology Insertion: An Overview of the Simplex Architecture