Software Safety Demonstration and Idemnification

Abstract

In cyber-physical systems, software may control safety-significant operations. This report discusses a method to structure software testing to measure the statistical confidence that algorithms are true to their intended design. The subject matter appears in two main parts: theory, which shows the relationship between discrete systems theory, software, and… (More)

Topics

6 Figures and Tables

Slides referencing similar topics