Hardware certification for safety-critical real-time systems

Abstract This paper discusses issues related to the RTCA document DO-254 Design Assurance Guidance for Airborne Electronic Hardware and its consequences for hardware certification. In particular, problems related to circuits’ compliance with DO-254 in avionics and other industries are considered. Extensive literature review of the subject is given, including current views on and experiences with qualification of hardware design tools. Some results of the authors’ own study on tool qualification are presented.

[1]  Andrew J. Kornecki,et al.  Software certification for safety-critical systems: A status report , 2008, 2008 International Multiconference on Computer Science and Information Technology.

[2]  João Paulo Teixeira,et al.  Design and Test of a Certifiable ASIC for a Safety-Critical Gas Burner Control System , 2002, J. Electron. Test..

[3]  Andrew J. Kornecki.  Airborne Software: Communication and Certification , 2008, Scalable Comput. Pract. Exp..

[4]  Sally A. McKee,et al.  Formal hardware specification languages for protocol compliance verification , 2004, TODE.

[5]  H. Forsberg,et al.  COTS CPU Selection Guidelines for Safety-Critical Applications , 2006, 2006 ieee/aiaa 25TH Digital Avionics Systems Conference.

[6]  Kristina Lundqvist,et al.  A tool for translating VHDL to finite state machines , 2003, Digital Avionics Systems Conference, 2003. DASC '03. The 22nd.

[7]  Frank Vahid.  It's Time to Stop Calling Circuits "Hardware" , 2007, Computer.

[8]  Jacob A. Abraham,et al.  Automatic verification of implementations of large circuits against HDL specifications , 1997, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[9]  P. Devienne,et al.  Co-design and refinement for safety critical systems , 2004 .

[10]  Darren D. Cofer,et al.  Formal Verification of an Avionics Sensor Voter Using SCADE , 2004, FORMATS/FTRTFT.

[11]  S. Dellacherie,et al.  Improve - HDL - a DO-254 formal property checker used for design and verification of avionics protocol controllers , 2003, Digital Avionics Systems Conference, 2003. DASC '03. The 22nd.

[12]  Martin Schoeberl.  Java Technology in an FPGA , 2004, FPL.

[13]  J.P. Keithan,et al.  The Use of Advanced Verification Methods to Address DO-254 Design Assurance , 2008, 2008 IEEE Aerospace Conference.

[14]  Massimo Violante,et al.  An FPGA-Based Approach for Speeding-Up Fault Injection Campaigns on Safety-Critical Circuits , 2002, J. Electron. Test..

[15]  M. Lange,et al.  Achieving Quality and Traceability in FPGA/ASIC Flows for DO-254 Aviation Projects , 2008, 2008 IEEE Aerospace Conference.

[16]  Kenneth J. Turner,et al.  Formally-Based Design Evaluation , 2001, CHARME.

[17]  Adrian J. Hilton,et al.  High-Integrity Interfacing to Programmable Logic with Ada , 2004, Ada-Europe.

[18]  D. Hairion,et al.  New safety critical radio altimeter for Airbus and related design flow , 2007, 2007 Design, Automation & Test in Europe Conference & Exhibition.

[19]  Falk Salewski,et al.  Fault Handling in FPGAs and Microcontrollers in Safety-Critical Embedded Applications: A Comparative Survey , 2007 .

[20]  Mark R. Greenstreet,et al.  Formal verification in hardware design: a survey , 1999, TODE.

[21]  Per Lundquist.  Certification of Actel Fusion according to RTCA DO-254 , 2007 .

[22]  V.A. Carreno,et al.  A case-study application of RTCA DO-254: design assurance guidance for airborne electronic hardware , 2000, 19th DASC. 19th Digital Avionics Systems Conference. Proceedings (Cat. No.00CH37126).

[23]  H. Forsberg,et al.  Emerging verification methods for complex hardware in avionics , 2005, 24th Digital Avionics Systems Conference.

[24]  Adrian J. Hilton,et al.  High integrity hardware-software codesign , 2004 .

[25]  Gerry Musgrave,et al.  Formal CAD Techniques for Safety-Critical FPGA Design and Deployment in Embedded Subsystems , 1994, FPL.

[26]  J. Lewis,et al.  Criteria for certifying databuses on civil aircraft , 2003, Digital Avionics Systems Conference, 2003. DASC '03. The 22nd.

[27]  Marco Bernardo,et al.  Formal Methods for Hardware Verification, 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures , 2006, SFM.

[28]  Marvin Rausand,et al.  Assessment of Hardware Safety Integrity Requirements , 2006 .

[29]  Richard A. Plastow.  Filling the Assurance Gap on Complex Electronics , 2007 .

[30]  Martin Schoeberl,et al.  A Java processor architecture for embedded real-time systems , 2008, J. Syst. Archit..

[31]  P. Cole,et al.  Safe COTS graphics solutions: impact of DO-254 on the use of COTS graphics devices for avionics , 2004, The 23rd Digital Avionics Systems Conference (IEEE Cat. No.04CH37576).

[32]  Elecia White,et al.  FAA Certification of a MEMS Attitude and Heading Reference System , 2001 .