Distributed Real-Time Software for Cyber-Physical Systems

John C. Eidson, Edward A. Lee, Slobodan Matic, Sanjit A. Seshia, and Jia Zou. Distributed Real-Time Software for Cyber-Physical Systems. Proceedings of the IEEE, 100(1):45–59, January 2012.

Download

[pdf] 

Abstract

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 PTIDES that servesas a coordination language for model-based design of distributed real-time embedded systems.Specifically, the paper describes the principles of PTIDES, which leverages networktime synchronization to provide a determinate distributed real-time semantics.We show how PTIDES can function as a coordination language, orchestratingcomponents 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.

BibTeX

@Article{eidson-pieee12,
  author = 	 {John C. Eidson and Edward A. Lee and Slobodan Matic and Sanjit A. Seshia and Jia Zou},
  title = 	 {Distributed Real-Time Software for Cyber-Physical Systems},
  journal = 	 {Proceedings of the IEEE},
  year = 	 {2012},
  volume    = {100},
  number    = {1},
  year      = {2012},
  pages     = {45-59},
  OPTkey = 	 {},
  month = 	 {January},
  OPTannote = 	 {},
  abstract = {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 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.
  },
}