Towards a Model-based Toolchain for the High-Confidence Design of Embedded Systems

While design automation for hardware systems is quite advanced, this is not the case for practical embedded sys-tems. The current state-of-the-art is to use a software mod-eling environment and integrated development environment for code development and debugging, but these rarely in-clude the sort of automatic synthesis and verification ca-pabilities available in the VLSI domain. This paper intro-duces concepts, elements, and some early prototypes for an envisioned suite of tools for the development of embedded software that integrates verification steps into the overall process. 1