Citation
Patricia Derler, Edward A. Lee, Alberto Sangiovanni-Vincentelli. "Modeling Cyber-Physical Systems". Proceedings of the IEEE (special issue on CPS), 100(1):13-28, January 2012.

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://dx.doi.org/10.1109/JPROC.2011.2160929

• HTML

  Patricia Derler, Edward A. Lee, Alberto
  Sangiovanni-Vincentelli. <a
  href="http://chess.eecs.berkeley.edu/pubs/843.html"
  >Modeling Cyber-Physical Systems</a>,
  <i>Proceedings of the IEEE (special issue on
  CPS)</i>, 100(1):13-28, January 2012.

• Plain text

  Patricia Derler, Edward A. Lee, Alberto
  Sangiovanni-Vincentelli. "Modeling Cyber-Physical
  Systems". <i>Proceedings of the IEEE (special
  issue on CPS)</i>, 100(1):13-28, January 2012.

• BibTeX

  @article{DerlerLeeSangiovanniVincentelli12_ModelingCyberPhysicalSystems,
      author = {Patricia Derler and Edward A. Lee and Alberto
                Sangiovanni-Vincentelli},
      title = {Modeling Cyber-Physical Systems},
      journal = {Proceedings of the IEEE (special issue on CPS)},
      volume = {100},
      number = {1},
      pages = {13 - 28},
      month = {January},
      year = {2012},
      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/843.html}
  }
  

Posted by Patricia Derler on 28 Jun 2011.
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.