Citation
Patricia Derler, Edward A. Lee, Alberto Sangiovanni-Vincentelli. "Addressing Modeling Challenges in Cyber-Physical Systems". Technical report, EECS Department University of California, Berkeley, UCB/EECS-2011-17, March, 2011.

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.

Electronic downloads

• http://www.eecs.berkeley.edu/Pubs/TechRpts/2011/EECS-2011-17.html
• http://chess.eecs.berkeley.edu/pubs/843.html. (January, 2012 Proceedings of the IEEE (special issue on CPS) version)

• HTML

  Patricia Derler, Edward A. Lee, Alberto
  Sangiovanni-Vincentelli. <a
  href="http://chess.eecs.berkeley.edu/pubs/835.html"
  ><i>Addressing Modeling Challenges in
  Cyber-Physical Systems</i></a>, Technical
  report,  EECS Department University of California, Berkeley,
  UCB/EECS-2011-17, March, 2011.

• Plain text

  Patricia Derler, Edward A. Lee, Alberto
  Sangiovanni-Vincentelli. "Addressing Modeling
  Challenges in Cyber-Physical Systems". Technical
  report,  EECS Department University of California, Berkeley,
  UCB/EECS-2011-17, March, 2011.

• BibTeX

  @techreport{DerlerLeeSangiovanniVincentelli11_AddressingModelingChallengesInCyberPhysicalSystems,
      author = {Patricia Derler and Edward A. Lee and Alberto
                Sangiovanni-Vincentelli},
      title = {Addressing Modeling Challenges in Cyber-Physical
                Systems},
      institution = {EECS Department University of California, Berkeley},
      number = {UCB/EECS-2011-17},
      month = {March},
      year = {2011},
      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.},
      URL = {http://chess.eecs.berkeley.edu/pubs/835.html}
  }
  

Posted by Christopher Brooks on 9 Mar 2011.
Groups: ptolemy
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.