Next Generation Testing Tools for Embedded Automotive Applications

Paper #:
  • 2004-01-0716

Published:
  • 2004-03-08
Citation:
Deutsch, A., "Next Generation Testing Tools for Embedded Automotive Applications," SAE Technical Paper 2004-01-0716, 2004, https://doi.org/10.4271/2004-01-0716.
Author(s):
Pages:
10
Abstract:
This paper is a tutorial on the principles and applications of static verification of dynamic properties to development, verification and validation of embedded applications. The topics covered include what static verification of dynamic properties 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 run-time errors.
Access
Now
SAE MOBILUS Subscriber? You may already have access.
Buy
Select
Price
List
Download
$27.00
Mail
$27.00
Members save up to 40% off list price.
Share
HTML for Linking to Page
Page URL

Related Items

Training / Education
1997-03-11
Training / Education
2007-03-01
Technical Paper / Journal Article
2010-10-25
Training / Education
2013-04-09