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

2011-36-0367

10/04/2011

Event
SAE Brasil 2011 Congress and Exhibit
Authors Abstract
Content
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.
Meta TagsDetails
DOI
https://doi.org/10.4271/2011-36-0367
Pages
10
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.
Additional Details
Publisher
Published
Oct 4, 2011
Product Code
2011-36-0367
Content Type
Technical Paper
Language
English