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

Submitted by Jason Rife on Wed, 11/29/2017 - 15:21

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.

  • Tufts University
  • 1329341
  • CPS Domains
  • Defense
  • Aerospace
  • Energy
  • Smart Grid
  • Robotics
  • Transportation
  • Automotive
  • Foundations
  • Control
  • Validation and Verification
  • Certification
  • CPS-PI Meeting 2017
  • Poster
  • Posters (Sessions 8 & 13)