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

Download
pdf

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

  • 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)
Submitted by Jason Rife on