Design verification technology promises comprehensive analysis of design models against the specified properties, thereby overcoming the limitations of traditional simulation-based and testing-based approaches. It helps in detecting design bugs early, thereby reducing the software development cycle time and cost. In this paper, we present our experiences with three state-of-the-art design verification tools - Reactis Validator, Simulink Design Verifier and Embedded Validator - for Simulink/Stateflow models. We also identify some challenges in employing them in an industrial production environment. We also suggest some automation steps to ease the design verification effort.
Applying Design Verification Tools in Automotive Software V&V
Sae Technical Papers
SAE 2011 World Congress & Exhibition ; 2011
2011-04-12
Aufsatz (Konferenz)
Englisch
Applying Design Verification Tools in Automotive Software V&V
British Library Conference Proceedings | 2011
|Applying Verification and Validation to Automotive Software Development
SAE Technical Papers | 1990
|Graphic Results of Applying CAD Tools to Design Automotive Braking Systems
British Library Conference Proceedings | 2010
|Applying software dependence analysis for automotive embedded software
Kraftfahrwesen | 2011
|Applying Software Dependence Analysis for Automotive Embedded Software
SAE Technical Papers | 2011
|