An Approach to Automatic Code Generation for Safety-Critical Systems

Michael W. Whalen, Mats Per Erik Heimdahl

PDF DOI 10.1109/ase.1999.802346 dblp

Abstract

Automated translation, or code generation, of a formal requirements model to production code can alleviate many of the problems associated with design and implementation. In this paper, we outline the requirements of such code generation to obtain a high level of confidence in the correctness of the translation process. We then describe a translator for a state-based modeling language called RSML (Requirements Specification Modeling Language) that largely meets these requirements.

BibTeX

@inproceedings{Whalen-Heimdahl:ASE99,
  author    = {Michael W. Whalen and
               Mats Per Erik Heimdahl},
  title     = {An Approach to Automatic Code Generation for {Safety-Critical} Systems},
  booktitle = {ASE},
  pages     = {315--318},
  publisher = {{IEEE} Computer Society},
  year      = {1999},
}

An Approach to Automatic Code Generation for Safety-Critical Systems

Abstract

Related papers