Pith. sign in

REVIEW 1 cited by

Framework for Certification of AI-Based Systems

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2302.11049 v1 pith:3IAYU53S submitted 2023-02-21 cs.LG cs.CVcs.SE

classification cs.LGcs.CVcs.SE
keywords softwarecertificationnetworkneuralaerospaceai-basedalgorithmscurrent
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

The current certification process for aerospace software is not adapted to "AI-based" algorithms such as deep neural networks. Unlike traditional aerospace software, the precise parameters optimized during neural network training are as important as (or more than) the code processing the network and they are not directly mathematically understandable. Despite their lack of explainability such algorithms are appealing because for some applications they can exhibit high performance unattainable with any traditional explicit line-by-line software methods. This paper proposes a framework and principles that could be used to establish certification methods for neural network models for which the current certification processes such as DO-178 cannot be applied. While it is not a magic recipe, it is a set of common sense steps that will allow the applicant and the regulator increase their confidence in the developed software, by demonstrating the capabilities to bring together, trace, and track the requirements, data, software, training process, and test results.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Approach Towards Semi-Automated Certification for Low Criticality ML-Enabled Airborne Applications

    cs.SE 2025-01 reject novelty 5.0 of 10

    A semi-automated certification framework for DO-178C Level D ML systems is demonstrated on a YOLOv8 vehicle detector, producing a Moderate Assurance score of 74.7.

Pith tools