We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
Model inspections in the engineering of collaborative cyber‐physical systems with instance‐level review diagrams.
- Authors
Daun, Marian; Brings, Jennifer; Weyer, Thorsten
- Abstract
Model inspections are important to ensure high‐quality software and to satisfy legal obligations in model‐based engineering processes. As model‐based specifications are typically documented on type‐level, errors concerning the interactions between multiple system instances can go unnoticed. For collaborative cyber‐physical systems (CPS), a plethora of possible instance‐level configurations need to be taken into account. Therefore, we propose the definition of instance‐level review diagrams that show representative interactions of instance‐level configurations that help detect defects in the system specification. To evaluate the approach, we conducted a controlled experiment whose results indicate that instance‐level review diagrams have—compared with type‐level diagrams—important positive effects on reviewing processes for behavioral specifications of CPS. Specifically, the experiment provides empirical evidence that instance‐level review diagrams are significantly more expressive and effective than type‐level diagrams.
- Subjects
ENGINEERING inspection; CYBER physical systems; ENGINEERING models; UNIFIED modeling language; OBEDIENCE (Law)
- Publication
Journal of Software: Evolution & Process, 2023, Vol 35, Issue 5, p1
- ISSN
2047-7473
- Publication type
Article
- DOI
10.1002/smr.2392