Michael Wagner writes: “For decades, our lives have depended on the safe operation of automated mechanisms around and inside us. The autonomy and complexity of these mechanisms is increasing dramatically. Autonomous systems such as self-driving cars rely heavily on inductive inference and on complex software, both of which confound traditional software-safety techniques that are focused on amassing sufficient confirmatory evidence to support safety claims. In this talk I survey methods and tools that, taken together, can enable a new and more productive philosophy for software safety that is based on Karl Popper’s idea of falsificationism.”

Source: www.youtube.com

Michael Wagner is “a Senior Commercialization Specialist at the NREC and the CEO of Edge Case Research, a company [he] co-founded to help make autonomous vehicles and other complex software-based systems safer and more reliable.”