The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.

The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.

Date of Patent:
Feb. 14, 2023

Filed:

Sep. 14, 2020
Applicant:

Toyota Research Institute, Inc., Los Altos, CA (US);

Inventors:

Nikos Arechiga Gonzalez, Los Altos, CA (US);

Evangelos Kokkevis, Mountain View, CA (US);

Richard Poyner, Acton, MA (US);

Daniel Stonier, Lexington, MA (US);

Assignee:

TOYOTA RESEARCH INSTITUTE, INC., Los Altos, CA (US);

Attorneys:
Primary Examiner:
Int. Cl.
CPC ...
G07C 5/08 (2006.01); G06F 30/20 (2020.01);
U.S. Cl.
CPC ...
G07C 5/0808 (2013.01); G06F 30/20 (2020.01);
Abstract

Systems and methods are provided for requirements engineering, and may include: receiving as input, time series data from at least one of a simulation of a vehicle run on a simulation system, or from the vehicle in operation; a requirements monitoring system checking to determine whether a plurality of requirements for operation of the vehicle are met, wherein the requirements are expressed in signal temporal logic form and a requirement includes at least an associated minimal sampling rate and a filtering policy applicable to the requirement; determining a quantitative conformance for each of selected requirements of the plurality of requirements; and add requirements to a verified requirements set based on the qualitative conformance of the requirements.


Find Patent Forward Citations

Loading…