Application of Abstract Interpretation to the Automotive Electronic Control System
Yamaguchi, T., Brain, M. ORCID: 0000-0003-4216-7151, Ryder, C. , Imai, Y. & Kawamura, Y. (2019). Application of Abstract Interpretation to the Automotive Electronic Control System. Lecture Notes in Computer Science (VMCAI 2019: Verification, Model Checking, and Abstract Interpretation), 11388, pp. 425-445. doi: 10.1007/978-3-030-11245-5_20
Abstract
The verification and validation of industrial automotive systems is increasingly challenging as they become larger and more complex. Recent automotive Electric Control Units (ECUs) have approximately one half to one million of lines of code, and a modern automobile can contain hundreds of controllers. Significant work-hours are needed to understand and manage systems of this level of complexity. One particular challenge is understanding the changes to the software across development phases and revisions. To this end, we present a code dependency analysis tool that enhances designer understanding. It combines abstract interpretation and graph based data analysis to generate visualized dependency graphs on demand to support designer’s understanding of the code. We demonstrate its value by presenting dependency graph visuals for an industrial application, and report results showing significant reduction of work-hours and enhancement of the ability to understand the software.
Publication Type: | Article |
---|---|
Additional Information: | The final authenticated version is available online at https://doi.org/10.1007/978-3-030-11245-5_20. |
Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science T Technology > TK Electrical engineering. Electronics Nuclear engineering |
Departments: | School of Science & Technology > Computer Science School of Science & Technology > Computer Science > Software Reliability |
Download (1MB) | Preview
Export
Downloads
Downloads per month over past year