Does it Pay Off? Model-Based Verification and Validation of Embedded Systems!
Frits Vaandrager · Radboud Repository (Radboud University) · 2006
Abstract. An overview is presented of the state-of-the-art in modelbased verification and validation of embedded systems, directed towards an industrial audience. Verification and validation consists in exploring the current design against properties expressed as part of the requirements. It includes testing, model checking, runtime verification and faultdiagnosis, 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. 1