Code Generation for Hard Real-time Systems from Real-time Statecharts (bibtex)
Reference:
Sven Burmester, Holger Giese and Wilhelm Schäfer, "Code Generation for Hard Real-time Systems from Real-time Statecharts", Technical Report tr-ri-03-244, University of Paderborn: Paderborn, Germany, October 2003.
Abstract:
Currently used modeling tools to specify and implement software for embedded systems do not provide adequate means to specify the necessary details to synthesize code automatically from the model definition when hard real-time constraints have to be respected by the implementation. The manual process of testing the hard real-time constraints and adjusting the model or implementation is costly and error-prone. This is also true for UML Statecharts. This paper proposes a syntactic extension and semantic definition of UML Statecharts which provides enough details to synthesize code for hard real-time systems automatically. The algorithm which partitions the model into threads and the corresponding code generation are also described in the paper and show how our approach supports automatic code synthesis.
Links:
@TechReport{BGS03_ag,
AUTHOR = {Burmester, Sven and Giese, Holger and Sch\"{a}fer, Wilhelm},
TITLE = {{Code Generation for Hard Real-time Systems from Real-time Statecharts}},
YEAR = {2003},
MONTH = {October},
NUMBER = {tr-ri-03-244},
PAGES = {1-15},
ADDRESS = {Paderborn, Germany},
INSTITUTION = {University of Paderborn},
URL = {http://www.fujaba.de/no_cache/resources/publications.html?tx_sibibtex_pi1[showUid]=2131&cHash=0809a63418},
ABSTRACT = {Currently used modeling tools to specify and implement software for embedded systems do not provide adequate means to specify the necessary details to synthesize code automatically from the model definition when hard real-time constraints have to be respected by the implementation. The manual process of testing the hard real-time constraints and adjusting the model or implementation is costly and error-prone. This is also true for UML Statecharts. This paper proposes a syntactic extension and semantic definition of UML Statecharts which provides enough details to synthesize code for hard real-time systems automatically. The algorithm which partitions the model into threads and the corresponding code generation are also described in the paper and show how our approach supports automatic code synthesis.}
}
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