Applied Model-Based Co-Development for Zero-Emission Flight Systems Based on SysML

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.