An integrated development environment for prototyping safety critical systems

The development of software for safety critical, embedded computer systems has been widely addressed in literature. Nevertheless, there does not currently exist arty single environment which provides adequate support for all of the following: static analysis, system simulation, animation and visualization, specification reuse, and refinement (from high-level requirements to implementation). In this paper we present an overview of such an environment that is currently under development at the University of Minnesota concentrating on the prototyping capabilities and refinement model.