Toyota Research Institute, Inc.

Richard Poyner

Nikos Arechiga Gonzalez

Evangelos Kokkevis

Daniel Stonier

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.

Growing community of inventors

Acton, MA, United States of America

Richard Poyner