Paper Info
Title
Semiformal verification of temporal properties in automotive hardware dependent software
Abstract
The verification of embedded software has become an important subject over the last years. This work presents a new semiformal verification approach called SofTPaDS. It combines assertion-based and symbolic simulation approaches for the verification of embedded software with hardware dependencies. SofTPaDS shows to be more efficient than the software model checkers in order to trace deep state spaces and improves the state coverage relative to a simulation-based verification tool. We have successfully applied our approach to an industrial automotive embedded software.
Year
DOI
Venue
2009
10.1109/DATE.2009.5090847
DATE
Keywords
Field
DocType
deep state space,state coverage,temporal property,semiformal verification,dependent software,simulation-based verification tool,important subject,automotive hardware,symbolic simulation approach,embedded software,new semiformal verification approach,software model checker,industrial automotive embedded software,hardware dependency,embedded computing,formal verification,fpgas,hardware,embedded systems,data structures,model based design,testing,generators,retiming,automotive engineering,software systems,high level synthesis,state space,national electric code
Avionics software,Functional verification,Intelligent verification,Computer science,Real-time computing,Verification,High-level verification,Software construction,Computer hardware,Software verification and validation,Embedded system,Software verification
Conference
ISSN
Citations 
PageRank 
1530-1591
7
0.50
References 
Authors
7
9
Name
Order
Citations
PageRank
Djones Lettnin1397.68
Pradeep K. Nalla2161.82
Jörg Behrend3123.67
Jürgen Ruf412223.04
Joachim Gerlach5191.91
Thomas Kropf632659.09
Wolfgang Rosenstiel71462212.32
Volker Schönknecht8151.11
Stephan Reitemeyer9151.11