Formal Methods of Assurance for CPS
Carnegie Mellon University Software Engineering Institute Pittsburgh United States
Pagination or Media Count:
Assurance Automation for Safe-Critical Cyber-Physical Systems -- The DoD requires rapid fielding of critical capabilities to remain competitive with ongoing, urgent and emerging threats. -- The challenge is that traditional verification does not scale because of unpredictable algorithms such as machine learning and the need for timely interaction with the environment i.e., correct actions at correct time.
- Computer Programming and Software