An approach to automatic code generation for safety-critical systems

Author

Whalen, Michael W. ; Heimdahl, Mats P E

Author_Institution

Dept. of Comput. Sci. & Eng., Minnesota Univ., Minneapolis, MN, USA

fYear

1999

fDate

36434

Firstpage

315

Lastpage

318

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

Keywords

automatic programming; program compilers; program interpreters; safety-critical software; specification languages; RSML translator; Requirements Specification Modeling Language; automatic code generation; formal requirements model automated translation; production code; safety-critical systems; state-based modeling language; system design problems; system implementation problems; translation process correctness; Computer science; Design engineering; Error correction codes; Hardware design languages; Law; Legal factors; Production systems; Productivity; Programming; Software systems;

fLanguage

English

Publisher

ieee

Conference_Titel

Automated Software Engineering, 1999. 14th IEEE International Conference on.

Conference_Location

Cocoa Beach, FL

Print_ISBN

0-7695-0415-9

Type

conf

DOI

10.1109/ASE.1999.802346

Filename

802346