*banner
 

Model Engineering using Multimodeling
Christopher Brooks, Chihhong Cheng, Thomas Huining Feng, Edward A. Lee, Reinhard von Hanxleden

Citation
Christopher Brooks, Chihhong Cheng, Thomas Huining Feng, Edward A. Lee, Reinhard von Hanxleden. "Model Engineering using Multimodeling". 1st International Workshop on Model Co-Evolution and Consistency Management (MCCM '08), September, 2008.

Abstract
We study the simultaneous use of multiple modeling techniques in the design of embedded systems. We begin with a pre-existing Statecharts model of a simple case study, a traffic light for a pedestrian crossing, using it to illustrate the need for multimodeling and the pitfalls. The original model combines two distinct models of computation (MoCs), finite state machines (FSMs) and synchronous/reactive (SR). We add an additional MoC, a discrete-event (DE) model of the environment in which the traffic light operates, including a simple fault model, yielding a model that combines three different modeling techniques. We construct a second model of a hardware deployment and a third model that is an abstraction used for formal verification. The result is that this simple example uses three distinct models of the system (functional, deployment, verification), two of which hierarchically combine distinct modeling techniques (DE, SR, FSM). This exercise reveals some pitfalls of model-based design where multiple models are needed as well as some of the opportunities.

Electronic downloads

Citation formats  
  • HTML
    Christopher Brooks, Chihhong Cheng, Thomas Huining Feng,
    Edward A. Lee, Reinhard von Hanxleden. <a
    href="http://chess.eecs.berkeley.edu/pubs/486.html"
    >Model Engineering using Multimodeling</a>, 1st
    International Workshop on Model Co-Evolution and Consistency
    Management (MCCM '08), September, 2008.
  • Plain text
    Christopher Brooks, Chihhong Cheng, Thomas Huining Feng,
    Edward A. Lee, Reinhard von Hanxleden. "Model
    Engineering using Multimodeling". 1st International
    Workshop on Model Co-Evolution and Consistency Management
    (MCCM '08), September, 2008.
  • BibTeX
    @inproceedings{BrooksChengFengLeevonHanxleden08_ModelEngineeringUsingMultimodeling,
        author = {Christopher Brooks and Chihhong Cheng and Thomas
                  Huining Feng and Edward A. Lee and Reinhard von
                  Hanxleden},
        title = {Model Engineering using Multimodeling},
        booktitle = {1st International Workshop on Model Co-Evolution
                  and Consistency Management (MCCM '08)},
        month = {September},
        year = {2008},
        abstract = {We study the simultaneous use of multiple modeling
                  techniques in the design of embedded systems. We
                  begin with a pre-existing Statecharts model of a
                  simple case study, a traffic light for a
                  pedestrian crossing, using it to illustrate the
                  need for multimodeling and the pitfalls. The
                  original model combines two distinct models of
                  computation (MoCs), finite state machines (FSMs)
                  and synchronous/reactive (SR). We add an
                  additional MoC, a discrete-event (DE) model of the
                  environment in which the traffic light operates,
                  including a simple fault model, yielding a model
                  that combines three different modeling techniques.
                  We construct a second model of a hardware
                  deployment and a third model that is an
                  abstraction used for formal verification. The
                  result is that this simple example uses three
                  distinct models of the system (functional,
                  deployment, verification), two of which
                  hierarchically combine distinct modeling
                  techniques (DE, SR, FSM). This exercise reveals
                  some pitfalls of model-based design where multiple
                  models are needed as well as some of the
                  opportunities.},
        URL = {http://chess.eecs.berkeley.edu/pubs/486.html}
    }
    

Posted by Thomas Huining Feng on 12 Sep 2008.
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-2017 Chess