A Road-Map to Readily Available Early Validation and Verification of System Behaviour in Model-Based Systems Engineering using Software Engineering Best Practices
Open Access
- 26 May 2025
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Software Engineering and Methodology
- Vol. 34 (5) , 1-30
Abstract
In this article, we discuss how we can facilitate the growing need for early validation and verification (V&V) of system behaviour in Model-Based Systems Engineering (MBSyE). Several aspects, such as reducing cost and time to market, push companies towards integration of V&V methods earlier in development to support effective decision-making. One foundational methodology seeing increased attention in industry is the use of MBSyE, which brings benefits of models with well-defined syntax and semantics to support V&V activities, rather than relying on natural language text documentation. Despite their promise, industrial adoption of these practices is still challenging. This article presents a vision for readily available early V&V . We present a summary of the literature on early V&V in MBSyE and position existing challenges regarding potential solutions and future investigations towards this vision. We elaborate our vision by means of challenges with a specific emphasis on early V&V of system behaviour . We identify three specific challenge areas: Creating and managing Models , Organisational systems engineering aspects, and early V&V Methods . Finally, we outline a road-map to address these categories of challenges, in which we propose the transfer of established best practices from the software engineering domain to support emerging technologies in the systems engineering domain.Keywords
Funding Information
- AIDOaRT
- ECSEL (101007350)
This publication has 149 references indexed in Scilit:
- Experiences and challenges from developing cyber‐physical systems in industry‐academia collaborationSoftware: Practice and Experience, 2024
- Value creation or value destruction: Conceptualizing the experiential nature of value‐in‐useJournal of Consumer Behaviour, 2022
- Systems Modeling Language (SysML v2) Support for Digital EngineeringINSIGHT, 2022
- Assaying the importance of system complexity for the systems engineering communitySystems Engineering, 2020
- A systematic literature review on formal verification of software‐defined networksTransactions on Emerging Telecommunications Technologies, 2019
- Model‐based systems engineering: Motivation, current status, and research opportunitiesSystems Engineering, 2018
- Learning from failure in systems engineering: A panel discussionSystems Engineering, 2011
- Experiences and results from tailoring and deploying a large process standard in a companySoftware Process: Improvement and Practice, 2008
- Some future trends and implications for systems and software engineering processesSystems Engineering, 2006
- Architecting principles for systems-of-systemsSystems Engineering, 1998