An Integrated Development Environment for Prototyping Safety Critical Systems

Authors:
Jeffrey M. Thompson;Mats P. E. Heimdahl
Affiliations:
-;-
Venue:
RSP '99 Proceedings of the Tenth IEEE International Workshop on Rapid System Prototyping
Year:
1999

Citing 0
Cited 2

On the effect of test-suite reduction on automatically generated model-based tests

Automated Software Engineering
Achieving closed-loop control simulation of human-artefact interaction: a comparative review

Modelling and Simulation in Engineering

Quantified Score

Hi-index	0.00

Visualization

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.