Logo des Repositoriums

Auflistung nach Autor:in "Durak, Umut"

1 - 3 von 3
  • Konferenzbeitrag
    Extending Behaviour-Driven Development of Avionic Systems to Flight Simulators
    (Software Engineering 2022 Workshops, 2022) Ibrahim, Mohamad; Durak, Umut; Tariq, Haseeb
    The role of avionics is crucial for several aircraft functions, from communication to collision avoidance. Amongst others, modern air transportation is the result of the continuous improvement in avionics technology. One of the recent trends in avionics software engineering is streamlining the process with practices that remove the disconnects between the activities to achieve a cost-eff ective and agile engineering life cycle, allowing to cope with the volatile requirements found in emerging segments such as Advanced Air Mobility. Behaviour-Driven Development (BDD) is one of these practices; it connects requirements to (acceptance-) testing. There are already eff orts in adapting BDD for avionic systems. This paper proposes extending BDD of avionic systems to fl ight simulation. It presents an approach for using the requirement specifi cation language of BDD, Gherkin, for setting up the test scenarios and the test framework of BDD, Cucumber, as a test oracle.
  • 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.