*banner
 

Modeling Cyber-Physical Systems
Patricia Derler, Edward A. Lee, Alberto Sangiovanni-Vincentelli

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

Citation formats  
  • 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.

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.

You are not logged in 
©2002-2014 Chess