Position paper: DO-178C/ED-12C and object-orientation for critical systems

Authors:
Dewi Daniels
Affiliations:
-
Venue:
Ada-Europe'11 Proceedings of the 16th Ada-Europe international conference on Reliable software technologies
Year:
2011

Citing 2
Cited 0

A Discipline of Programming

A Discipline of Programming
Formal Verification of Avionics Software Products

FM '09 Proceedings of the 2nd World Congress on Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract

DO-178C/ED-12C, six years in preparation, is expected to be published in 2011. This updated document will provide guidance for the development and verification of safety-related software for avionic systems. As this position paper will describe, DO-178C/ED-12C is good news for Ada.