| 1. |
- Brenner, Christian, et al.
(författare)
-
ScenarioTools real-time play-out for test sequence validation in an automotive case study
- 2014
-
Ingår i: Electronic Communications of the EASST. - 1863-2122. ; 67
-
Tidskriftsartikel (refereegranskat)abstract
- In many areas, such as automotive, healthcare, or production, we find softwareintensive systems with complex real-time requirements. To efficiently ensure the quality of these systems, engineers require automated tools for the validation of the requirements throughout the development. This, however, requires that the requirements are specified in an analyzable way. We propose modeling the specification using Modal Sequence Diagrams (MSDs), which express what a system may, must, or must not do in certain situations. MSDs can be executed via the play-out algorithm to investigate the behavior emerging from the interplay of multiple scenarios; we can also test if traces of the final product satisfy all scenarios. In this paper, we present the first tool supporting the play-out of MSDs with real-time constraints. As a case study, we modeled the requirements on gear shifts in an upcoming standard on vehicle testing and use our tool to validate externally generated gear shift sequences.
|
|
| 2. |
- Wiecher, Carsten, et al.
(författare)
-
Model-based analysis and specification of functional requirements and tests for complex automotive systems
- 2024
-
Ingår i: Systems Engineering. - : John Wiley & Sons. - 1098-1241 .- 1520-6858.
-
Tidskriftsartikel (refereegranskat)abstract
- The specification of requirements and tests are crucial activities in automotive development projects. However, due to the increasing complexity of automotive systems, practitioners fail to specify requirements and tests for distributed and evolving systems with complex interactions when following traditional development processes. To address this research gap, we propose a technique that starts with the early identification of validation concerns from a stakeholder perspective, which we use to systematically design tests that drive a scenario-based modeling and analysis of system requirements. To ensure complete and consistent requirements and test specifications in a form that is required in automotive development projects, we develop a Model-Based Systems Engineering (MBSE) methodology. This methodology supports system architects and test designers in the collaborative application of our technique and in maintaining a central system model, in order to automatically derive the required specifications. We evaluate our methodology by applying it at KOSTAL (Tier1 supplier) and within student projects as part of the masters program Embedded Systems Engineering. Our study corroborates that our methodology is applicable and improves existing requirements and test specification processes by supporting the integrated and stakeholder-focused modeling of product and validation systems, where the early definition of stakeholder and validation concerns fosters a problem-oriented, iterative and test-driven requirements modeling. © 2024 Wiley Periodicals, Inc.
|
|
