The MontiBelle-Approach

A model-based verification approach for analyzing cyber-physical systems early in the development phase is presented, and this MBSE framework for early design analysis can lead to an optimization of the architecture layout, which could lead to the reduction of the avionics equipment weight, and thus of the energy consumption, producing less CO2 emissions.

[KPR+22] H. Kausch, M. Pfeiffer, D. Raco, B. Rumpe, A. Schweiger:
Correct and Sustainable Development Using Model-based Engineering and Formal Methods. In: 2022 IEEE/AIAA 41st Digital Avionics Systems Conference (DASC), IEEE, Sep. 2022. https://ieeexplore.ieee.org/document/...