*banner
 

Viewpoints, Formalisms, Languages, and Tools for Cyber-Physical Systems
David Broman, Edward A. Lee, Stavros Tripakis, Martin Torngren

Citation
David Broman, Edward A. Lee, Stavros Tripakis, Martin Torngren. "Viewpoints, Formalisms, Languages, and Tools for Cyber-Physical Systems". Proceedings of the 6th International Workshop on Multi-Paradigm Modeling, Innsbruck, Austria, 1, October, 2012.

Abstract
Cyber-physical systems (CPS) are becoming indispensable in our modern way of life. As an application domain CPS is not new. As an intellectual discipline, however, it is. This paper focuses on CPS modeling, which is an essential activity in CPS design, with multiple challenges. In particular, stakeholders lack a systematic framework and guidelines to help them choose among the many available modeling languages and tools. We propose such a framework in this paper. Our framework consists of three elements: viewpoints, which capture the stakeholders' interests and concerns; concrete languages and tools, among which the stakeholders must make a selection when defining their CPS design environments; and abstract, mathematical formalisms, which are the "semantic glue" linking the two worlds. As part of the framework, we survey various formalisms, languages, and tools and explain how they are related. We also provide examples of viewpoints and discuss how they are related to formalisms.

Electronic downloads

Citation formats  
  • HTML
    David Broman, Edward A. Lee, Stavros Tripakis, Martin
    Torngren. <a
    href="http://chess.eecs.berkeley.edu/pubs/939.html"
    >Viewpoints, Formalisms, Languages, and Tools for
    Cyber-Physical Systems</a>, Proceedings of the 6th
    International Workshop on Multi-Paradigm Modeling,
    Innsbruck, Austria, 1, October, 2012.
  • Plain text
    David Broman, Edward A. Lee, Stavros Tripakis, Martin
    Torngren. "Viewpoints, Formalisms, Languages, and Tools
    for Cyber-Physical Systems". Proceedings of the 6th
    International Workshop on Multi-Paradigm Modeling,
    Innsbruck, Austria, 1, October, 2012.
  • BibTeX
    @inproceedings{BromanLeeTripakisTorngren12_ViewpointsFormalismsLanguagesToolsForCyberPhysical,
        author = {David Broman and Edward A. Lee and Stavros
                  Tripakis and Martin Torngren},
        title = {Viewpoints, Formalisms, Languages, and Tools for
                  Cyber-Physical Systems},
        booktitle = {Proceedings of the 6th International Workshop on
                  Multi-Paradigm Modeling},
        organization = {Innsbruck, Austria},
        day = {1},
        month = {October},
        year = {2012},
        abstract = {Cyber-physical systems (CPS) are becoming
                  indispensable in our modern way of life. As an
                  application domain CPS is not new. As an
                  intellectual discipline, however, it is. This
                  paper focuses on CPS modeling, which is an
                  essential activity in CPS design, with multiple
                  challenges. In particular, stakeholders lack a
                  systematic framework and guidelines to help them
                  choose among the many available modeling languages
                  and tools. We propose such a framework in this
                  paper. Our framework consists of three elements:
                  viewpoints, which capture the stakeholders'
                  interests and concerns; concrete languages and
                  tools, among which the stakeholders must make a
                  selection when defining their CPS design
                  environments; and abstract, mathematical
                  formalisms, which are the "semantic glue" linking
                  the two worlds. As part of the framework, we
                  survey various formalisms, languages, and tools
                  and explain how they are related. We also provide
                  examples of viewpoints and discuss how they are
                  related to formalisms. },
        URL = {http://chess.eecs.berkeley.edu/pubs/939.html}
    }
    

Posted by David Broman on 24 Sep 2012.
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.

©2002-2018 Chess