US 12,367,093 B2
Vehicle software security using Gödel numbering
William R Mayhew, Ann Arbor, MI (US)
Assigned to FCA US LLC, Auburn Hills, MI (US)
Filed by FCA US LLC, Auburn Hills, MI (US)
Filed on Oct. 6, 2023, as Appl. No. 18/482,279.
Prior Publication US 2025/0117278 A1, Apr. 10, 2025
Int. Cl. G06F 11/07 (2006.01); B60W 10/20 (2006.01)
CPC G06F 11/0772 (2013.01) [B60W 10/20 (2013.01)] 18 Claims
OG exemplary drawing
 
1. A software security system for a vehicle, the software security system comprising:
a control system configured to control operation of the vehicle;
a vehicle sub-system configured to be electronically controlled by the control system via software executed by the control system, wherein the software defines a plurality of operations; and
wherein the control system is further configured to:
define a plurality of waypoints within the plurality of operations of the software;
apply Gödel numbering to the software by (i) assigning a unique integer to each of the plurality of waypoints and (ii) assigning a unique prime number to each sequential operation of the plurality of operations;
calculate a Gödel number for an executed sequence of the plurality of operations;
compare the calculated Gödel number to a set of acceptable Gödel numbers corresponding to a set of acceptable sequences for executing the plurality of operations; and
when the calculated Gödel number does not match any of the set of acceptable Gödel numbers, control the vehicle sub-system according to a remedial or corrective action.