@COMMENT This file was generated by bib2html.pl version 0.94
@COMMENT written by Patrick Riley
@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.
},
}