The Simplex Reference Model: Limiting Fault-Propagation Due to Unreliable Components in Cyber-Physical System Architectures

Cyber-physical systems are networked, component-based, real-time systems that control and monitor the physical world. We need software architectures that limit fault-propagation across unreliable components. This paper introduces our simplex reference model which is distinguished by: a plant being controlled in an external context, a machine performing the control, a domain model that estimates the plant state, and the safety requirements that must be met. The simplex reference model assists with constructing CPS architectures which limit fault-propagation. We present a representative case study to highlight the ideas behind the model and our particular decomposition.

[1]  H. Witsenhausen.  A Counterexample in Stochastic Optimum Control , 1968 .

[2]  Lui Sha,et al.  Etherware: domainware for wireless control networks , 2004, Seventh IEEE International Symposium onObject-Oriented Real-Time Distributed Computing, 2004. Proceedings..

[3]  T. Başar,et al.  A New Approach to Linear Filtering and Prediction Problems , 2001 .

[4]  A. M. Li︠a︡punov.  Stability of Motion , 2016 .

[5]  W. Brogan.  Modern Control Theory , 1971 .

[6]  Lui Sha,et al.  Using Simplicity to Control Complexity , 2001, IEEE Softw..

[7]  Bruce Powel Douglass.  Real-Time Design Patterns , 1999 .

[8]  I. Rhodes.  A tutorial introduction to estimation and filtering , 1971 .

[9]  Lui Sha,et al.  A dependable online testing and upgrade architecture for real-time embedded systems , 2005, 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'05).

[10]  Panganamala Ramana Kumar,et al.  Architecture and Algorithm for a Laboratory Vehicle Collision Avoidance System , 2007, 2007 IEEE 22nd International Symposium on Intelligent Control.

[11]  Panganamala Ramana Kumar,et al.  The Convergence of Control, Communication, and Computation , 2003, PWC.

[12]  Shifeng Zhang,et al.  3CoFramework: A Component-Based Framework for Distributed Applications , 2003, Software Engineering Research and Practice.

[13]  L. Sha,et al.  SimplexTM in a Hostile Communications Environment : The Coordinated Prototype , 1999 .

[14]  Daniel Liberzon,et al.  Switching in Systems and Control , 2003, Systems & Control: Foundations & Applications.

[15]  D.S. Naidu,et al.  Digital control system analysis and design , 1986, Proceedings of the IEEE.

[16]  Danbing Seto,et al.  Case Study: Development of a Baseline Controller for Automatic Landing of an F-16 Aircraft Using Linear Matrix Inequalities (LMIs) , 2000 .

[17]  Xavier Amatriain,et al.  A dataflow pattern catalog for sound and music computing , 2006, PLoP '06.

[18]  A.V. Savkin,et al.  Robust extended Kalman filter applied to location tracking and trajectory prediction for PCS networks , 2004, Proceedings of the 2004 IEEE International Conference on Control Applications, 2004..