Modeling, Verification and Validation of Transportation Safety

Smart transportation solutions require computer control that supposedly achieves this smart functionality actually is reliably smart. For example, a "smart" vehicular safety controller that tries to prevent rear-ending the car ahead by changing lanes into an open spot in the middle lane would just cause a crash if all other cars also decided to avoid collisions by moving to the middle lane. In such situations, a car control strategy that looks smart locally turns out to be fatal globally. Thus, there is a need to find good ways of ensuring that bugs in smart car control solutions will never cause serious problems. For connected cars or infrastructure broadcasts, vehicle-to-vehicle (V2V) and vehicle-to-infrastructure (V2I) communication has an influence on the car. Phenomena of local information versus global impact also need to be taken into account. Validation for complex systems has primarily been limited to simulation, which can only cover a minuscule fraction of the relevant state space. For answering crucial safety and correctness questions about smart transportation systems more thoroughly, the project proposes to extend and develop verification techniques based on logic. The approach manages system complexity by successively reducing complex physical systems in a modular way to simpler elements. The approach is unique in that it provides proofs as evidence for correctness, useful for certification purposes.


    • English


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


    • Sponsor Organizations:

      Research and Innovative Technology Administration

      University Transportation Centers Program
      1200 New Jersey Avenue
      Washington, DC  United States  20590
    • Project Managers:

      Ehrlichman, Courtney

    • Performing Organizations:

      Technologies for Safe and Efficient Transportation University Transportation Center

      Carnegie Mellon University
      Pittsburgh, PA  United States  15213
    • Principal Investigators:

      Platzer, Andre

    • Start Date: 20120611
    • Expected Completion Date: 0
    • Actual Completion Date: 20131200
    • Source Data: RiP Project 31806

    Subject/Index Terms

    Filing Info

    • Accession Number: 01481200
    • Record Type: Research project
    • Source Agency: Technologies for Safe and Efficient Transportation University Transportation Center
    • Contract Numbers: DTRT12GUTC11
    • Files: UTC, RiP
    • Created Date: May 11 2013 12:54AM