Software certification for safety-critical systems: A status report

  title={Software certification for safety-critical systems: A status report},
  author={Andrew J. Kornecki and Janusz Zalewski},
  journal={2008 International Multiconference on Computer Science and Information Technology},
This paper presents an overview and the role of certification in safety-critical computer systems focusing on software and hardware use in the domain of civil aviation. It discusses certification activities according to RTCA DO-178B ldquoSoftware Considerations in Airborne Systems and Equipment Certificationrdquo and RTCA DO-254 ldquoDesign Assurance Guidance for Airborne Electronic Hardwarerdquo. Specifically, certification issues in real-time operating systems, programming languages, software… CONTINUE READING
10 Citations
39 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 10 extracted citations


Publications referenced by this paper.
Showing 1-10 of 39 references

Automated CDC Verification Protects Complex Electronic Hardware from Metastability Issues

  • M. Lange
  • VME Critical Systems,
  • 2008
1 Excerpt

Accelerating DO-254 for ASIC/FPGA Designs

  • M Lee, T. Dewey
  • VME and Critical Systems,
  • 2007
2 Excerpts

Assessing the ModelSim Tool for Use in DO-254 and ED-80 Projects, White Paper, Mentor Graphics

  • M. Lange
  • 2007
3 Excerpts

Certification of Actel Fusion according to RTCA DO-254

  • P. Lundquist
  • Master Thesis,
  • 2007
1 Excerpt

Effective Functional Verification Methodologies for DO-254 Level A/B and Other Safety-Critical Devices

  • M Lange, T. J. Boer
  • 2007
1 Excerpt

Similar Papers

Loading similar papers…