Physically Informed Assertions for CPS Development and Debugging

Download

Abstract:

This project's overall objective is to enable assertion-driven development and debugging of cyberphysical systems (CPS).   As opposed to traditional uses of assertions in software engineering, CPS demand a tight coupling of the cyber with the physical, especially to aid system validation.  This project will show how physical system models can be used to create and apply assertions to help produce methods and tools that will facilitate verification and validation of cyberphysical systems.In the first year of this project, an emp

  • assertions
  • The University of Texas at Austin
  • CPS Domains
  • Medical Devices
  • Testing
  • Platforms
  • Modeling
  • Health Care
  • Robotics
  • Validation and Verification
  • CPS Technologies
  • Education
  • Foundations
  • National CPS PI Meeting 2014
  • 2014
  • Abstract
  • Poster
  • Academia
  • CPSPI MTG 2014 Posters, Videos and Abstracts
Submitted by Raul Longoria on