DGLR-Publikationsdatenbank - Detailansicht
Autor(en):
H. Kausch, K. Koppes, L. Netz, P. O´Brien, M. Pfeiffer, D. Raco, M. Radny, A. Rath, R. Richstein, B. Rumpe
Zusammenfassung:
In context of the BMWK LuFo Project "APPLIED MODEL-BASED CO-DEVELOPMENT FOR ZEROEMISSION FLIGHT SYSTEMS", a model-based methodology applied in avionics is presented. SysML is used as modeling language and for automatic model analysis. A case study on a data link uplink feed system demonstrates our model-based approach for specifying and verifying safety and security properties. The key feature of the underlying formal dataflow theory compared to competitors is that refinement is compositional.
Veranstaltung:
Deutscher Luft- und Raumfahrtkongress 2024, Hamburg
Verlag, Ort:
Deutsche Gesellschaft für Luft- und Raumfahrt - Lilienthal-Oberth e.V., Bonn, 2024
Medientyp:
Conference Paper
Sprache:
englisch
Format:
21,0 x 29,7 cm, 10 Seiten
URN:
urn:nbn:de:101:1-2412061328451.714690226166
DOI:
10.25967/630489
Stichworte zum Inhalt:
Trustworthy AI, Co-Development, Model-Driven
Verfügbarkeit:
Kommentar:
Zitierform:
Kausch, H.; Koppes, K.; et al. (2024): Applied Model-Based Co-Development for Zero-Emission Flight Systems Based on SysML. Deutsche Gesellschaft für Luft- und Raumfahrt - Lilienthal-Oberth e.V.. (Text). https://doi.org/10.25967/630489. urn:nbn:de:101:1-2412061328451.714690226166.
Veröffentlicht am:
06.12.2024