Multimodeling: A Preliminary Case Study

Christopher Brooks, Thomas Huining Feng, Edward A. Lee and Reinhard von Hanxleden

EECS Department
University of California, Berkeley
Technical Report No. UCB/EECS-2008-7
January 17, 2008

http://www2.eecs.berkeley.edu/Pubs/TechRpts/2008/EECS-2008-7.pdf

We take a pre-existing Statecharts model of a simple traffic light controller and reimplement it in Ptolemy II. This exercise reveals that Statecharts can be usefully onceptualized as a hierarchical combination of two distinct models of computation (MoCs), finite state machines (FSMs) and synchronous/reactive (SR). Once conceptualized this way, we can add additional MoCs to the mix. We illustrate this by adding a discrete-event (DE) model of the environment in which the traffic light operates. We then construct a second model of a deployment of the system on two microcontrollers communicating wirelessly, showing that we can effectively leverage both DE and an extension in Ptolemy II that supports modeling of wireless communication networks. This exercise reveals that even though the original model was intended to be a purely functional model, it in fact imposes constraints on the implementation. The model had to be refactored to get a distributed deployment model. Finally, we show that the portions of the models defining the control logic of the lights can be shared between the functional and deployment models using actor-oriented classes. This eases maintenance of the models.


BibTeX citation:

@techreport{Brooks:EECS-2008-7,
    Author = {Brooks, Christopher and Feng, Thomas Huining and Lee, Edward A. and von Hanxleden, Reinhard},
    Title = {Multimodeling: A Preliminary Case Study},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {2008},
    Month = {Jan},
    URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/2008/EECS-2008-7.html},
    Number = {UCB/EECS-2008-7},
    Abstract = {We take a pre-existing Statecharts model of a simple traffic light controller and reimplement it in Ptolemy II. This exercise reveals that Statecharts can be usefully onceptualized as a hierarchical combination of two distinct models of computation (MoCs), finite state machines (FSMs) and synchronous/reactive (SR). Once conceptualized this way, we can add additional MoCs to the mix. We illustrate this by adding a discrete-event (DE) model of the environment in which the traffic light operates. We then construct a second model of a deployment of the system on two microcontrollers communicating wirelessly, showing that we can effectively leverage both DE and an extension in Ptolemy II that supports modeling of wireless communication networks. This exercise reveals that even though the original model was intended to be a purely functional model, it in fact imposes constraints on the implementation. The model had to be refactored to get a distributed deployment model. Finally, we show that the portions of the models defining the control logic of the lights can be shared between the functional and deployment models using actor-oriented classes. This eases maintenance of the models.}
}

EndNote citation:

%0 Report
%A Brooks, Christopher
%A Feng, Thomas Huining
%A Lee, Edward A.
%A von Hanxleden, Reinhard
%T Multimodeling: A Preliminary Case Study
%I EECS Department, University of California, Berkeley
%D 2008
%8 January 17
%@ UCB/EECS-2008-7
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/2008/EECS-2008-7.html
%F Brooks:EECS-2008-7