I attended HVC again this year (see also my HVC’2015 trip report). Here is a very subjective description of what I saw and heard – much of it outside the conference room itself. Note that while HVC is about “all things verification”, much of the audience comes from the chip verification world. Also, the conference … More HVC’2016 trip report
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
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
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?
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
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
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
Summary: In this post I discuss the problem (common in autonomous systems verification) of checking things which don’t have “sharp” Boolean rules. I also suggest some (imperfect) solutions. Say we want to create a growing catalog of Autonomous Vehicles scenarios, and use it to test our AV, as I suggested here. We are talking system-level … More Checking probabilistic components
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
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