Manage complex object-oriented models with Ada-based MBSE-Methods?

February 16, 2024

TALIA: the model database RUNMDB of the safety-critical, domain-specific framework DOMAINES has reached a version that can fully manage the OAAM model.
[Picture: ILS 2024, Vanessa Tietz]

Domain-specific modelling methods and related Model-based Systems Engineering (MBSE) simplify the development of safety-critical systems, but are currently not qualifiable.

To change this, the TALIA project at the Institute of Aviation Systems ( ) is researching the certifiable framework DOMAINES (Domain-specific modelling for Aircraft and other Environments) for domain-specific modelling. Doctoral student Vanessa Tietz and her team have now succeeded in loading the Open Avionics Architecture Model (OAAM, ) as a complex domain-specific language into a safety-critical implementation of a model database. This model database is based on a simplified meta-modelling language. It is implemented using the Ada programming language (sometimes also formally using SPARK). Ada has been specially developed for use in a safety-critical environment and offers functionalities to avoid errors and simplify qualification. The implementation of the model database was correspondingly challenging; for example, object-orientation, pointers and dynamic lists were completely dispensed with. Based on the OAAM model, user models can now be loaded and potentially used with DOMAINES as part of qualified tools or flying software. The aim of DOMAINES is to provide a complete domain-specific framework for safety-critical software with model transformation, visualization and qualification artifacts.


Screen capture of loading OAAM by CRUD commands into the ADA-based RUNMDB


See it at LinkedIn

To the top of the page