Patricia Derler and 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://www2.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.

---

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},
    Year= {2011},
    Month= {Mar},
    Url= {http://www2.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://www2.eecs.berkeley.edu/Pubs/TechRpts/2011/EECS-2011-17.html
%F Derler:EECS-2011-17