1. A method performed on an autonomous vehicle designed to operate in a plurality of environments, the method comprising: (a) validating, via one or more systems onboard the autonomous vehicle, capabilities of the autonomous vehicle designed to operate in the plurality of environments with respect to a task to be performed in a current environment, the validation of capabilities including: providing a first model, the first model corresponding to the task to be performed and the current environment; providing a further model, the further model corresponding to designed features of the autonomous vehicle; providing a plurality of mappings from one model to another model; determining whether there exists a transformation trace either (i) from the first model to the further model, or (ii) from the further model to the first model, wherein each transformation trace comprises one or more of the specified mappings; and evaluating the capabilities of the autonomous vehicle with respect to the task to be performed in the current environment, the evaluation outcome being dependent upon existence of the transformation trace; (b) validating the first and further models for the task to be performed in the current environment based on the existence of the transformation trace between the first and further models; (c) inputting data corresponding to a result of step (a) and (b) into other systems of the autonomous vehicle; and (d) performing a specified action of the autonomous vehicle, when the validated transformation trace exists and the capability of the autonomous vehicle with respect to the task to be performed in the current environment is verified.