Abstract: Provided are methods for localization functional safety, which can include systems, methods, and computer program products are also provided. In examples, a method includes applying a transform to a source point cloud and calculating a second metric based on the application of the transform to the source point cloud and a map at a higher ASIL level. A first metric is determined based on a localization function that executes at a lower ASIL level. A deviation between a first metric and the second metric, is determined wherein the vehicle localization is validated when the deviation is less than a predetermined threshold.

Abstract: Among other things, techniques are described for randomized real time integrity check of a GPU accelerated neural network. A method includes generating an input data stream, wherein the input data stream comprises sensor data associated with an autonomous vehicle. The method includes inserting input test data into the input data stream during operation of the autonomous vehicle, wherein the input data stream is input to a neural network accelerated by a graphics processing unit. An output data stream from the neural network with a predetermined output corresponding to the input data stream is compared, and an integrity of the neural network accelerated by a graphics processing unit is verified.

Abstract: Among other things, techniques are described for checking the safety of proposed trajectories of a vehicle. In one aspect, at least one processor of a vehicle identifies a proposed trajectory of the vehicle. The processor determines a predicted trajectory of an object external to the vehicle. The processor obtains a velocity of the vehicle and predicts, based on the proposed trajectory and velocity of the vehicle and the predicted trajectory of the object, a likelihood of collision between the vehicle and the object. In response to predicting the likelihood of collision, the processor determines a change to a parameter of the proposed trajectory of the vehicle, and adjusts the proposed trajectory based on the change to the parameter.

Abstract: A frame assembly includes a shoe frame and a roller frame. The shoe frame includes an inflatable bladder thereon and the roller frame includes at least one roller that is rotatably mounted thereto. The method of the present invention comprises placing the shoe within a pipe and inflating the bladder so as to secure the shoe frame within the pipe. A flexible cable is then trained around the roller and into the flexible pipe.

Abstract: A lateral packer and felt combination are disclosed for use in efficiently inhibiting infiltration into or out of a pipeline. The lateral packer is inflated and expands radially to secure the felt at the source of infiltration. Once the felt is secured, the lateral packer is removed and the felt left in place as a barrier to infiltration.