An Experimental Model-Based Rapid Prototyping Environment for High-Confidence Embedded Software

The development of embedded software for high confidencesystems is a challenging task that must be supportedby a deep integration of control theoretical and computational aspects. Model-based development of embeddedsoftware has been practiced for more than a decade now,but very few integrated approaches have emerged to provideend-to-end support for the process, and integrate platformaspects as well as verification. The paper describes anearly version of a model-based prototyping toolchain thatprovides such support and covers most engineering steps.The toolchain is coupled with a hardware-in-the-loop simulation system, allowing quick experimental evaluation ofdesigns.