Please note: This PhD seminar will take place online.
Rafael
F.
Toledo,
PhD
candidate
David
R.
Cheriton
School
of
Computer
Science
Supervisor: Professor Joanne Atlee
Program analysis of automotive software has several unique challenges, including that the code base is ultra large, comprising over a hundred million lines of code running on a single vehicle; the code is structured as a software product line (SPL) for managing a family of related software products from a common set of artifacts; and the analysis results (despite being numerous and despite being variable) need to be presented to the engineer in a way that is manageable.
In this presentation, I will give an overview of the lifted declarative analyses applied to automotive software product lines from General Motors and present effective ways to report to engineers conditional analysis results (i.e., results conditioned on SPL program variants).
To join this PhD seminar on Zoom, please go to https://uwaterloo.zoom.us/j/99606869998.