Abstract
Formal description techniques like Harel’s statecharts offer a great potential to facilitate the design of complex real time systems. The systems are modeled and simulated at a high level. Automatic translation from the abstract models into implementations significantly reduces overall development time. This paper contributes to the optimized code generation from statechart models. The worst-case execution time of the generated code is reduced.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
D. Harel; Statecharts: a Visual Formalism for Complex Systems; Science of Computer Programming, Vol. 8, August 1987.
Statemate Magnum Reference Manual; i-Logix Inc., Andover, USA, 1997.
CCITT Specification and Description Language; Recommendation Z.100, ITU-T, Geneva, Switzerland, 1993.
M. Romdhani, A. A. Jerraya, A. Jeffroy, P. de Chazelles, A.-E1-K. Sahraoui; Modeling and Rapid Prototyping of Avionics Using STATEMATE; 6th IEEE International Workshop on Rapid Systems Prototyping, Chapel Hill, North Carolina, USA, 1995.
S. Schulz, M. Schütze; Modeling and Simulating an Home Automation System Using STATEMATE (in German); 4th German User Meeting for STATEMATE, Munich, Germany, 1996.
M. Spreng; Rapid Prototyping of electronic Control Systems in the Car Development (in German); Thesis, University of Karlsruhe, Germany, 1996.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer Science+Business Media New York
About this chapter
Cite this chapter
Ackad, C. (1999). Software Synthesis from Statechart Models for Real Time Systems. In: Rammig, F.J. (eds) Distributed and Parallel Embedded Systems. DIPES 1998. IFIP — The International Federation for Information Processing, vol 25. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35570-2_6
Download citation
DOI: https://doi.org/10.1007/978-0-387-35570-2_6
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5006-5
Online ISBN: 978-0-387-35570-2
eBook Packages: Springer Book Archive