An Integrated Development Environment for Prototyping Safety Critical Systems

@inproceedings{Thompson1999AnID,
  title={An Integrated Development Environment for Prototyping Safety Critical Systems},
  author={Jeffrey M. Thompson and Mats Per Erik Heimdahl},
  booktitle={IEEE International Workshop on Rapid System Prototyping},
  year={1999}
}
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… CONTINUE READING