Modeling, Verification and Validation of Transportation Safety

Smart transportation systems hold tremendous potential to make future transportation both safer and more efficient. As a consequence, this project increasingly put control decisions into the hands of computers. Widely deployed examples include adaptive cruise control, emergency braking systems, or autonomous rail transportation. Even fully autonomous cars are maturing (they already drive in California and Nevada) and will ultimately become consumer articles within a few years. How can we make sure that they do not make suboptimal or even unsafe decisions with potentially serious effects? For the good of consumers, but also to mitigate manufacturer liability and support authorities, tools are needed to ensure safety in all possible system states.

Language

  • English

Project

  • Status: Active
  • Funding: $25000.00
  • Contract Numbers:

    DTRT12GUTG11

  • Sponsor Organizations:

    Research and Innovative Technology Administration

    University Transportation Centers Program
    1200 New Jersey Avenue
    Washington, DC  United States  20590

    Carnegie Mellon University

    Pittsburgh, PA  United States 

    Technologies for Safe and Efficient Transportation University Transportation Center

    Carnegie Mellon University
    Pittsburgh, PA  United States  15213
  • Project Managers:

    Ehrlichman, Courtney

  • Principal Investigators:

    Platzer, Andre

  • Start Date: 20140131
  • Expected Completion Date: 0
  • Actual Completion Date: 20141231
  • Source Data: RiP Project 36215

Subject/Index Terms

Filing Info

  • Accession Number: 01517365
  • Record Type: Research project
  • Source Agency: Technologies for Safe and Efficient Transportation University Transportation Center
  • Contract Numbers: DTRT12GUTG11
  • Files: UTC, RiP
  • Created Date: Mar 7 2014 1:00AM