Logo des Repositoriums

SE 2023 - Workshops

https://dl.gi.de/handle/20.500.12116/40193
Auflistung nach:

Auflistung SE 2023 - Workshops nach Autor:in "Durak, Umut"

1 - 2 von 2
  • Konferenzbeitrag
    Tool Qualification Aspects in ML-Based Airborne Systems Development
    (Software Engineering 2023 Workshops, 2023) Dmitriev, Konstantin; Kaakai, Fateh; Ibrahim, Mohamad; Durak, Umut; Potter, Bill; Holzapfel, Florian
    Machine Learning (ML) technology can provide the best results in many highly complex tasks such as computer vision and natural language processing and quickly evolving further. These unique ML capabilities and apparent potential can enable the next epoch of automation in airborne systems including single pilot or even autonomous operation of large commercial aircraft. The main problems to be solved towards ML deployment in commercial aviation are safety and certification, because there are several major incompatibilities between ML development aspects and traditional design assurance practices, in particular traceability and coverage verification issues. In this paper, we study the qualification aspects of tools used for development and verification of ML-based systems (ML tools) and propose mitigation measures for some known ML verification gaps through ML tools qualification. In particular, we review the DO-330 and DO-200B tool classification approach with respect to ML-specific workflows and propose to extend the tool qualification criteria for ML data management and ML model training tools.
  • Konferenzbeitrag
    Towards Enabling Level 3A AI in Avionic Platforms
    (Software Engineering 2023 Workshops, 2023) Zaeske, Wanja; Brust, Clemens-Alexander; Lund, Andreas; Durak, Umut
    The role of AI evolves from human assistance over human/machine collaboration towards fully autonomous systems. As the push towards more autonomy subsequently removes the reliance on a human overseeing the system, means of self supervision must be provided to enable safe operations. This work explores dynamic reconfiguration to provide resilience to unforeseen environmental conditions that exceed the systems capabilities, but also against normal faults. We focus on providing the means for this in an ARINC 653 compliant environment, since we target avionics platforms. Scheduling and communication are two major aspects of dynamic reconfiguration. Hence, we discuss multiple respective implementation approaches. The third pillar of reconfiguration, the process of deciding when to reconfigure is also investigated. Combining these yields the building blocks for a self-supervising system.