Title :
An integrated development environment for prototyping safety critical systems
Author :
Thompson, Jeffrey M. ; Heimdahl, Mats P E
Author_Institution :
Dept. of Comput. Sci. & Eng., Minnesota Univ., Minneapolis, MN, USA
Abstract :
The development of software for safety critical, embedded computer systems has been widely addressed in literature. Nevertheless, there does not currently exist any 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
Keywords :
computer animation; embedded systems; safety-critical software; software prototyping; animation; embedded computer systems; integrated development environment; safety critical systems prototyping; specification reuse; static analysis; system simulation; visualization; Computer science; Design engineering; Embedded system; Prototypes; Read only memory; Software prototyping; Software safety; Software systems; User interfaces; Visual BASIC;
Conference_Titel :
Rapid System Prototyping, 1999. IEEE International Workshop on
Conference_Location :
Clearwater, FL
Print_ISBN :
0-7695-0246-6
DOI :
10.1109/IWRSP.1999.779049
