There is one engineering activity that has not yet fully benefited from the paradigm of normal development when it comes to verification and validation: software engineering. Software validation is still often mostly based on test techniques which consist in enumeratively executing the application a high number of times. If you achieve to run a high enough number of executions without observing any error, then the software is considered as validated. This does unfortunately not imply that the software is free of runtime errors. Indeed, detecting a runtime error during tests requires special drafts to fulfil. This paper is a tutorial on the principles and applications of static verification by Abstract Interpretation to development, verification and validation of embedded applications. The topics covered include what Abstract interpretation is, how it works, how it can help in verification and validation activities. It will also present an industrial tool for the automatic detection of runtime errors.
Accelerate testing for automotive applications
Testbeschleunigung für fahrzeugtechnische Anwendungen
2006
8 Seiten, 7 Bilder
Aufsatz (Konferenz)
Englisch
Using Model-Based Design to Accelerate FPGA Development for Automotive Applications
SAE Technical Papers | 2009
|Automotive designs accelerate demand for passive components
Tema Archiv | 2001
|VCSELs accelerate new OCT applications
British Library Online Contents | 2013
SOLUTIONS - Mechanics - Preloading To Accelerate Slow-Crack-Growth Testing
Online Contents | 2004