Distributed Real-Time Software for Cyber–Physical Systems

Real-time embedded software today is commonly built using programming abstractions with little or no temporal semantics. This paper addresses this problem by presenting a programming model called programming temporally integrated distributed embedded systems (PTIDES) that serves as a coordination language for model-based design of distributed real-time embedded systems. Specifically, the paper describes the principles of PTIDES, which leverages network time synchronization to provide a determinate distributed real-time semantics. We show how PTIDES can function as a coordination language, orchestrating components that may be designed and specified using different formalisms. We show the use of this environment in the design of interesting and practical cyber-physical systems, such as a power plant control system.

[1]  Farhad Arbab,et al.  Coordination Models and Languages , 1998, Adv. Comput..

[2]  Jakob Engblom,et al.  The worst-case execution-time problem—overview of methods and survey of tools , 2008, TECS.

[3]  Edward A. Lee,et al.  Causality interfaces for actor networks , 2008, TECS.

[4]  Gabor Karsai,et al.  Model-integrated development of embedded software , 2003, Proc. IEEE.

[5]  Measurement , 2007 .

[6]  John C. Eidson,et al.  Measurement, Control, and Communication Using IEEE 1588 , 2006 .

[7]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[8]  Edward A. Lee,et al.  A Programming Model for Time-Synchronized Distributed Real-Time Systems , 2007, 13th IEEE Real Time and Embedded Technology and Applications Symposium (RTAS'07).

[9]  K. Mani Chandy,et al.  Distributed Simulation: A Case Study in Design and Verification of Distributed Programs , 1979, IEEE Transactions on Software Engineering.

[10]  Christos G. Cassandras,et al.  Discrete event systems : modeling and performance analysis , 1993 .

[11]  Edward A. Lee,et al.  Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems , 2009, 2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium.

[12]  Edward A. Lee,et al.  Actor-Oriented Design of Embedded Hardware and Software Systems , 2003, J. Circuits Syst. Comput..

[13]  Bernard P. Zeigler,et al.  Theory of modeling and simulation , 1976 .

[14]  R. Makowitz,et al.  Flexray - A communication network for automotive control systems , 2006, 2006 IEEE International Workshop on Factory Communication Systems.

[15]  W. Marsden I and J , 2012 .

[16]  Hermann Kopetz,et al.  The time-triggered architecture , 2003 .

[17]  Edward A. Lee,et al.  A framework for comparing models of computation , 1998, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[18]  Christos G. Cassandras,et al.  Discrete-Event Systems , 2005, Handbook of Networked and Embedded Control Systems.

[19]  Edward A. Lee,et al.  CPO semantics of timed interactive actor networks , 2008, Theor. Comput. Sci..

[20]  David E. Culler,et al.  The Emergence of Networking Abstractions and Techniques in TinyOS , 2004, NSDI.

[21]  Sanjit A. Seshia,et al.  Game-theoretic timing analysis , 2008, ICCAD 2008.

[22]  Edward A. Lee Modeling concurrent real-time processes using discrete events , 1999, Ann. Softw. Eng..

[23]  Edward A. Lee,et al.  Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems , 2007, EMSOFT '07.

[24]  Reza Olfati-Saber,et al.  Consensus and Cooperation in Networked Multi-Agent Systems , 2007, Proceedings of the IEEE.

[25]  Jia Zou,et al.  From Ptides to PtidyOS, Designing Distributed Real-Time Embedded Systems , 2011 .

[26]  Edward A. Lee,et al.  Simulation and Implementation of the PTIDES Programming Model , 2008, 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications.

[27]  Edward A. Lee,et al.  Modal Models in Ptolemy , 2010, EOOLT.

[28]  Edward A. Lee,et al.  PTIDES on flexible task graph: real-time embedded systembuilding from theory to practice , 2009, LCTES '09.

[29]  Sanjit A. Seshia,et al.  Quantitative Analysis of Systems Using Game-Theoretic Learning , 2012, TECS.

[30]  Edward A. Lee,et al.  Taming heterogeneity - the Ptolemy approach , 2003, Proc. IEEE.

[31]  Joseph Sifakis,et al.  The Algebra of Connectors - Structuring Interaction in BIP , 2008, IEEE Trans. Computers.

[32]  Sanjit A. Seshia,et al.  GameTime: A Toolkit for Timing Analysis of Software , 2011, TACAS.

[33]  Andy J. Wellings,et al.  Analysing real-time communications: controller area network (CAN) , 1994, 1994 Proceedings Real-Time Systems Symposium.