A Semantics for Distributed Execution of Statemate

Martin Fränzle, Jürgen Niehaus, Alexander Metzner, Werner Damm

    Research output: Contribution to journalJournal articleResearchpeer-review


    We present a semantics for the statechart variant implemented in the Statemate product of i-Logix. Our semantics enables distributed code generation for Statemate models in the context of rapid prototyping for embedded control applications. We argue that it seems impossible to efficiently generate distributed code using the original Statemate semantics. The new, distributed semantics has the advantages that, first, it enables the generation of efficient distributed code, second, it preserves many aspects of the original semantics for those parts of a model that are not distributed, and third, the changes made regarding the interaction of distributed model parts are similar to the interaction between the model and its environment in the original semantics, thus giving designers a familiar execution model. The semantics has been implemented in Grace, a framework for rapid prototyping code generation for embedded control applications.
    Original languageEnglish
    JournalFormal Aspects of Computing
    Issue number4
    Pages (from-to)390-405
    Publication statusPublished - 2003

    Cite this