DocumentCode
2115542
Title
Certified Testing of C Compilers for Embedded Systems
Author
Morgan, Olwen
Author_Institution
Metriqa Ltd., 12, Maesderwenydd, Pencader, Carmarthenshire, UK SA39 9HF, omorgan@metriqa.com
fYear
2007
fDate
28-29 June 2007
Firstpage
1
Lastpage
5
Abstract
For most embedded systems the implementation language of choice is C. Currently some vehicle-based software-controlled embedded systems, notably those for traction control and ABS, are assessed at ISO/IEC 61508 SIL4 [3]. At this level it is highly recommended that developers use certificated compilers. This paper sets out the rationale for such use, the nature of certification testing and what questions developers should ask their compiler vendors.
Keywords
C compiler validation; certification testing;
fLanguage
English
Publisher
iet
Conference_Titel
Automotive Electronics, 2007 3rd Institution of Engineering and Technology Conference on
Conference_Location
Warwick, UK
ISSN
0537-9989
Print_ISBN
978-0-86341-815-0
Type
conf
Filename
4383625
Link To Document