Runway Sign Classifier: A DAL C Certifiable Machine Learning System

Dmitriev, Konstantin; Schumann, Johann; Bostanov, Islam; Abdelhamid, Mostafa; Holzapfel, Florian

doi:10.1109/dasc58513.2023.10311228

Cited by 1 publication

(1 citation statement)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In [16], the authors utilize a safety monitor approach, where the safety Monitor has a DAL C assurance level and supervises the output of two dissimilar DAL D components. A certification complaints analysis is performed on the DAL C objectives of DO-178C as well as DO-330 objectives.…”

Section: Related Workmentioning

confidence: 99%

Certification Aspects of Runtime Assurance for Urban Air Mobility

Torens,

Nagarajan,

Schirmer

et al. 2024

AIAA SCITECH 2024 Forum

View full text Add to dashboard Cite

The transition towards autonomous operations for Urban Air Mobility introduces significant safety challenges, necessitating novel safety assurance strategies. One such strategy is runtime assurance, which ensures the safe behavior of a system during its actual operation. This can be implemented by using a safety monitor that detects unsafe behaviors and then activates a switch to a recovery function to return the system to a safe state. This paper investigates the certification aspects of runtime monitoring, a core component of runtime assurance. We analyze the regulatory framework of urban air mobility, and discuss implications of aviation software standards such as DO-178C and it supplements on runtime assurance. As a concrete example to discuss, Detect-and-Avoid is introduced and motivated from the requirements of the Minimum Operational Performance Standards. The use case is analyzed from a system and a software perspective. From a system perspective, the architecture is compared to the runtime assurance standard practice published by ASTM International. From a software perspective, we assess the stream-based specification language RTLola against the development assurance objectives in the de-facto software development standard DO-178C. As an example, we highlight the role of traceability between the different levels of software requirements. The goal of this research is to illustrate the use of runtime monitoring in the context of certification for Urban Air Mobility applications to improve operational safety and enable increasing levels of automation.

show abstract

Section: Related Workmentioning

confidence: 99%