A Semantics for Distributed Execution of Statemate



AbstractWe 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.
KeywordsDistributed Systems, Semantics, Statemate
TypeJournal paper [With referee]
JournalFormal Aspects of Computing
Editors
Year2003    Month December    Vol. 15    No. 4    pp. 390-405
PublisherSpringer Verlag
Electronic version(s)[pdf]
Publication linkhttp://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1007/s00165-003-0015-4
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering