On Integration of MBSE and Simulation for Evaluation of Complex, Quantitative, Temporal Key Performance Indicators

Engineering of today’s complex automotive systems relies on heterogeneous, model-based development toolchains to compute various performance measures to demonstrate product quality and support decision making. Despite advances in System Modelling and simulation, their integration often hits a bottleneck due to cumbersome, expensive and error-prone process of manual transformation of information regarding verification criteria from authoritative System Models into domain specific simulation toolchains. To overcome these obstacles, we introduce a novel methodology that facilitates integration of System Models, built using System Modelling Language (SysML), with simulation, to enable evaluation of quantitative Key Performance Indicators (KPIs) at every system life cycle stage. This is demonstrated in a five-step process using an automotive Adaptive Cruise Control (ACC) application. First, we develop a comprehensive SysML model to analyse the system in its intended context. Second, we extract the KPIs from system requirements written in natural language and formalize them in Signal Temporal Logic (STL) to define constraint parameters. Third, we capture the atomic propositions of STL KPIs to establish traceability between constraint parameters, system properties and interfaces. Fourth, we establish correspondence between the System Architecture and domain-specific models. Fifth, simulation capabilities are leveraged to evaluate temporal, quantitative KPIs, providing insight into the system performance in achieving the desired task. This novel integration eliminates the need for manual transformation of information from System Models to simulation toolchains, reduces opportunity for error, and enhances scalability to streamline the development process of automotive systems using Model Based Systems Engineering (MBSE).