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

fYear

1999

fDate

36342

Firstpage

172

Lastpage

177

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Rapid System Prototyping, 1999. IEEE International Workshop on

Conference_Location

Clearwater, FL

Print_ISBN

0-7695-0246-6

Type

conf

DOI

10.1109/IWRSP.1999.779049

Filename

779049