Physically Informed Assertions for CPS Development and Debugging

Download

Abstract:

This project's objective is to enable assertion-­‐driven development and debugging cyber-­‐ physical systems (CPS). As opposed to traditional uses of assertions in software engineering, CPS demand a tight coupling of the cyber with the physical, including in system validation. This project will use mathematical models of key physical attributes to guide creation of assertions, to identify inconsistent or infeasible assertions, and to localize potential causes for CPS failures.

  • CPS Domains
  • Medical Devices
  • Probabilistic and Statistical Verification
  • Secure Control Systems
  • Quantitative Verification
  • Testing
  • Platforms
  • Modeling
  • Systems Engineering
  • Health Care
  • Robotics
  • Science of Security
  • Validation and Verification
  • CPS Technologies
  • Education
  • Foundations
  • National CPS PI Meeting 2013
  • 2013
  • Poster
  • Academia
  • CPS PI Poster Session
Submitted by Christine Julien on