The Fujaba Real-Time Statechart PlugIn (bibtex)
Reference:
Sven Burmester and Holger Giese, "The Fujaba Real-Time Statechart PlugIn", in Holger Giese, Albert Zündorf, Eds., Proc. of the first International Fujaba Days 2003, Kassel, Germany, vol. tr-ri-04-247 of Technical Report, pp. 1-8, University of Paderborn, October 2003.
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.
Links:
Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
Powered by bibtexbrowser