Model-driven development for functional correctness of avionics systems: a verification framework for SysML specifications
Currently, the most widespread software quality assurance methods in the avionics domain
are semi-automated reviews and testing. However, their effort grows disproportionately to …
are semi-automated reviews and testing. However, their effort grows disproportionately to …
MBSE Modeling Workflow for the Development of Automated Aircraft Production Systems
Contrary to classic document-based engineering, model-based systems engineering
(MBSE) is an approach that focuses on the definition of engineering artifacts as formal …
(MBSE) is an approach that focuses on the definition of engineering artifacts as formal …
Impact and influence of cyber-physical systems research on autonomous aerospace systems
View Video Presentation: https://doi. org/10.2514/6.2023-2669. vid Cyber-Physical Systems,
as a discipline, is relatively new, appearing prominently between 2000-2010, but has rapidly …
as a discipline, is relatively new, appearing prominently between 2000-2010, but has rapidly …
A Theory for Event-Driven Specifications Using Focus and MontiArc on the Example of a Data Link Uplink Feed System
The development of avionics message communication systems is expensive due to their
complexity and the need to get them accepted by the certification authorities. We need to …
complexity and the need to get them accepted by the certification authorities. We need to …
Enhancing System-model Quality: Evaluation of the MontiBelle Approach with the Avionics Case Study on a Data Link Uplink Feed System
Software quality is often related directly to the quality of the models used throughout the
development phases. Assuring model quality can thus be an important aspect for assuring …
development phases. Assuring model quality can thus be an important aspect for assuring …