What is it about?

This work is about how researchers or practitioners can enable and perform early validation and verification (V&V) of their systems in Model-Based Systems Engineering. We map the extensive literature on MBSE and provide a compact analysis of 149 papers, in addition to a wider summary of the discipline. We also discuss what is currently missing for wide-spread industrial adoption of (mostly) academic solutions.

Featured Image

Why is it important?

This publication adds knowledge about a current existing gap in the literature, in addition to analyzing why and what are the differences between the academic and industrial view of the topic. The open challenges we present in the end of the paper can be a powerful way for researchers to plan future activities to bring academic and researchers together in this field, furthermore the paper results themselves can assist practitioners to implement early V&V in their context.


The idea for this paper came after the first year of my PhD studies as an industrial PhD student. I had noticed that there was some nuances to how the PhD topic was perceived in my supervision team (half industrial half academic). Together we realized that there was a misalignment between us, and this review is the result of us sitting down to try and understand why that was. I gained a lot of insights from the review process, and by condensing it to this format I hope that you as the reader will find it useful as well.

Johan Cederbladh
Malardalens Hogskola

Read the Original

This page is a summary of: Early Validation and Verification of System Behaviour in Model-based Systems Engineering: A Systematic Literature Review, ACM Transactions on Software Engineering and Methodology, March 2024, ACM (Association for Computing Machinery),
DOI: 10.1145/3631976.
You can read the full text:



The following have contributed to this page