From Models to Code: The Missing Link in Embedded Software

Thomas A. Henzinger

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.