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

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