Model-Based Prototype Development to Support Early Validation of Cyber-Physical System Specifications

[Motivation] In the engineering of cyber-physical systems, attention is given to early validation of requirements artifacts. The use of prototypes is one known technique to identify incorrectness and aberrations from the stakeholder intentions early. [Problem] Software prototypes of cyber-physical systems’ software, however, often need to be adapted to the prototype’s hardware, which may differ from the system’s hardware. This leads to differences between the system’s and the implemented prototype’s specification, impeding the applicability of validation results to the system’s requirements. [Solution Idea] To support the validation of requirements artifacts for cyber-physical systems, we propose the generation of an explicit prototype specification. Traceability relations aid the requirements engineer in deciding whether a finding actually corresponds to a defect in the requirements or whether it results from changes due to the prototype’s different hardware. [Contributi...

• Type: Journal
• Year: 2016
• Where: REFSQ
• Authors: Jennifer Brings, Philipp Bohn, Torsten Bandyszak, Felix Föcker, Marian Daun
• Keywords: REFSQ 2016, Software Engineering