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

• Multimodeling.pdf · application/pdf · 2713 kbytes

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