loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Authors: Vanessa Tietz and Bjoern Annighoefer

Affiliation: Institute of Aircraft Systems, University of Stuttgart, Pfaffenwaldring 27, Stuttgart, Germany

Keyword(s): Domain-Specific Modeling, Safety-Critical, Avionics, Certifiability, Testability.

Abstract: Domain-specific modeling (DSM) is a powerful approach for efficient system and software development. However, its use in safety-critical avionics is still limited due to the rigorous software and system safety requirements. Regardless of whether DSM is used as a development tool or directly in flight software, the software developer must ensure that no unexpected misbehavior occurs. This has to be proven by defined certification processes. For this reason, DOMAINES, a DSM framework specifically adapted to the needs of safety-critical (avionics) systems, is currently being developed. While it is possible to create and process domain-specific languages and models, the challenge lies in ensuring that the framework consistently performs as intended, providing the foundation for certification. For this purpose, a novel approach is employed: the introduction of a meta-meta-modeling language that combines syntax diagrams with a class diagram. This language serves as a comprehensive referenc e for the generation of test cases and the formal linking of grammar, meta-modeling language and implementation. This allows the implementation to be tested with every conceivable command. In addition, mechanisms ensure that this set of commands to be tested is a closed set. (More)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 18.218.37.5

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Tietz, V. and Annighoefer, B. (2024). Concept of Automated Testing of Interactions with a Domain-Specific Modeling Framework with a Combination of Class and Syntax Diagrams. In Proceedings of the 12th International Conference on Model-Based Software and Systems Engineering - MODELSWARD; ISBN 978-989-758-682-8; ISSN 2184-4348, SciTePress, pages 108-116. DOI: 10.5220/0012307400003645

@conference{modelsward24,
author={Vanessa Tietz. and Bjoern Annighoefer.},
title={Concept of Automated Testing of Interactions with a Domain-Specific Modeling Framework with a Combination of Class and Syntax Diagrams},
booktitle={Proceedings of the 12th International Conference on Model-Based Software and Systems Engineering - MODELSWARD},
year={2024},
pages={108-116},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0012307400003645},
isbn={978-989-758-682-8},
issn={2184-4348},
}

TY - CONF

JO - Proceedings of the 12th International Conference on Model-Based Software and Systems Engineering - MODELSWARD
TI - Concept of Automated Testing of Interactions with a Domain-Specific Modeling Framework with a Combination of Class and Syntax Diagrams
SN - 978-989-758-682-8
IS - 2184-4348
AU - Tietz, V.
AU - Annighoefer, B.
PY - 2024
SP - 108
EP - 116
DO - 10.5220/0012307400003645
PB - SciTePress