Although formal requirements specifications can provide a complete and consistent description of a safety-critical software system, designing and developing production quality code from high-level specifications can be a time-consuming and error-prone process. Automated translation, or code generation, of the specification to production code can alleviate many of the problems associated with design and implementation. However, current approaches have been unsuitable for safety-critical environments because they employ complex and/or ad-hoc methods for translation. In this paper we discuss the issues involved in automatic code generation for high-assurance systems and define a set of requirements that code generators for this domain must satisfy. These requirements cover the formality of the translation, the quality of the code generator, and the properties of the generated code.
|Title of host publication
|Proceedings - 4th IEEE International Symposium on High-Assurance Systems Engineering, HASE 1999
|Institute of Electrical and Electronics Engineers Inc.
|Number of pages
|Published - 1999
|4th IEEE International Symposium on High-Assurance Systems Engineering, HASE 1999 - Washington, United States
Duration: Nov 17 1999 → Nov 19 1999
|4th IEEE International Symposium on High-Assurance Systems Engineering, HASE 1999
|11/17/99 → 11/19/99