Title :
Issues for the automatic generation of safety critical software
Author_Institution :
Syst. Assurance Group, DERA, Malvern, UK
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
Keywords :
automatic programming; program compilers; safety-critical software; software tools; assurance; automatic code generation; commercial tool vendors; safety critical software; Automatic testing; Automation; Costs; Hardware design languages; Induction generators; Programming; Software quality; Software safety; Synthesizers; System testing;
Conference_Titel :
Automated Software Engineering, 2000. Proceedings ASE 2000. The Fifteenth IEEE International Conference on
Conference_Location :
Grenoble
Print_ISBN :
0-7695-0710-7
DOI :
10.1109/ASE.2000.873677
