CPS: Synergy: Collaborative Research: Managing Uncertainty in the Design of Safety-Critical Aviation Systems

Our results concern using program‐slicing to model software components in a CPS, with applications to verification of aviation software.

We present an improvement to run‐time bug detection using program slicing instead of a heuristic to identify relevant program variables to monitor. Our results show that selecting variables using the program slice produces higher sensitivity compared to selecting variables heuristically. Moreover, at least in the experiments conducted, program slicing resulted in more consistent detection, with lower variance in sensitivity as compared to the heuristic approach.