PROGRESS White Paper

F.W. Vaandrager Does it Pay Off? Model-Based Verification and Validation of Embedded Systems! In PROGRESS White Papers 2006. STW, pages 43-66. 2006. ISBN-13 978-90-73461-00-0. Available as Technical Report ICIS-R06019, ICIS, Radboud University Nijmegen, 2006. Extended abstract appeared as Modelgebaseerde Verificatie en Validatie Loont. Bits & Chips 8(15):53-55, 28 September 2006.


An overview is presented of the state-of-the-art in model-based verification and validation of embedded systems, directed towards an industrial audience. Verification and validation consists in exploring the current design against side properties expressed as part of the requirements. It includes testing, model checking, runtime verification and fault-diagnosis, and more exploratory techniques such as the use of theorem proving. During recent years, much progress has been made in theory, methods and tools for model-based verification and validation. In this paper, I will try to indicate for what type of practical problems it pays off to apply one of these modern techniques. Special attention will be paid to the results of six PROGRESS projects in this area.

Whitepaper PDF (Version 11 June 2006)
Bit & Chips PDF
PDF (Slides presented at PROGRESS minisymposium on Verification and Validation, May 31, 2006.)