Debugging the Networked Car

Visa enkel post
dc.contributor.authorLi, Tao
dc.contributor.departmentChalmers tekniska högskola / Institutionen för data- och informationsteknik (Chalmers)sv
dc.contributor.departmentChalmers University of Technology / Department of Computer Science and Engineering (Chalmers)en
dc.date.accessioned2019-07-03T13:17:30Z
dc.date.available2019-07-03T13:17:30Z
dc.date.issued2013
dc.description.abstractIn the automotive industry, modern cars are equipped with numerous sensors and actuators to control safety critical aspects. These sensors collect large amounts of information, which are processed and used by vehicles to control brakes, steering, engine, etc. The AU-TOSAR standard specifies the implementation details of these software units. This approach provides more flexibility for the management of vehicular Electrical/Electronic(E/E) systems related to complex driver assistant functions. However, due to the distributed features of such systems, software programs built on the AUTOSAR platform are difficult to achieve high quality and correctness. AUTOSAR programs are running on different machines and exchange messages via the underlying in-vehicle network, which makes the system non-deterministic and non-predictable. In this thesis work, these problems are addressed and a new debugging tool based on a symbolic execution engine, named KLEE, is developed. This new tool enables effective testing of AUTOSAR programs before deployment on Electronic control units(ECUs). It has the capability to detect pointer-related problems and inject non-deterministic failures to programs while symbolically executing them. We explore the design and the implementation of this tool and also come up with several possible scenarios as use cases of this debugging tool.
dc.identifier.urihttps://hdl.handle.net/20.500.12380/184376
dc.language.isoeng
dc.setspec.uppsokTechnology
dc.subjectData- och informationsvetenskap
dc.subjectInformations- och kommunikationsteknik
dc.subjectComputer and Information Science
dc.subjectInformation & Communication Technology
dc.titleDebugging the Networked Car
dc.type.degreeExamensarbete för masterexamensv
dc.type.degreeMaster Thesisen
dc.type.uppsokH
local.programmeComputer science – algorithms, languages and logic (MPALG), MSc
Ladda ner
Original bundle
Visar 1 - 1 av 1
Bild (thumbnail)
Namn:
184376.pdf
Storlek:
2.47 MB
Format:
Adobe Portable Document Format
Beskrivning:
Fulltext
Ladda ner
Samling
Examensarbeten för masterexamen