Abstract:Cyber-Physical Systems (CPSs), comprising both software and physical components, arise in many industry-relevant domains and are often mission- or safety-critical. System-Level Verification (SLV) of CPSs aims at certifying that given (e.g., safety or liveness) specifications are met, or at estimating the value of some KPIs, when the system runs in its operational environment, i.e., in presence of inputs (from users or other systems) and/or of additional, uncontrolled disturbances. To enable SLV of complex systems from the early design phases, the currently most adopted approach envisions the simulation of a system model under the (time bounded) operational scenarios of interest. Simulation-based SLV can be computationally prohibitive (years of sequential simulation), since model simulation is computationally intensive and the set of scenarios of interest can huge. We present a technique that, given a collection of scenarios of interest (extracted from mass-storage databases or from symbolic structures, e.g., constraint-based scenario generators), computes parallel shortest simulation campaigns, which drive a possibly large number of system model simulators running in parallel in a HPC infrastructure through all (and only) those scenarios in the user-defined (possibly random) order, by wisely avoiding multiple simulations of repeated trajectories, thus minimising the overall completion time, compatibly with the available simulator memory capacity. Our experiments on Modelica/FMU and Simulink case study models with up to ~200 million scenarios show that our optimisation yields speedups as high as 8x. This, together with the enabled massive parallelisation, makes practically viable (a few weeks in a HPC infrastructure) verification tasks (both statistical and exhaustive, with respect to the given set of scenarios) which would otherwise take inconceivably long time.

Formal Simulation and Visualisation of Hybrid Programs

Modeling, Simulation and Automatic Verification of Hybrid Systems under Matlab Environment

Recent advanced languages and tools for hybrid systems

A novel integrated architecture to X-in-the-loop simulation applied to ASV navigation

A Scene-Driven Modeling Reconfigurable Hardware-in-Loop Simulation Environment for the Verification of an Autonomous CPS

Collaborative Verification-Driven Engineering of Hybrid Systems

A Novel Integrated Simulation and Testing Platform for Self-Driving Cars with Hardware in the Loop.

Formal Modelling and Verification of Hybrid Systems by Hybrid Relational Approach

Autonomous Vehicle Testing and Validation Platform: Integrated Simulation System with Hardware in the Loop.

Sim-on-Wheels: Physical World in the Loop Simulation for Self-Driving

Hardware-In-The-Loop Simulation System of Vis Based on Matlab and Adams

Natural-language-driven Simulation Benchmark and Copilot for Efficient Production of Object Interactions in Virtual Road Scenes

An Approach for Modeling and Simulation of Virtual Sensors in Automatic Control Systems Using Game Engines and Machine Learning

CARLOS: An Open, Modular, and Scalable Simulation Framework for the Development and Testing of Software for C-ITS

A Pioneering Scalable Self-driving Car Simulation Platform

Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World

Co-Simulation Of Energy Management Strategy For Hybrid Electric Vehicle In Avl Inmotion

A discrete-event simulation model for driver performance assessment: application to autonomous vehicle cockpit design optimization

Discrete event simulation for the purpose of real-time performance evaluation of distributed hardware-in-the-loop simulators for autonomous driving vehicle validation

Diagnosing and Predicting Autonomous Vehicle Operational Safety Using Multiple Simulation Modalities and a Virtual Environment

Optimising Highly-Parallel Simulation-Based Verification of Cyber-Physical Systems