Model-based certification of automated vehicles

Automated vehicles (AVs) have long been predicted to disrupt the transportation industry any moment. Although numerous companies have shared that optimism and supported development, it now seems that the challenges of building automated vehicles are becoming apparent and are pushing the vision far into the future. While manufacturers are making technological progress there are concerns about the safety of AVs. For AVs new types of accidents such as accidents due to unsafe software behavior and interactions between vehicle hardware, software, and humans must be considered in addition to what has been done for the safety of conventional vehicles. Many stakeholders in the AV industry are looking for ways to ensure and demonstrate the safety of AV designs. For one, regulators are responsible for assessing safety and granting certification based on whether a minimum level of confidence in safety was achieved.

Name thesis:degree_name

Master

Department dc:contributor.department

Massachusetts Institute of Technology. Department of Aeronautics and Astronautics

Grantor dc:publisher

Massachusetts Institute of Technology

Year dc:date.issued

2020

Author dc:creator

• Schmid, Michael Sebastian.

Advisor dc:contributor.advisor

• Nancy Leveson.

• Aeronautics and Astronautics.

Statement dc:rights

• MIT theses may be protected by copyright. Please reuse MIT thesis content according to the MIT Libraries Permissions Policy, which is available through the URL provided.

Licence dc:rights.uri

• http://dspace.mit.edu/handle/1721.1/7582

Language dc:language.iso

eng

Handle dc:identifier.uri

https://hdl.handle.net/1721.1/127083

OAI identifier oai:identifier

oai:dspace.mit.edu:1721.1/127083