Colin O'Halloran. Issues for the Automatic Generation of Safety Critical Software. In Fifteenth IEEE International Conference on Automated Software Engineering. ASE, pages 277-280, IEEE, 2000. [doi]
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.