Abstract
In the field of model-based design of Cyber–Physical Systems (CPS), seamless traceability of the process, from requirements to models to simulation results, is becoming increasingly important. It can be used to support several activities such as variant handling, impact analysis, component reuse, software maintenance and evolution, verification, and validation. Despite the fact that the relevance of traceability in the model-based design of CPSs is well known, current tools that support traceability management are inadequate in practice. The lack of comprehensive whole-lifecycle systems engineering support in a single tool is one of the main causes of such ineffective traceability management, where traceability relationships between artifacts are still manually generated and maintained. This paper aims at presenting an approach and a prototype for automatically generating and maintaining the appropriate traceability links between heterogeneous artifacts ranging from requirement models, through design models, down to simulation and verification results throughout the product life cycle in model-based design of CPSs. A use case study is presented to validate and illustrate the proposed method and prototype.
Highlights
In the field of model-based design of Cyber–Physical Systems (CPS), seamless traceability of the process, from requirements to models to simulation results, is becoming increasingly important
We demonstrated the applicability and usefulness of our prototype in practice with a use-case tracing of heterogeneous artifacts during the model-based development of a CPS
By clicking on the Uniform Resource Identifier (URI) (See : https://github.com/lenaRB/TraceabilityHeatedEx ample/commit/d7be2d0f5b551c4937e537f3109f28134c70156f accessed on 31 March 2021), users can access the artifacts from the central version control system repository and see the difference from the previous version of the entity as shown in Figure 16
Summary
The need for a more formal requirement verification process and the need for language and tool support has been increasingly recognized by the cyber–physical modeling community. To ensure the proper operation of complex physical systems (e.g., power plants, aircraft, vehicles, building automation, and robotics), requirements are issued at different points in time during the system’s development life cycle: from the design phase to the operation phase Having both the requirements and the model in the same language reduces the semantic gap in the terminology used to communicate between requirement verification engineers and system modelers. Due to the heterogeneity and complexity of CPSs, different modeling languages and tools are often utilized to address the different aspects of the system and development activities such as requirements engineering, system design, verification, etc. What is currently missing is an integrated tool platform to establish, maintain, and use the traceability links of heterogeneous artifacts and activities (e.g., requirements, design models, scenario models, simulation results, validation, and verification) in the development life cycle.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have