Time-centric Models For Designing Embedded Cyber-physical Systems
John C. Eidson and Edward A. Lee and Slobodan Matic and Sanjit A. Seshia and Jia Zou
EECS Department, University of California, Berkeley
Technical Report No. UCB/EECS-2009-135
October 9, 2009
http://www2.eecs.berkeley.edu/Pubs/TechRpts/2009/EECS-2009-135.pdf
The problem addressed by this paper is that real-time embedded software today is commonly built using programming abstractions with little or no temporal semantics. The focus is on computer-based systems where multiple computers are connected on a network and interact with and through physical processes (the plant) via sensors and actuators. Such systems are often termed cyber-physical systems (CPS). The paper discusses the use of an extension to the Ptolemy II framework as a coordination language for the design of distributed real-time embedded systems. Specifically, the paper shows how to use modal models in the context of the PTIDES extension of Ptolemy II to provide a firm basis for the design of an important class of problems. Several examples are given to show the use of this environment in the design of interesting practical real-time systems.
BibTeX citation:
@techreport{Eidson:EECS-2009-135, Author= {Eidson, John C. and Lee, Edward A. and Matic, Slobodan and Seshia, Sanjit A. and Zou, Jia}, Title= {Time-centric Models For Designing Embedded Cyber-physical Systems}, Year= {2009}, Month= {Oct}, Url= {http://www2.eecs.berkeley.edu/Pubs/TechRpts/2009/EECS-2009-135.html}, Number= {UCB/EECS-2009-135}, Note= {--- See also this version: <a href="http://chess.eecs.berkeley.edu/pubs/791.html">A Time-Centric Model for Cyber-Physical Applications</a>, Proceedings of 3rd International Workshop on Model Based Architecting and Construction of Embedded System (ACESMB 2010), 21-35, October, 2010. -- Following section 8.1.9 (pg. 56) of the IEEE PSPB Operations Manual we make the following statement: "This work has been submitted to the IEEE for possible publication. Copyright may be transferred without notice, after which this version may no longer be accessible."}, Abstract= { The problem addressed by this paper is that real-time embedded software today is commonly built using programming abstractions with little or no temporal semantics. The focus is on computer-based systems where multiple computers are connected on a network and interact with and through physical processes (the plant) via sensors and actuators. Such systems are often termed cyber-physical systems (CPS). The paper discusses the use of an extension to the Ptolemy II framework as a coordination language for the design of distributed real-time embedded systems. Specifically, the paper shows how to use modal models in the context of the PTIDES extension of Ptolemy II to provide a firm basis for the design of an important class of problems. Several examples are given to show the use of this environment in the design of interesting practical real-time systems.}, }
EndNote citation:
%0 Report %A Eidson, John C. %A Lee, Edward A. %A Matic, Slobodan %A Seshia, Sanjit A. %A Zou, Jia %T Time-centric Models For Designing Embedded Cyber-physical Systems %I EECS Department, University of California, Berkeley %D 2009 %8 October 9 %@ UCB/EECS-2009-135 %U http://www2.eecs.berkeley.edu/Pubs/TechRpts/2009/EECS-2009-135.html %F Eidson:EECS-2009-135