Issues for the automatic generation of 
safety critical software






This paper presents the advantages and 
disadvantages of the 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.