Tags:Cyber-Physical-Systems, Parallel-algorithms and Reachability-analysis
Abstract:
Reachability analysis techniques are at the core of the current state-of-the-art technology for verifying safety properties of cyber-physical systems (CPS). In this talk, I will present a suite of parallel state-space exploration
algorithms in the tool XSpeed that, leveraging multi-core CPUs, enable to improve the performance of reachability
analysis of linear continuous and hybrid automaton models of CPS. A performance evaluation on several benchmarks
comparing their key performance indicators will be shown. This enables to identify the ideal algorithm and the
parameters to choose that would maximize the performances for a given benchmark.
Parallel reachability analysis of hybrid systems in XSpeed