Massachusetts Institute of Technology

Toyota Research Institute, Inc.

Daniel N Jackson

Nikos Arechiga Gonzalez

Jonathan Decastro

Soon Ho Kong

Dimitrios Koutentakis

Mike Meichang Wang

Feng Ping Angela Leong

Xin Zhang

A method for certified control of a self-driving ego vehicle is described. The method includes analyzing a safety situation of the self-driving ego vehicle to determine a proposed vehicle control action using a main controller of the self-driving ego vehicle. The method also includes presenting, by the main controller, the proposed vehicle control action to an interlock controller, including a certificate of the proposed vehicle control action. The method further includes checking a safety certification evidence from the certificate by the interlock controller using a predefined safety argument to verify the safety certification evidence of the certificate. The method also includes directing, by a low-level controller, the self-driving ego vehicle to perform a certified vehicle control action.

Certified control for self-driving cars

Bugs are identified within a subject program by embellishing the program with specifications that specify relationships between abstract components of objects of the program. The dependency specified by the specifications are compared with the dependencies provided within the code of the subject program to identify any missing dependencies between abstract components in the code. Any missing dependencies in the code point to errors within the subject program.

Tool for error detection in software using aspect specification

Growing community of inventors

Cambridge, MA, United States of America

Daniel N Jackson