@COMMENT This file was generated by bib2html.pl <https://sourceforge.net/projects/bib2html/> version 0.94
@COMMENT written by Patrick Riley <http://sourceforge.net/users/patstg/>
@COMMENT This file came from Sanjit Seshia's publication pages at http://www.eecs.berkeley.edu/~sseshia
@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.
  },
}