Browse Publications Technical Papers 2011-36-0367

Automatic Verification of Embedded Software of Automotive Electronic Modules based on Program Traces Executions 2011-36-0367

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.


Subscribers can view annotate, and download all of SAE's content. Learn More »


Members save up to 40% off list price.
Login to see discount.
Special Offer: With TechSelect, you decide what SAE Technical Papers you need, when you need them, and how much you want to pay.