Issues for the Automatic Generation of Safety Critical Software

DOI 10.1109/ase.2000.873677 dblp

Abstract

This paper presents the advantages and disadvantages of automatic code generation of safety critical software. It discusses three broad approaches to its generation in the context of the high levels of assurance required. Finally a number of issues that commercial tool vendors must address are discussed along with consequent research issues that follow.

BibTeX

@inproceedings{OHalloran:ASE00,
  author    = {Colin O'Halloran},
  title     = {Issues for the Automatic Generation of Safety Critical Software},
  booktitle = {ASE},
  pages     = {277--280},
  publisher = {{IEEE} Computer Society},
  year      = {2000},
}

Issues for the Automatic Generation of Safety Critical Software

Abstract

Related papers