Loading [a11y]/accessibility-menu.js
Semiformal verification of temporal properties in automotive hardware dependent software | IEEE Conference Publication | IEEE Xplore

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 c...Show More

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.
Date of Conference: 20-24 April 2009
Date Added to IEEE Xplore: 23 June 2009
ISBN Information:

ISSN Information:

Conference Location: Nice, France

References

References is not available for this document.