WIT RepositoryValidation of Networked Automotive Control Systems Using Global PredicatesZhangLiangauthorVehicles consist of many connected networks of electronic control units (ECUs). Automotive application software (e.g. traction control system, climate control, engine management) is distributed across many separate ECUs, making application testing and system integration very difficult. The main difficulty is in constructing a global application state, due to the asynchronous independent operation of each ECU. The aim of this research is to make the system integration more efficient by creating a global application state based on analysis of application test results. To achieve this goal, a prototype program was developed to construct global states and to analyse these global states. The prototype collects ECU state and network interaction data using the Vector CANoe tool. From these data a lattice of consistent global application states is constructed. The global state lattice can then be used as the basis for analysing ECU signal consistency across ECUs and identifying the potential for erroneous system states to be entered. Test results from the prototype demonstrate the validity of the theoretical approach despite the disadvantage of the state space explosion associated with large distributed systems.*NONE OF THESE*2011-06Waterford Institute of Technology;School of EngineeringThesis

For work being deposited by its own author: In self-archiving this collection of files and associated bibliographic metadata, I grant WIT Repository the right to store them and to make them permanently available publicly for free on-line. I declare that this material is my own intellectual property and I understand that WIT Repository does not assume any responsibility if there is any breach of copyright in distributing these files or metadata. (All authors are urged to prominently assert their copyright on the title page of their work.)

For work being deposited by someone other than its author: I hereby declare that the collection of files and associated bibliographic metadata that I am archiving at WIT Repository) is in the public domain. If this is not the case, I accept full responsibility for any breach of copyright that distributing these files or metadata may entail.

Clicking on the deposit button indicates your agreement to these terms.