Arguing machine learning assurance for certification
| dc.contributor.author | Varchev, Tihomir | |
| dc.contributor.author | Staudacher, Stephan | |
| dc.contributor.author | Daw, Zamira | |
| dc.contributor.author | Holloway, Michael | |
| dc.contributor.editor | Feichtinger, Kevin | |
| dc.contributor.editor | Sonnleithner, Lisa | |
| dc.contributor.editor | Hajiabadi, Hamideh | |
| dc.date.accessioned | 2025-02-14T10:03:37Z | |
| dc.date.available | 2025-02-14T10:03:37Z | |
| dc.date.issued | 2025 | |
| dc.description.abstract | Aviation certification traditionally relies on standards shaped by expert consensus on best practices. However, for emerging technologies like machine learning (ML), establishing these practices is difficult, particularly when in-flight testing is not feasible before certification, which can slow innovation. Argument-based certification offers a promising solution to bridge this gap by providing a structured and transparent framework for discussions between applicants and certification authorities. It allows authorities to compare proposed compliance methods across similar technologies from different applicants, helping to identify best practices and assess risks associated with new innovations. In this paper, we apply the Overarching Properties organizing principle to define and assess the means of compliance (MoC) for three publicly available ML aviation applications. This paper demonstrates how OPs can be used to support the demonstration of compliance. Although we observed some commonalities in the three arguments, the specificities of the technology and its application highlight the differences in the strategies used to demonstrate assurance. | en |
| dc.identifier.doi | 10.18420/se2025-ws-09 | |
| dc.identifier.eissn | 2944-7682 | |
| dc.identifier.issn | 2944-7682 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/45851 | |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik, Bonn | |
| dc.relation.ispartof | Software Engineering 2025 – Companion Proceedings | |
| dc.subject | Machine Learning | |
| dc.subject | Assurance Cases | |
| dc.subject | Overarching properties | |
| dc.subject | Certification | |
| dc.title | Arguing machine learning assurance for certification | en |
| mci.conference.date | 22.-28. Februar 2025 | |
| mci.conference.location | Karlsruhe | |
| mci.conference.sessiontitle | 7th Workshop on Avionics Systems and Software Engineering (AvioSE’25) | |
| mci.reference.pages | 101-120 |
Dateien
Originalbündel
1 - 1 von 1