Issues for the Automatic Generation of Safety Critical Software

Authors:
C. O'Halloran
Affiliations:
-
Venue:
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Year:
2000

Citing 0
Cited 1

Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information

SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security

Quantified Score

Hi-index	0.01

Visualization

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.