*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". Talk or presentation, 30, September, 2008; 1st International Workshop on Model Co-Evolution and Consistency Management (MCCM 2008), Toulouse, France. Presentation of the paper found at http://chess.eecs.berkeley.edu/pubs/486.html.

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/500.html"
    ><i>Model Engineering using
    Multimodeling</i></a>, Talk or presentation, 
    30, September, 2008; 1st International Workshop on Model
    Co-Evolution and Consistency Management (MCCM 2008),
    Toulouse, France.
    Presentation of the paper found at <a
    href="http://chess.eecs.berkeley.edu/pubs/486.html"
    >http://chess.eecs.berkeley.edu/pubs/486.html</a>.
  • Plain text
    Christopher Brooks, Chihhong Cheng, Thomas Huining Feng,
    Edward A. Lee, Reinhard von Hanxleden. "Model
    Engineering using Multimodeling". Talk or presentation,
     30, September, 2008; 1st International Workshop on Model
    Co-Evolution and Consistency Management (MCCM 2008),
    Toulouse, France.
    Presentation of the paper found at <a
    href="http://chess.eecs.berkeley.edu/pubs/486.html"
    >http://chess.eecs.berkeley.edu/pubs/486.html</a>.
  • BibTeX
    @presentation{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},
        day = {30},
        month = {September},
        year = {2008},
        note = {1st International Workshop on Model Co-Evolution
                  and Consistency Management (MCCM 2008), Toulouse,
                  France.
    Presentation of the paper found at <a
                  href="http://chess.eecs.berkeley.edu/pubs/486.html"
                  >http://chess.eecs.berkeley.edu/pubs/486.html</a>.},
        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/500.html}
    }
    

Posted by Christopher Brooks on 23 Oct 2008.
Groups: naomi
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