I got interesting comments from some [1] loyal readers of this blog, about these “examples of systems to verify” mentioned in my initial post: Some people claimed that these systems are really so different in scale that they are really incomparable. In particular, I heard the claim that hardware verification (where I spent much of … More On that “verification range” issue
I had a breakfast discussion about this simulation-for-transportation-policies with two friends of mine who have been looking into similar topics for years: Nadav Levy and Itzhak Benenson of Tel Aviv Univ. This was triggered by my post about a related topic. Here are the main things I learned during breakfast: They are interested in policies like: … More A breakfast discussion about simulations for transportation policy decision making
I have sent quite a few people the summary of what I saw at the Autonomous Vehicles Test & Development Symposium in Stuttgart. I was pleasantly surprised with the results – a lot of people sent thoughtful answers, or talked to me about it. Here is a summary of what they said, anonymized (because this … More Some feedback on my Stuttgart report
This somewhat-unexpected topic came up in several offline conversations during the Stuttgart symposium On day 1, I had a discussion with a guy who gave the lecture “Impact of driverless mobility on vehicle development and testing” (Thomas delos Santos, CEO, Innovative Mobility Automobile GmbH, Germany). His is a small consultancy house which consults e.g. cities … More Also from Stuttgart: Using simulation for public policy decision making
I travelled to Stuttgart to attend this first-of-a-kind conference. It was interesting for me, because (in Foretellix) I am trying to investigate how dynamic, constrained-random, coverage-driven verification (call it “CDV” – the bread-and-butter of hardware verification) can be extended for verifying complex socio-technical systems. This long(ish) post summarizes my impressions. I did not know much … More My impressions from the Stuttgart Autonomous Vehicles Test & Development symposium
Welcome to the Foretellix blog. Here is a short introduction: My name is Yoav Hollander. I have been doing verification practically forever [1] (e.g. I created the e verification language). By “verification” I mean here roughly “the process of finding bugs (or unintended consequences) in engineered systems before they annoy a customer / destroy a project … More Why this blog