Electrical Engineering
      and Computer Sciences

Electrical Engineering and Computer Sciences

COLLEGE OF ENGINEERING

UC Berkeley

Time-centric Models For Designing Embedded Cyber-physical Systems

John C. Eidson, Edward A. Lee, Slobodan Matic, Sanjit A. Seshia and Jia Zou

EECS Department
University of California, Berkeley
Technical Report No. UCB/EECS-2009-135
October 9, 2009

http://www.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.

Author Comments: --- See also this version: A Time-Centric Model for Cyber-Physical Applications, 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."


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},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {2009},
    Month = {Oct},
    URL = {http://www.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://www.eecs.berkeley.edu/Pubs/TechRpts/2009/EECS-2009-135.html
%F Eidson:EECS-2009-135