Schweiger, AndreasDurak, UmutReich, MarinaAnnighoefer, BjoernFeichtinger, KevinSonnleithner, LisaHajiabadi, Hamideh2025-02-142025-02-1420252944-7682https://dl.gi.de/handle/20.500.12116/45847Systems and software engineering in aerospace is subject to special challenges. For covering these the AvioSE’25 workshop connects academia, industry, and certification authorities through selected scientific presentations, keynote talks, and a panel discussion.enavionicssafetysecuritysystems engineeringsoftware engineeringMBSEformal methodformal verificationmodel-basedrequirementqualificationcertificationsimulationprocesstoolplatformarchitectureAI10.18420/se2025-ws-052944-7682