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.
BibTeX file
title = { Code Generation for Hard Real-time Systems from Real-time Statecharts },
year = { 2003 },
number = { tr-ri-03-244 },
pages = { 1-15 },
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. },
month = { 10 },
address = { Paderborn, Germany },
institution = { University of Paderborn }
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.
last change: Mon, 23 Nov 2009 09:17:59 +0100