Electrical Engineering
      and Computer Sciences

Electrical Engineering and Computer Sciences

COLLEGE OF ENGINEERING

UC Berkeley

Addressing Modeling Challenges in Cyber-Physical Systems

Patricia Derler, Edward A. Lee and Alberto L. Sangiovanni-Vincentelli

EECS Department
University of California, Berkeley
Technical Report No. UCB/EECS-2011-17
March 4, 2011

http://www.eecs.berkeley.edu/Pubs/TechRpts/2011/EECS-2011-17.pdf

This paper focuses on the challenges of modeling cyber-physical systems that arise from the intrinsic heterogeneity, concurrency, and sensitivity to timing of such systems. It uses a portion of an aircraft vehicle management systems (VMS), specifically the fuel management subsystem, to illustrate the challenges, and then discusses technologies that at least partially address the challenges. Specific technologies described include hybrid system modeling and simulation, concurrent and heterogeneous models of computation, the use of domain-specific ontologies to enhance modularity, and the joint modeling of functionality and implementation architectures.

Author Comments: 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{Derler:EECS-2011-17,
    Author = {Derler, Patricia and Lee, Edward A. and Sangiovanni-Vincentelli, Alberto L.},
    Title = {Addressing Modeling Challenges in Cyber-Physical Systems},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {2011},
    Month = {Mar},
    URL = {http://www.eecs.berkeley.edu/Pubs/TechRpts/2011/EECS-2011-17.html},
    Number = {UCB/EECS-2011-17},
    Note = {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 = {This paper focuses on the challenges of modeling cyber-physical systems that arise from the intrinsic heterogeneity, concurrency, and sensitivity to timing of such systems. It uses a portion of an aircraft vehicle management systems (VMS), specifically the fuel management subsystem, to illustrate the challenges, and then discusses technologies that at least partially address the challenges. Specific technologies described include hybrid system modeling and simulation, concurrent and heterogeneous models of computation, the use of domain-specific ontologies to enhance modularity, and the joint modeling of functionality and implementation architectures.}
}

EndNote citation:

%0 Report
%A Derler, Patricia
%A Lee, Edward A.
%A Sangiovanni-Vincentelli, Alberto L.
%T Addressing Modeling Challenges in Cyber-Physical Systems
%I EECS Department, University of California, Berkeley
%D 2011
%8 March 4
%@ UCB/EECS-2011-17
%U http://www.eecs.berkeley.edu/Pubs/TechRpts/2011/EECS-2011-17.html
%F Derler:EECS-2011-17