On the requirements of high-integrity code generation

Research output: Chapter in Book/Report/Conference proceedingConference contribution

13 Scopus citations

Abstract

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.

Original languageEnglish (US)
Title of host publicationProceedings - 4th IEEE International Symposium on High-Assurance Systems Engineering, HASE 1999
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages217-224
Number of pages8
ISBN (Electronic)0769504183, 9780769504186
DOIs
StatePublished - 1999
Event4th IEEE International Symposium on High-Assurance Systems Engineering, HASE 1999 - Washington, United States
Duration: Nov 17 1999Nov 19 1999

Other

Other4th IEEE International Symposium on High-Assurance Systems Engineering, HASE 1999
Country/TerritoryUnited States
CityWashington
Period11/17/9911/19/99

Fingerprint

Dive into the research topics of 'On the requirements of high-integrity code generation'. Together they form a unique fingerprint.

Cite this