A Concept for a Qualifiable (Meta)-Modeling Framework Deployable in Systems and Tools of Safety-Critical and Cyber-Physical Environments

Tietz, Vanessa; Schoepf, Julian; Waldvogel, Andreas; Annighoefer, Bjoern

doi:10.1109/models50736.2021.00025

“…Measure No. 4 -Application of restrictions, is addressed through a restrictive and simplified meta-modeling language (MOD), the use of textbased constraints, the application of the multilevel modeling concept, the usage of an Extended-Backus Naur Form grammar for command definition [56] [55], and restrictive rule scheduling. Our meta-modeling language, shown in Figure 6, is based on simplicity, which means that compared to other (meta)-modeling languages, functionality has been reduced to the one which is required from the described use cases to facilitate the certification process.…”

Section: Effort Reduction By Methods and Technologymentioning

confidence: 99%

“…Due to Req5, it is not necessary to be able to model operations. Therefore, operations are not part of the meta-language [56]. In addition to the restricted meta-modeling language itself, we apply concepts of multi-level modeling [7].…”

Section: Effort Reduction By Methods and Technologymentioning

confidence: 99%

“…All generated artifacts needed for further operations would first have to be manually checked for correctness before they could be processed. In [56], we already presented the basic concept for the DSM framework DOMAINES (domain-specific modeling for aircraft and other environments), that is to be used in the safety-critical domain. The current paper aims to justify the need for the DOMAINES framework.…”

Section: Miscellaneousmentioning

confidence: 99%

“…In conclusion, the effort for the certification and qualification of existing DSM frameworks is too high due to e.g., the object-oriented implementation, missing artifacts, complex (modeling and transformation) languages and software structures, and insufficient deterministic behavior. For this reason, the certifiable framework DOMAINES for DSM is being developed in the TALIA project [56]. The next chapter will discuss which of the mentioned methods we will use to achieve the lowest possible qualification effort.…”

Section: Suggestions On How To Reduce the Qualification Effortmentioning

confidence: 99%

“…The next sections present requirements, the concept, and the architecture of DOMAINES, and elaborate the measures that reduce the certification effort. This description is a continuation of the DOMAINES concepts presented in [56].…”

Section: The Domaines Approachmentioning

confidence: 99%

See 3 more Smart Citations

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

Using Autoencoders to Identify Aged, Faulty and Unknown Peripherals in the Adaptive IMA System

Luettig,

Annighoefer

2023

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

0

View full text Add to dashboard Cite

A Concept for a Qualifiable (Meta)-Modeling Framework Deployable in Systems and Tools of Safety-Critical and Cyber-Physical Environments

Cited by 8 publications

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

Using Autoencoders to Identify Aged, Faulty and Unknown Peripherals in the Adaptive IMA System

Contact Info

Product

Resources

About