PhD Seminar • Software Engineering • Visualizing Analysis Results of Industrial Automotive Software Product Line ModelsExport this event to calendar

Thursday, December 1, 2022 — 1:00 PM to 2:00 PM EST

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.

Location 
Online PhD seminar
200 University Avenue West

Waterloo, ON N2L 3G1
Canada
Event tags 

S M T W T F S
27
28
29
30
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
  1. 2023 (2)
    1. January (2)
  2. 2022 (241)
    1. December (16)
    2. November (28)
    3. October (15)
    4. September (12)
    5. August (29)
    6. July (23)
    7. June (17)
    8. May (20)
    9. April (24)
    10. March (22)
    11. February (16)
    12. January (19)
  3. 2021 (210)
    1. December (21)
    2. November (13)
    3. October (12)
    4. September (21)
    5. August (20)
    6. July (17)
    7. June (11)
    8. May (16)
    9. April (27)
    10. March (20)
    11. February (13)
    12. January (19)
  4. 2020 (217)
  5. 2019 (255)
  6. 2018 (217)
  7. 2017 (36)
  8. 2016 (21)
  9. 2015 (36)
  10. 2014 (33)
  11. 2013 (23)
  12. 2012 (4)
  13. 2011 (1)
  14. 2010 (1)
  15. 2009 (1)
  16. 2008 (1)