Work

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

Year: 2024

Type: article

Abstract: 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.

Source: Deutsche Gesellschaft für Luft- und Raumfahrt

DOI: 10.25967/630489

Authors: Kausch, H., Koppes, K., Netz, L., O´Brien, P., Pfeiffer, M., Raco, D., Radny, M., Rath, A., Richstein, R., Rumpe, B.

Language: English

Topic: Model-Driven Software Engineering Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W6964799263

FWCI:

Cites:

Cited by:

Related to: