The development of embedded software for highconfidence
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 toolchain that