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: This work was supported in part by the Center for Hybrid and Embedded Software Systems (CHESS) at UC Berkeley, which receives support from the National Science Foundation (NSF awards #0720882 (CSR-EHS: PRET) and #0720841 (CSR-CPS)), the U. S. Army Research Office (ARO #W911NF-07-2-0019), the U. S. Air Force Office of Scientific Research (MURI #FA9550-06-0312), the Air Force Research Lab (AFRL), the State of California Micro Program, and the following companies: Agilent, Bosch, Lockheed-Martin, National Instruments, Thales and Toyota.
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 = {This work was supported in part by the Center for Hybrid and Embedded Software Systems (CHESS) at UC Berkeley, which receives support from the National Science Foundation (NSF awards #0720882 (CSR-EHS: PRET) and #0720841 (CSR-CPS)), the U. S. Army Research Office (ARO #W911NF-07-2-0019), the U. S. Air Force Office of Scientific Research (MURI #FA9550-06-0312), the Air Force Research Lab (AFRL), the State of California Micro Program, and the following companies: Agilent, Bosch, Lockheed-Martin, National Instruments, Thales and Toyota.},
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