Abstract
Much of hybrid systems design and validation happens at the level of mathematical models.While some tools offer automatic code generation from mathematical models, manual code optimization and integration is often necessary to achieve non-functional aspects such as concurrency, resource management, and timing. In the process, the tight correspondence between model and code is lost, raising the issue of implementation correctness and causing of difficulties for code reuse.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
T.A. Henzinger, B. Horowitz, and C.M. Kirsch. Giotto: A time-triggered language for embedded programming. In Proc. Embedded Software (EMSOFT), LNCS 2211, pp. 166–184. Springer-Verlag, 2001.
T.A. Henzinger and C.M. Kirsch. The Embedded Machine: Predictable, portable real-time code. In Proc. Programming Language Design and Implementation (PLDI). ACM Press, 2002.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Henzinger, T.A. (2002). From Models to Code: The Missing Link in Embedded Software. In: Tomlin, C.J., Greenstreet, M.R. (eds) Hybrid Systems: Computation and Control. HSCC 2002. Lecture Notes in Computer Science, vol 2289. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45873-5_3
Download citation
DOI: https://doi.org/10.1007/3-540-45873-5_3
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43321-7
Online ISBN: 978-3-540-45873-9
eBook Packages: Springer Book Archive