NASA STI Repository (National Aeronautics and Space Administration) · 2012 · 14 citations · 0 references
Open access
ComputingComputer ScienceFormal MethodsQuality AssuranceRegulatory ComplianceCertificationCertification AssessmentCertification RequirementsQuality StandardsTechnical SpecificationsVerificationCertification MechanismsCertification Plan DevelopmentCertification PolicyCertification Practice StatementsCertification ProceduresCertification RulesCertification StandardsFormal Verification
This paper discusses some of the challenges to using formal methods in a certification context and describes the effort by the Formal Methods Subgroup of RTCA SC-205/EUROCAE WG-71 to propose guidance to make the use of formal methods a recognized approach. This guidance, expected to take the form of a Formal Methods Technical Supplement to DO-178C/ED-12C, is described, including the activities that are needed when using formal methods, new or modified objectives with respect to the core DO-178C/ED-12C document, and evidence needed for meeting those objectives.