Logo des Repositoriums

Auflistung nach Schlagwort "avionics"

1 - 6 von 6
  • Conference Program
    1st Workshop on Avionics Systems and Software Engineering (AVIOSE'19)
    (Software Engineering and Software Management 2019, 2019) Annighöfer, Björn; Schweiger, Andreas; Reich, Marina
    Companies are struggling with the complexity of digital avionics systems. Millions of man months are required for the development of digital airborne systems. Moreover, the complexity of functions, the number of vehicles, and systems continuously rises. There is a high demand for more efficient methods and tools of systems and software engineering. The AVIOSE workshop establishes a new forum for the exchange for the people working on simplifying, shortening, and maturing the creation of avionics systems.
  • ConferencePaper
    3rd Workshop on Avionics Systems and Software Engineering (AvioSE’21)
    (Software Engineering 2021, 2021) Annighöfer, Björn; Schweiger, Andreas; Reich, Marina
    Software development in the aerospace domain is driven by new application potentials, increasing complexity, rising certification effort, and increasing cost pressure. In particular, future applications such as e.g., autonomous air transport, aircrew workload reduction, commercial UAVs, and further enhancement of existing functionality add to the system complexity. At the same time, there are challenges in communication and navigation in airspace, certification for multi-core processors, artificial intelligence as well as security for software, hardware, and connectivity. New software development methodologies and techniques are required for dealing with these challenges.
  • Konferenzbeitrag
    5th Workshop on Avionics Systems and Software Engineering (AvioSE'23)
    (Software Engineering 2023 Workshops, 2023) Annighoefer, Bjoern; Schweiger, Andreas; Poulaine, Stéphane
    Systems and software engineering in aerospace is subject to special challenges. For their resolution the AvioSE'23 workshop connects academia and industry with selected scientific presentations of high quality, motivating keynote talks, and an interactive panel discussion.
  • Konferenzbeitrag
    5th Workshop on Avionics Systems and Software Engineering (AvioSE’23)
    (Software Engineering 2023, 2023) Annighoefer, Bjoern; Schweiger, Andreas; Poulaine, Stéphane
    Systems and software engineering in aerospace is subject to special challenges. For their resolution the AvioSE’23 workshop connects academia and industry with selected scientific presentations of high quality, motivating keynote talks, and an interactive panel discussion.
  • Konferenzbeitrag
    An Anthropomorphic Approach to establish an Additional Layer of Trustworthiness of an AI Pilot
    (Software Engineering 2022 Workshops, 2022) Regli, Christoph; Annighoefer, Björn
    AI algorithms promise solutions for situations where conventional, rule-based algorithms reach their limits. They perform in complex problems yet unknown at design time, and highly efficient functions can be implemented without having to develop a precise algorithm for the problem at hand. Well-tried applications show the AI’s ability to learn from new data, extrapolate on unseen data, and adapt to a changing environment — a situation encountered in fl ight operations. In aviation, however, certifi cation regulations impede the implementation of non-deterministic or probabilistic algorithms that adapt their behaviour with increasing experience. Regulatory initiatives aim at defining new development standards in a bottom-up approach, where the suitability and the integrity of the training data shall be addressed during the development process, increasing trustworthiness in eff ect. Methods to establish explainability and traceability of decisions made by AI algorithms are still under development, intending to reach the required level of trustworthiness. This paper outlines an approach to an independent, anthropomorphic software assurance for AI/ML systems as an additional layer of trustworthiness, encompassing top-down black-box testing while relying on a well-established regulatory framework.
  • Konferenzbeitrag
    A Theory for Event-Driven Specifications Using Focus and MontiArc on the Example of a Data Link Uplink Feed System
    (Software Engineering 2023 Workshops, 2023) Kausch, Hendrik; Pfeiffer, Mathias; Raco, Deni; Rath, Amelie; Rumpe, Bernhard; Schweiger, Andreas
    The development of avionics message communication systems is expensive due to their complexity and the need to get them accepted by the certification authorities. We need to develop high-integrity software, but we also face cost pressure. For managing complex large systems, several time-synchronous modeling languages have been proposed. While these are appropriate for hardware specifications, when it comes to specifying distributed software systems, an event-based specification style is better suited. We present an event-based specification theory based on the framework Focus by giving the signatures and data types for specifications using event automata. For this, we capture message processing order as a further dimension of non-determinism by specifying a general timed merge component. These event automata can represent underspecification of behavior, and a refinement calculus can be applied to these for a stepwise reduction of non-determinism. Furthermore, we present the necessary concepts for enabling a user-friendly specification and simulation of event-based systems by using the architecture description language MontiArc. Finally, we evaluate our approach by performing a top-down architecture design of an avionics case study and demonstrating event-based specifications of requirements in MontiArc. The presented methodology improves the management of complexity, reduces costs, and increases the system quality.