The Fujaba Real-Time Statechart PlugIn (bibtex)
by ,
Abstract:
Distributed embedded real-time systems are one of the most successful application areas of the UML. However, the UML techniques for behavior modeling such as Statecharts in their current form do not support real-time as required, because of the unrealistic underlying zero-time execution assumption for side-e�ects. With Real-Time Statecharts, a related ex- tension has been developed for the Fujaba Tool Suite that overcomes these limitations by supporting a well-de�ned real-time semantics based on Timed Automata and code synthesis which guarantees the speci�ed timing characteris- tics. Besides the Real-Time Statecharts the paper describes the currently available tool support and the underlying prin- ciples of the code generation for the currently supported platform, Real-time Java.
Reference:
The Fujaba Real-Time Statechart PlugIn (Sven Burmester, Holger Giese), In Proc. of the first International Fujaba Days 2003, Kassel, Germany (Holger Giese, Albert Zündorf, eds.), University of Paderborn, volume tr-ri-04-247, 2003.
Bibtex Entry:
@InProceedings{BG03_ag,
AUTHOR = {Burmester, Sven and Giese, Holger},
TITLE = {{The Fujaba Real-Time Statechart PlugIn}},
YEAR = {2003},
MONTH = {October},
BOOKTITLE = {Proc. of the first International Fujaba Days 2003, Kassel, Germany},
VOLUME = {tr-ri-04-247},
PAGES = {1-8},
EDITOR = {Giese, Holger and Zündorf, Albert},
SERIES = {Technical Report},
PUBLISHER = {University of Paderborn},
URL = {http://www.upb.de/cs/ag-schaefer/Veroeffentlichungen/Quellen/Papers/2003/FD03-BG.pdf},
ABSTRACT = {Distributed embedded real-time systems are one of the most successful application areas of the UML. However, the UML techniques for behavior modeling such as Statecharts in their current form do not support real-time as required, because of the unrealistic underlying zero-time execution assumption for side-e\^{A}�ects. With Real-Time Statecharts, a related ex- tension has been developed for the Fujaba Tool Suite that overcomes these limitations by supporting a well-de\^{A}�ned real-time semantics based on Timed Automata and code synthesis which guarantees the speci\^{A}�ed timing characteris- tics. Besides the Real-Time Statecharts the paper describes the currently available tool support and the underlying prin- ciples of the code generation for the currently supported platform, Real-time Java.}
}
Powered by bibtexbrowser