1 option
Automatic Verification of Embedded Software of Automotive Electronic Modules based on Program Traces Executions Ford Motor Company
- Format:
- Conference/Event
- Author/Creator:
- de Moura Vasconcelos, de Moura Vasconcelos, author.
- Conference Name:
- SAE Brasil 2011 Congress and Exhibit (2011-10-04 : Sao Paulo, Brazil)
- Language:
- English
- Physical Description:
- 1 online resource
- Place of Publication:
- Warrendale, PA SAE International 2011
- Summary:
- 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
- Notes:
- Vendor supplied data
- Publisher Number:
- 2011-36-0367
- Access Restriction:
- Restricted for use by site license
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.