Holistic IMA Platform Configuration using Web-technologies and a Domain-specific Model Query Language

Annighoefer, Bjoern; Brünner, Matthias; Schoepf, Julian; Luettig, Bastian; Merckling, Matthieu; Mueller, Peter

doi:10.1109/dasc50938.2020.9256726

“…In avionics, there are several application areas for DSM e.g. requirements formalization [39], predesign, simulation [26], configuration [4] [24] [52], optimization [9], code-generation and automated testing [30] [39]. We see high potentials for the use of DSM in, first, the development of flying systems and, second, as part of flying software itself.…”

Section: Domain-specific Modeling In Avionicsmentioning

confidence: 99%

“…Eclipse/EMF is based on Java and the tools used for model generation, Java Emitter Templates (JET) and Java Merge (JMerge) [24], are based on OOP procedures. An approach similar to Use Case 1 is developed within the German TALIA project [4].…”

Section: Use Case 1: Generation Of Avionic Configurations and Simulat...mentioning

confidence: 99%

Why the Use of Domain-specific Modeling in Airworthy Software Requires New Methods and How these Might Look Like? (extended version)

Tietz

¹

,

Frey

²

,

Waldvogel

³

et al. 2023

Preprint

0

View full text Add to dashboard Cite

The use of domain-specific modeling (DSM) in safety-critical avionics is rare, even though the ever-increasing complexity of avionics systems makes the use of DSM reasonable. DSM shows its advantage especially in capturing complex systems, data and relationships. The reason for the limited use in the (safety-critical) avionics area is mainly due to the high demands on the safety of software and systems. Everything that is to be used in flight operations and development must undergo a rigorous and complex certification process. Any data used in operations must be verified. A reduction of this effort can be achieved using qualified tools. A qualified tool can either replace or support certification activities. This article elaborates different use cases of how DSM could be used in relation to airworthy software. For those use cases, we review the effort of a certification and retrieve the major shortcomings and showstoppers of available frameworks, e.g. infeasible qualification of DSM runtimes and the unavailability of qualification artifacts. Finally, we elaborate possible ways of mitigation and show the concept and first results of a new DSM framework for airworthy applications, called DOMAINES. DOMAINES covers deterministic meta-modeling up to graph-based model transformations and verified visual editing. The concept of DOMAINES and a first functional prototype are presented that indicate that the shortcomings can be mitigated.

show abstract

Why the use of domain-specific modeling in airworthy software requires new methods and how these might look like? (extended version)

Tietz,

Frey,

Waldvogel

et al. 2024

Innovations Syst Softw Eng

0

View full text Add to dashboard Cite

The use of domain-specific modeling (DSM) in safety-critical avionics is rare, even though the ever-increasing complexity of avionics systems makes the use of DSM reasonable. DSM shows its advantage especially in capturing complex systems, data and relationships. The reason for the limited use in the (safety-critical) avionics area is mainly due to the high demands on the safety of software and systems. Everything that is to be used in flight operations and development must undergo a rigorous and complex certification process. Any data used in operations must be verified. A reduction of this effort can be achieved using qualified tools. A qualified tool can either replace or support certification activities. This article elaborates different use cases of how DSM could be used in relation to airworthy software. For those use cases, we review the effort of a certification and retrieve the major shortcomings and showstoppers of available frameworks, e.g. infeasible qualification of DSM runtimes and the unavailability of qualification artifacts. Finally, we elaborate possible ways of mitigation and show the concept and first results of a new DSM framework for airworthy applications, called DOMAINES. DOMAINES covers deterministic meta-modeling up to graph-based model transformations and verified visual editing. The concept of DOMAINES and a first functional prototype are presented that indicate that the shortcomings can be mitigated.

show abstract

Open Source Domain-specific Model Interface and Tool Frameworks for a Digital Avionics Systems Development Process

Annighoefer

¹

,

Brünner

²

2021

2021 IEEE/AIAA 40th Digital Avionics Systems Conference (DASC)

View full text Add to dashboard Cite

Holistic IMA Platform Configuration using Web-technologies and a Domain-specific Model Query Language

Cited by 12 publications

References 5 publications

Why the Use of Domain-specific Modeling in Airworthy Software Requires New Methods and How these Might Look Like? (extended version)

Why the Use of Domain-specific Modeling in Airworthy Software Requires New Methods and How these Might Look Like? (extended version)

Why the use of domain-specific modeling in airworthy software requires new methods and how these might look like? (extended version)

Open Source Domain-specific Model Interface and Tool Frameworks for a Digital Avionics Systems Development Process

Contact Info

Product

Resources

About