Automotive Safety and Security

EEL 5934  
Class Periods: Tue 3:00-4:55pm; Thu 4:05-4:55pm   
Location:   CSE E107
Academic Term:  Spring 2019
Class Canvas Page (with valid GatorLink account): Click here

Instructor:

Course Description

In this course, we will study architectures of current and emergent automotive systems, and get a sense of the trend as we move towards increasingly connected autonomous vehicles. We are on the verge of the so-called 4th Industrial Revolution, ushering in a world where all things, humans, and processes, and data continuously communicate with one another enabling them to respond smartly to their environment. Autonomous, connected vehicles constitute one of the most crucial and most complex components of this connected ecosystem. Electronics and software play the central role in realizing the functionality and security needs for autonomous cars. We will explore the role of automotive systems in the context of connectivity and analyze some key challenges in making these systems robust, i.e., safe, secure, and reliable, in this context.

The course will bring together concepts from diverse areas of Computer Science and Computer Engineering, including Computer Architecture, Hardware and System Security, Real-time Systems, Machine Learning, Formal methods, Embedded system design, and Computer Networks. You will get an understanding of the cooperation, conflicts, and trade-offs among these largely disparate areas, and how to account for them the design of realistic, safety-critical applications. You will get the opportunity to have hands-on experience in design and analysis of several aspects of robust, autonomous, automotive systems. You should take the course if one of more of the following is applicable to you:

Course Pre-Requisites / Co-Requisites

No specific pre-requisite. However, students are expected to have a general background on Computer Architecture and Digital Systems Design. Students should also have some familiarity with programming in C/C++, debugging, and the Linux operating system.

Course Objectives

Upon completion of the course, students should have a knowledge of the working principles of current and future automotive systems:

Materials and Supply Fees

None

Required Textbooks and Software

No textbook.  Relevant research papers and other notes will be provided in class.

Course Contents (Tentative)

Course Schedule

Date Lecture Topic Presenter
Jan 8 Lecture 1 Overview of Automotive Robustness Ray
Jan 8 Lecture 2 Introduction to Automotive Systems Architecture Ray
Jan 10 Lecture 3 Estimation of Safe Sensor Measurements of Autonomous System Under Attack Dutta
Jan 15 Lecture 4 Overview of Automotive Electronics Ray
Jan 15 Lecture 5 Introduction to Functional Safety Ray
Jan 17 Lecture 6 Automotive Sensor Security Dutta
Jan 22 Lecture 7 Overview of Functional Safety Ray
Jan 22 Lecture 8 Introduction to Automotive Security Ray
Jan 24 Lecture 9 Automotive Security: Car Hacking (Overview) Ray
Jan 29 Lecture 10 Paper Presentation: Automotive Cyber-Physical Systems: A Tutorial Introduction Laske
Jan 29 Lecture 11 Paper Presentation: Challenges in Automotive Software Engineering Rolke
Jan 31 Lecture 12 Paper Presentation: A case study of issues related to Automotive E/E system architecture development Chintalapati
Feb 5 Lecture 13 Paper Presentation: A Tutorial Survey on Vehicular Ad Hoc Networks Shoner
Feb 5 Lecture 14 Paper Presentation: Learning to Navigate in Cities Without a Map DeepEyes
Feb 7 Lecture 15 Paper Presentation: Deep Learning in the Automotive Industry: Applications and Tools Boddupalli
Feb 12 Lecture 16 Paper Presentation: RACE: A Centralized Platform Computer Based Architecture for Automotive Applications Patel
Feb 12 Lecture 17 Paper Presentation: In-Car Positioning and Navigation Technologies --- A Survey Tanner
Feb 14 Lecture 18 Automotive Supply Chain Security Ray
Feb 19 Lecture 19 Paper Presentation: From a Federated to an Integrated Automotive Architecture S.T.A.A.R
Feb 19 Lecture 20 Automotive Supply Chain Security (Contd.) Ray
Feb 21 Lecture 21 Hardware Security Validation Ray
Feb 26 Lecture 22 Hardware Security Validation (Contd.) Ray
Feb 26 Lecture 23 Security Validation of Automotive Software Ray
Feb 28 Lecture 24 Introduction to Transportation Security Ray
March 12 Lecture 25 Paper Presentation: The Automotive Standard ISO 26262, the innovative driver for enhanced safety assessment & technology for motor cars Boddupalli
March 12 Lecture 26 Paper Presentation: Integrated safety and architecture modeling for automotive embedded systems Patel
March 12 Lecture 27 Introduction to Security Certifications Ray
March 14 Lecture 28 Paper Presentation: Model-based diagnosis and fault tolerant control for ensuring torque functional safety of pedal-by-wire systems
Paper Presentation: A structured hazard analysis and risk assessment method for automotive system --- A descriptive study
Tanner
Rolke
March 19 Lecture 29 Paper Presentation: Automotive Hardware Development According to ISO 26262 Shoner
March 19 Lecture 30 Paper Presentation: Architectural design and reliability analysis of a fail-operational brake-by-wire system from ISO 26262 perspectives Laske
March 19 Lecture 31 Paper Presentation: A structured and systematic model-based development method for automotive systems, considering the OEM/supplier interface DeepEyes
March 21 Lecture 32 Paper Presentation: How future automotive functional safety requirements will impact microprocessors design
Paper Presentation: Determination of Functional Safety Coupled with Logical Architecture.
S.T.A.A.R
Chintalapati
March 26 Lecture 33 Paper Presentation: Vision-Based Road Detection in Automotive Systems: A Real-time Expectation-Driven Approach
Paper Presentation: Operational and System Hazard Analysis in a Safe Systems Requirement Engineering Process
Garza
March 26 Lecture 34 Architecture for SoC Security Policies and Application to Automotive Robustness Deb Nath
March 28 Lecture 35 Topics in Automotive Security Research Biron
April 2 Lecture 36 Paper Presentation: Automotive Proxy Based Security Architecture for CE device integration Patel
April 2 Lecture 37 Paper Presentation: Information-Driven Autonomous Intersection Control Rolke
April 2 Lecture 38 Paper Presentation: Security threats to automotive CAN networks: Practical examples and selected short-term countermeasures Tanner
April 4 Lecture 39 Achieving functional safety for automotive SoCs: practices and challenges Chen
April 9 Lecture 40 Paper Presentation: Experimental Security Analysis of a Modern Automobile Shoner
April 9 Lecture 41 Paper Presentation: An Amanat-Based Multi-Party Certification Protocol for Outsourced Software in Automotive Systems Laske
April 9 Lecture 42 Paper Presentation: Comprehensive Experimental Analyses of Automotive Attack Surfaces DeepEyes
April 11 Lecture 43 Paper Presentation: Securing Self-Driving Cars
Paper Presentation: Remote Exploitation of an Unaltered Passenger Vehicle
Garza
Boddupalli
April 16 Lecture 44 Paper Presentation: Automotive Security: Cryptography for Car2X Communication
Paper Presentation: BlockChain: A Distributed Solution to Automotive Security and Privacy
S.T.A.A.R
Chintalapati
April 16 Lecture 45 Distributed Computation Based Centralized Model Predictive Control for a Mixed Flow Platoon Du
April 18 Lecture 46 Project Presentations Chintalapati
Shoner
Rolke
April 23 Lecture 47 Project Presentations Garza
Laske
DeepEyes
April 23 Lecture 48 Project Presentations Boddupalli
Patel
S.T.A.A.R
Tanner

Attendance Policy, Class Expectations, and Make-Up Policy

Excused absences are consistent with university policies in the graduate catalog (http://gradcatalog.ufl.edu/content.php?catoid=11&navoid=2486#attendance) and require appropriate documentation.

Evaluation of Grades

Assignment

Percentage of Final Grade

Paper presentation

30%

Presentation review

30%

Term paper/project

40%

TOTAL

100%

Grading Policy

Percent

Grade

Grade Points

93.0 - 100

A

4.00

90.0 – 92.9

A-

3.67

87.0 – 89.9

B+

3.33

83.0 – 86.9

B

3.00

80.0 – 82.9

B-

2.67

77.0 – 79.9

C+

2.33

73.0 – 76.9

C

2.00

70.0 – 72.9

C-

1.67

67.0 – 69.9

D+

1.33

63.0 – 66.9

D

1.00

60.0 – 62.9

D-

0.67

0 – 59.9

E

0.00

The class is not curved.  If everyone does well, everyone can get an A.

In order to graduate, graduate students must have an overall GPA and a major GPA of 3.0 or better (B or better). Note: A “B-” average is equivalent to a GPA of 2.67, and therefore, it does not satisfy this graduation requirement.

More information on UF grading policy may be found at: http://gradcatalog.ufl.edu/content.php?catoid=10&navoid=2020

Students Requiring Accommodations

Students with disabilities requesting accommodations should first register with the Disability Resource Center (352-392-8565, https://www.dso.ufl.edu/drc) by providing appropriate documentation. Once registered, students will receive an accommodation letter which must be presented to the instructor when requesting accommodation. Students with disabilities should follow this procedure as early as possible in the semester.

Course Evaluation

Students are expected to provide feedback on the quality of instruction in this course by completing online evaluations at https://evaluations.ufl.edu/evals.  Evaluations are typically open during the last two or three weeks of the semester, but students will be given specific times when they are open. Summary results of these assessments are available to students at https://evaluations.ufl.edu/results/.

University Honesty Policy

UF students are bound by The Honor Pledge which states, “We, the members of the University of Florida community, pledge to hold ourselves and our peers to the highest standards of honor and integrity by abiding by the Honor Code. On all work submitted for credit by students at the University of Florida, the following pledge is either required or implied: “On my honor, I have neither given nor received unauthorized aid in doing this assignment.” The Honor Code (https://www.dso.ufl.edu/sccr/process/student-conduct-honor-code/) specifies a number of behaviors that are in violation of this code and the possible sanctions. Furthermore, you are obligated to report any condition that facilitates academic misconduct to appropriate personnel. If you have any questions or concerns, please consult with the instructor or TAs in this class.

Software Use

All faculty, staff and student of the University are required and expected to obey the laws and legal agreements governing software use. Failure to do so can lead to monetary damages and/or criminal penalties for the individual violator. Because such violations are also against University policies and rules, disciplinary action will be taken as appropriate. We, the members of the University of Florida community, pledge to uphold ourselves and our peers to the highest standards of honesty and integrity.

Campus Resources:

Health and Wellness

U Matter, We Care:

If you or a friend is in distress, please contact umatter@ufl.edu or 352-392-1575 so that a team member can reach out to the student.

Counseling and Wellness Center: http://www.counseling.ufl.edu/cwc, and  392-1575; and the University Police Department: 392-1111 or 9-1-1 for emergencies.

Sexual Assault Recovery Services (SARS)

Student Health Care Center, 392-1161.

University Police Department at 392-1111 (or 9-1-1 for emergencies), or http://www.police.ufl.edu/.

Academic Resources

E-learning technical support, 352-392-4357 (select option 2) or e-mail to Learning-support@ufl.edu. https://lss.at.ufl.edu/help.shtml.

Career Resource Center, Reitz Union, 392-1601.  Career assistance and counseling. https://www.crc.ufl.edu/.

Library Support, http://cms.uflib.ufl.edu/ask. Various ways to receive assistance with respect to using the libraries or finding resources.

Teaching Center, Broward Hall, 392-2010 or 392-6420. General study skills and tutoring. https://teachingcenter.ufl.edu/.

Writing Studio, 302 Tigert Hall, 846-1138. Help brainstorming, formatting, and writing papers. https://writing.ufl.edu/writing-studio/.

Student Complaints Campus: https://www.dso.ufl.edu/documents/UF_Complaints_policy.pdf.

On-Line Students Complaints: http://www.distance.ufl.edu/student-complaint-process.