An Experimental Model-Based Rapid Prototyping Environment for High-Confidence Embedded Software
Joseph E. Porter, Péter Völgyesi, Nicholas Kottenstette, Harmon Nine, Gábor Karsai, János Sztipanovits · 2009
The development of embedded software for high confidence systems is a challenging task that must be supported by a deep integration of control theoretical and computational aspects. Model-based development of embedded software has been practiced for more than a decade now,but very few integrated approaches have emerged to provide end-to-end support for the process, and integrate platform aspects as well as verification. The paper describes an early version of a model-based prototyping tool chain that provides such support and covers most engineering steps.The tool chain is coupled with a hardware-in-the-loop simulation system, allowing quick experimental evaluation of designs.