Misc stuff: The verification gap, ML training and more

This post covers recent updates in machine learning, autonomous systems and verification. It has four sections: Automation / ML keep accelerating, but verification of automation / ML seems to lag behind HVC is coming, and I plan to attend (and even present) The idea of training an ML-based system using synthetic inputs (which I like) … More Misc stuff: The verification gap, ML training and more

Verification implications of the new US AV policy

Summary: This post will take an initial look at the US Autonomous Vehicles policy announcement, and claim it is a big deal. It will then examine the verification implications, and claim they are mainly positive. Yesterday, the US Department of Transportation (DOT) and the National Highway Traffic Safety Administration (NHTSA) came out with an announcement … More Verification implications of the new US AV policy

Using Machine Learning to verify Machine Learning?

Summary: Can one use ML to verify ML-based systems? This post claims the answer is mostly “no”: You mainly have to use other system verification methodologies. However, some ML-based techniques may still be quite useful. How does one verify ML-based systems? A previous post in this series claimed that the “right” way is CDV: Essentially, … More Using Machine Learning to verify Machine Learning?

Machine Learning for Coverage Maximization

Summary: This post describes in general terms the problem of “using ML for coverage maximization”, explains why it is important for CDV and for fuzzing, and gives some references. My first post in the “ML and verification” series talked about verifying ML-based systems (lots more to say about that). This post talks about the other … More Machine Learning for Coverage Maximization

Machine Learning verification and Explainable AI

Summary: This post – part of a series about Machine Learning (ML) and verification – discusses the hard problem of verifying ML-based systems, and how “Explainable AI” might help. I can think of three interesting topics whose title contains both “ML” and “verification”: Verifying ML-based systems Using a verification infrastructure to train ML-based systems Using … More Machine Learning verification and Explainable AI

About faults and bugs

Summary: This post tries to fit Fault Tree Analysis and CDV-based “normal” bug-finding into the same conceptual framework. FTA and CDV have a challenging, uneasy relationship with each other. In a nutshell (details below): FTA (and similar techniques) is a good, established way to reason about failures and reliability, but (1) it depends on humans … More About faults and bugs

Future of verification: Better ways to predict behavior

  Summary: This post discusses one of the verification implications of the next 20 years of automation on verification: The problem of trying to predict how people will react to change. A previous post (and another one) discussed the next 20 years of automation and their general implications. This follow-up post discusses one of the … More Future of verification: Better ways to predict behavior

The Tesla crash, Tsunamis and spec errors

Summary: This post talks about some implications of the Tesla autopilot crash, claims that some autonomous vehicle fatalities are unavoidable, and suggests some ways to minimize them. By now you have probably heard about the Tesla fatal autopilot accident, causing the tragic death of a Tesla enthusiast. There is a lot of discussion about what … More The Tesla crash, Tsunamis and spec errors