Annighöfer, BjörnSchweiger, AndreasReich, MarinaBecker, SteffenBogicevic, IvanHerzwurm, GeorgWagner, Stefan2019-03-142019-03-142019978-3-88579-686-2https://dl.gi.de/handle/20.500.12116/20922Companies 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.enavionicssystems engineeringsoftware engineeringformal methodsmodel-basedrequirementsqualificationcertificationsimulationprocessesText/Conference Program10.18420/se2019-061617-5468