Aug 2026· Innovations in Systems and Software Engineering· Vol 22· 0 citations· 56 references
Computer Science
TL;DR
A model-based approach in the Gamma Statechart Composition Framework for integration test generation on the basis of collaborating state-based models is introduced to ease test generation complexity using query-dependent model processing.
Abstract
Nowadays, the design of complex reactive systems, e.g., control systems in the railway and aerospace industries, is generally based on the integration of components. Components (subsystems) may come from various parties and operate according to different execution and interaction semantics. Analyzing the joint behavior of such integrated components is a tedious task. This paper introduces a model-based approach in our Gamma Statechart Composition Framework for integration test generation on the basis of collaborating state-based models. Test generation is supported by test coverage criteria and the automatic transformation of composite models into different model checker back-ends. The diagnostic traces returned by the model checkers are automatically mapped into test cases. As novelty, our tool is based on precise composition semantics (synchronous and asynchronous) and relies on model queries to support the modular and flexible specification of element coverage according to various model-based criteria: dataflow, component interactions and static model elements. The tool utilizes model reduction and slicing techniques during the transformations to ease test generation complexity using query-dependent model processing. We demonstrate the applicability of our tool on three industrial subsystems, including an aerospace (NASA) and two railway applications.
RADIANT is an engineering methodology that combines MDE with Multi-Agent Large Language Models (LLMs) for complete model-based system development, with a focus on safety-critical systems and finds that the multi-agent decomposition reliably improves theSyntactic validity of the generated formal artefacts over a single-agent baseline, while gains in semantic accuracy are model-dependent.
Ran Wei, Letian Zhu, Haochi Wang et al.· arXiv.org· 0 citations
: This paper presents an automated approach to deriving informal test cases from Requirements Interchange Format (ReqIF)-structured system requirements based on general-purpose Large Language Models (LLMs) with integrated linkage to test evidences based on Digital Dependability Identities (DDIs). Our method enables scenario-based testing while drastically reducing effort and cost: test cases become available within hours instead of months. The automation supports formal traceability, safety argumentation, and change impact analysis. An automated conversion of derived test cases into ASAM OpenScenario (XOSC) and Open Test Sequence Exchange (OTX) formats accelerates design and implementation of platform-independent, executable test specifications while improving their reuse across development stages. A systematic review process allows domain experts to refine and extend generated specifications. We discuss testbed configuration including resource allocation, toolchain integration, and parameter initialization to satisfy test constraints and strengthen confidence in results against the original acceptance criteria. Finally, we execute the reviewed test cases in a simulated environment within a Virtual Continuous Testing (VCT) pipeline for efficient verification and validation in an X-in-the-Loop (XiL) testbed based on VCIP/FERAL. The closed-loop approach advances automated testing by combining efficiency, consistency, and scalability in test generation, which is showcased within an automotive use case.
Adam Bachorek, Stefan Schwenk, Naveed Akram et al.· International Conference on...· 0 citations
Evaluated on real-world system-level requirements documents, comprising more than 720 requirements and 72 use cases, the approach generates system-level diagrams comparable to those created by experts and provides valuable architectural recommendations.
Bastian Franze, Dominik Fuchß, Friedrich Wattenberg et al.· IEEE International Requireme...· 0 citations
Verification and validation (V&V) are crucial methods for evaluating the requirements and specifications of dynamical models that fulfill their intended purposes. Parallel Discrete EVent System Specification (PDEVS) is a system-theoretic modeling approach for creating modular, hierarchical component-based simulation models. In this paper, we introduce Constraint-DEVS, a method for creating bounded Parallel DEVS models that lend themselves, in addition to simulation, to model checking. We extend the DEVS-Suite framework to create Constraint-DEVS specifications which can then be model checked using a proposed state exploration protocol with the Parallel DEVS abstract simulator protocol. These capabilities, along with the support for non-determinism, complex data transfer, and performance-related property checking, make Constraint-DEVS and its accompanying DEVS-Suite a unique framework for the development, verification, and validation of discrete-event systems. In order to demonstrate this work, we developed and verified models of Network-on-Chip. Also, we detail behavioral design artifacts for the DEVS-Suite framework's hybrid model-checking and simulation engine.
We live in the technological advanced era in which new bigger systems are required to be constructed from existing reusable components in a shorter time. For this purpose, rapid development techniques are highly desired which can reduce the development cost and increase the quality of a system by reuse. For Cyber-Physical system construction in system engineering, reuse is emphasised upon significantly. Comparatively, coordination based reusable programs in component-based development approaches has a potential to fulfill the aforementioned desired features. In this paper, we study object-oriented behavioral design patterns to identify new coordination based connectors for EX-MAN component model (EX-MAN). Furthermore, using one of identified design patterns as sample, we propose a framework to define a coordination based exogenous connector for the chain of responsibility (CoR) design pattern. For the application of our defined connector, we design a small rudimentary example in EX-MAN. The operational semantics of our defined connector are verified in a modeling and simulation environment by Coloured Petri Net. We further show the practical use of CoR in the design of a bigger system in EX-MAN.
Early assurance of properties in complex technical systems can reduce engineering effort and even entire iterations. However, verification and validation face challenges caused by interdisciplinary dependencies and late availability of prototypes. Although Model-Based Systems Engineering offers formal system models for representing architectures, their potential for early test planning and prototype definition remains insufficiently used. This article presents a process chain for systematically extracting test-relevant system elements and parameters from system models to support V&V engineers in deriving suitable prototype configurations. Based on a systematic literature analysis, success criteria are defined and translated into a four-step approach: selecting the properties to be verified, automatically identifying relevant system elements, extracting test-relevant parameters, and generating prototype configurations. The process chain is tool-supported integrated. Relevant elements and parameters are exported from the system model using Node-RED flows, merged into a template structure, and visualized in a dashboard. The evaluation using a EU research project as well as a wind turbine case indicates potential for time savings, improved test coverage, enhanced traceability, and earlier detection of inconsistencies.
I. Graessler, Marcel Ebel· AHFE International· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
