Verification of operational requirements for autonomous or semi-autonomous vehicles

A method of verifying and validating a plurality of operating requirements for an autonomous vehicle, the method comprising:

• receiving operational data that represents an operation of the autonomous vehicle and one or more operating conditions for the autonomous vehicle;
• executing, based on the operational data, a state machine comprising at least a first and second state that share one or more operating requirements of the autonomous vehicle that may be evaluated under a same operating condition of the one or more operating conditions, wherein state transitions between the first and second state are triggered based on changes in the operational data;
• determining, for one of the first and second state during execution of the state machine, whether the one or more operating requirements have been met;
• and
• updating, during execution of the state machine, the state machine based on the state transitions between the first and second state.

An autonomous vehicle, comprising:

• at least one sensor configured to generate operational data that represents an operation of the autonomous vehicle and one or more operating conditions for the autonomous vehicle;
• and
• at least one processor configured to:
• execute, based on the operational data, a state machine comprising at least a first and second state that share one or more operating requirements of the autonomous vehicle that may be evaluated under a same operating condition of the one or more operating conditions, wherein state transitions between the first and second state are triggered based on changes in the operational data;
• determine, for one of the first and second state during execution of the state machine, whether the one or more operating requirements have been met;
• and
• update, during execution of the state machine, the state machine based on the state transitions between the first and second state.