From Architecture to Binary: Ensuring Cross-Domain Consistency in Model-Based Airborne Software Development

Nils Schlautmann, Viktor Sinitsyn, Benjamin Engelhard +1

This paper presents an airborne software development approach for manned and unmanned aerial vehicles aimed at reducing inconsistencies across system, model-based functional, and e…