2011 · 61 citations · 15 references
ComputingAerospace EngineeringComputer ScienceQuality EngineeringRegulatory ComplianceSoftware EngineeringCertificationSafety RequirementsSoftware Quality AssuranceSoftware TestingSoftware ValidationStructural CertificationCertification ComplianceCertification DocumentationCertification PlanningCertification StandardsDo-178c ComplianceModel-based CertificationSoftware CertificationSystem Certification
We outline the current approach to certification of aircraft software, and the role of DO-178B. We consider evidence for its effectiveness and discuss possible explanations for this. We then describe how changes in aircraft systems and in the air traffic system pose new challenges for certification, chiefly by increasing the extent of interaction and integration.
15
Software model checking takes off
Steven P. Miller, Michael W. Whalen, Darren Cofer · Communications of the ACM · 2010 · 154 citations · Full text