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.
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. Download Citation
Author(s):
Genildo de Moura Vasconcelos, Leandro Dias da Silva, Angelo Perkusic
Affiliated:
Ford Motor Co., Federal University of Alagoas, Federal University of Campina Grande
Pages: 10
Event:
SAE Brasil 2011 Congress and Exhibit
ISSN:
0148-7191
e-ISSN:
2688-3627
Related Topics:
Embedded software
Wipers and washers
Computer software and hardware
Tools and equipment
SAE MOBILUS
Subscribers can view annotate, and download all of SAE's content.
Learn More »