Automatic Verification of Embedded Software of Automotive Electronic Modules based on Program Traces Executions

Paper #:
  • 2011-36-0367

Published:
  • 2011-10-04
DOI:
  • 10.4271/2011-36-0367
Citation:
de Moura Vasconcelos, G., Dias da Silva, L., and Perkusic, A., "Automatic Verification of Embedded Software of Automotive Electronic Modules based on Program Traces Executions," SAE Technical Paper 2011-36-0367, 2011, https://doi.org/10.4271/2011-36-0367.
Pages:
10
Abstract:
The development of embedded systems in automotive environment has brought a strong expansion in the number of applications dependent of programmable devices. A failure in any of these systems may cause different types of damages. Therefore, it requires a high confidence in their operation. Many of these faults are inserted during the coding process. A tool for formal verification of the implemented code could allow the detection of possible errors that could not be encountered during the testing phase. In this paper, we propose a method for verifying software from the reduced model of the software built automatically with information from multiple traces of program executions. To illustrate the application of the proposed method a case study for an automotive electronic module that controls the windshield wiper is presented.
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
2017-06-15
Training / Education
2017-08-30
Training / Education
2018-07-16
Technical Paper / Journal Article
2010-09-28