DocumentCode
2486287
Title
Issues for the automatic generation of safety critical software
Author
O´Halloran, C.
Author_Institution
Syst. Assurance Group, DERA, Malvern, UK
fYear
2000
fDate
2000
Firstpage
277
Lastpage
280
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Automated Software Engineering, 2000. Proceedings ASE 2000. The Fifteenth IEEE International Conference on
Conference_Location
Grenoble
ISSN
1938-4300
Print_ISBN
0-7695-0710-7
Type
conf
DOI
10.1109/ASE.2000.873677
Filename
873677
Link To Document