Introduction of a Dedicated Platform Level for IMA Systems Development With an Extensive Automation Tool Support

Mueller, Peter; Merckling, Matthieu; Tietz, Vanessa; Frey, Constantin; Luettig, Bastian; Waldvogel, Andreas; Annighoefer, Bjoern; Abdo, Kamiran; Halle, Martin; Thielecke, Frank

doi:10.1109/dasc58513.2023.10311128

2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC) 2023

DOI: 10.1109/dasc58513.2023.10311128

|View full text |Cite

Introduction of a Dedicated Platform Level for IMA Systems Development With an Extensive Automation Tool Support

Peter Mueller,

Matthieu Merckling,

Vanessa Tietz

et al.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2024

Publication Types

Select...

Article1

Relationship

Self Cite0

Independent1

Authors

Journals

Cited by 1 publication

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

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

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

View full text Add to dashboard Cite

show abstract

scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.

Contact Info

customersupport@researchsolutions.com

10624 S. Eastern Ave., Ste. A-614

Henderson, NV 89052, USA

Blog Terms and Conditions API Terms Privacy Policy Contact Cookie Preferences Do Not Sell or Share My Personal Information

Made with 💙 for researchers

Part of the Research Solutions Family.

Introduction of a Dedicated Platform Level for IMA Systems Development With an Extensive Automation Tool Support

Cited by 1 publication

References 15 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)

Contact Info

Product

Resources

About