公开(公告)号：US10303460B2

公开(公告)日：2019-05-28

申请号：US16044454

申请日：2018-07-24

Applicant: Aurora Labs Ltd.

Inventor： Zohar Fox

IPC: G06F9/445 ,  G06F8/654 ,  G06F8/656 ,  G06F16/188 ,  G06F9/4401 ,  G06F12/06 ,  G06F8/65 ,  G06F8/71 ,  G06F21/57 ,  G06F8/658 ,  B60W50/04 ,  G06F11/07 ,  G06F11/36 ,  G06F8/60 ,  B60W50/02 ,  G06F11/16 ,  G06N20/00

Abstract: Disclosed embodiments relate to automatically providing updates to at least one vehicle. Operations may include receiving, at a server remote from the at least one vehicle, Electronic Control Unit (ECU) activity data from the at least one vehicle, the ECU activity data corresponding to actual operation of the ECU in the at least one vehicle; determining, at the server and based on the ECU activity data, a software vulnerability affecting the at least one vehicle, the software vulnerability being determined based on a deviation between the received ECU activity data and expected ECU activity data; identifying, at the server, an ECU software update based on the determined software vulnerability; and sending, from the server, a delta file configured to update software on the ECU with a software update corresponding to the identified ECU software update.

公开(公告)号：US20190034193A1

公开(公告)日：2019-01-31

申请号：US16044002

申请日：2018-07-24

Applicant: Aurora Labs Ltd.

Inventor： Zohar Fox

IPC: G06F8/658 ,  G06F8/71

CPC classification number: G06F11/079 ,  B60W50/02 ,  B60W50/0205 ,  B60W50/0225 ,  B60W50/04 ,  B60W50/045 ,  B60W2050/021 ,  G06F8/60 ,  G06F8/65 ,  G06F8/654 ,  G06F8/656 ,  G06F8/658 ,  G06F8/66 ,  G06F8/71 ,  G06F9/4401 ,  G06F9/445 ,  G06F9/44521 ,  G06F11/0721 ,  G06F11/0751 ,  G06F11/0793 ,  G06F11/1433 ,  G06F11/1629 ,  G06F11/3612 ,  G06F12/0284 ,  G06F12/0646 ,  G06F16/188 ,  G06F21/57 ,  G06F21/572 ,  G06F21/577 ,  G06F2212/1008 ,  G06F2212/1044 ,  G06F2212/1056 ,  G06F2221/033 ,  G06N20/00

Abstract: Disclosed embodiments relate to generating an update package for updating software on an Electronic Control Unit (ECU) in a vehicle. Operations may include accessing a plurality of attributes of a software update to be stored on the ECU in the vehicle; accessing a corresponding plurality of attributes of current software stored on the ECU in the vehicle; comparing the plurality of attributes with the corresponding plurality of attributes; generating a delta file representing differences between the plurality of attributes and the corresponding plurality of attributes determined in the comparison; and providing the delta file to the ECU, wherein the delta file is configured to be processed by startup code in the ECU that enables the delta file to execute in the ECU in the vehicle.

公开(公告)号：US20190034191A1

公开(公告)日：2019-01-31

申请号：US16044157

申请日：2018-07-24

Applicant: Aurora Labs Ltd.

Inventor： Zohar Fox

IPC: G06F8/654 ,  G06F9/4401 ,  G06F8/656 ,  G06F9/445 ,  G06F12/06 ,  G06F17/30

CPC classification number: G06F11/079 ,  B60W50/02 ,  B60W50/0205 ,  B60W50/0225 ,  B60W50/04 ,  B60W50/045 ,  B60W2050/021 ,  G06F8/60 ,  G06F8/65 ,  G06F8/654 ,  G06F8/656 ,  G06F8/658 ,  G06F8/66 ,  G06F8/71 ,  G06F9/4401 ,  G06F9/445 ,  G06F9/44521 ,  G06F11/0721 ,  G06F11/0751 ,  G06F11/0793 ,  G06F11/1433 ,  G06F11/1629 ,  G06F11/3612 ,  G06F12/0284 ,  G06F12/0646 ,  G06F16/188 ,  G06F21/57 ,  G06F21/572 ,  G06F21/577 ,  G06F2212/1008 ,  G06F2212/1044 ,  G06F2212/1056 ,  G06F2221/033 ,  G06N20/00

Abstract: Disclosed embodiments relate to perform operations for receiving and integrating a delta file in a vehicle. Operations may include receiving, at an Electronic Control Unit (ECU) in the vehicle, a delta file, the delta file comprising a plurality of deltas corresponding to a software update for software on the ECU and startup code for executing the delta file in the ECU; executing the delta file, based on the startup code, in the ECU; and updating memory addresses in the ECU to correspond to the plurality of deltas from the delta file.

公开(公告)号：US20250021346A1

公开(公告)日：2025-01-16

申请号：US18765465

申请日：2024-07-08

Applicant: Aurora Labs Ltd.

Inventor： Omer Goralnik

IPC: G06F9/445 ,  G06F8/41

Abstract: Disclosed herein are techniques for generating a linker script file. Techniques include accessing user definition code; accessing user configuration code; based on the user definition code and the user configuration code, identifying at least one linker script syntax; and generating a linker script file configured for generating executable code, the linker script file being based on the user definition code and the user configuration code.

公开(公告)号：US20240427993A1

公开(公告)日：2024-12-26

申请号：US18749483

申请日：2024-06-20

Applicant: Aurora Labs Ltd.

Inventor： Carmit Sahar ,  Daniel Yellin ,  Stojancho Ganchev ,  Zohar Fox

IPC: G06F40/284

Abstract: Disclosed herein are techniques for creating and using tokens representing portions of programming code. Techniques include identifying a body of programming code; associating a plurality of tokens with respective portions of the body of programming code to generate a token-based representation of the body of programming code, wherein the associating comprises determining at least one canonical representation of at least one of the respective portions of the body of programming code; providing the token-based representation of the body of programming code to an emulator, the emulator being configured to interpret token-based representations; and receiving, from the emulator, an emulation result.

公开(公告)号：US12118284B2

公开(公告)日：2024-10-15

申请号：US18327472

申请日：2023-06-01

Applicant: Aurora Labs Ltd.

Inventor： Zohar Fox ,  Carmit Sahar

IPC: G06F30/33 ,  G06F8/34 ,  G06F8/65 ,  G06F8/71 ,  G06F8/75 ,  G06F11/36 ,  G06F16/901 ,  G06F17/18 ,  G06F18/24 ,  G06F21/52 ,  G06F21/56 ,  G06F21/57 ,  G06F21/62 ,  G06N20/00 ,  G06F30/15 ,  G10H1/00

CPC classification number: G06F30/33 ,  G06F8/34 ,  G06F8/65 ,  G06F8/71 ,  G06F8/75 ,  G06F11/3604 ,  G06F11/3612 ,  G06F11/362 ,  G06F11/3692 ,  G06F16/9014 ,  G06F17/18 ,  G06F18/24 ,  G06F21/52 ,  G06F21/563 ,  G06F21/57 ,  G06F21/6218 ,  G06N20/00 ,  G06F30/15 ,  G10H1/0058

Abstract: Disclosed herein are techniques for analyzing control-flow integrity based on functional line-of-code behavior and relation models. Techniques include receiving data based on runtime operations of a controller; constructing a line-of-code behavior and relation model representing execution of functions on the controller based on the received data; constructing, based on the line-of-code behavioral and relation model, a dynamic control flow integrity model configured for the controller to enforce in real-time; and deploying the dynamic control flow integrity model to the controller.

公开(公告)号：US12050848B2

公开(公告)日：2024-07-30

申请号：US18321015

申请日：2023-05-22

Applicant: Aurora Labs Ltd.

Inventor： Zohar Fox ,  Carmit Sahar

IPC: G06F30/33 ,  G06F8/34 ,  G06F8/65 ,  G06F8/71 ,  G06F8/75 ,  G06F11/36 ,  G06F16/901 ,  G06F17/18 ,  G06F18/24 ,  G06F21/52 ,  G06F21/56 ,  G06F21/57 ,  G06F21/62 ,  G06F30/15 ,  G06N20/00 ,  G10H1/00

CPC classification number: G06F30/33 ,  G06F8/34 ,  G06F8/65 ,  G06F8/71 ,  G06F8/75 ,  G06F11/3604 ,  G06F11/3612 ,  G06F11/362 ,  G06F11/3692 ,  G06F16/9014 ,  G06F17/18 ,  G06F18/24 ,  G06F21/52 ,  G06F21/563 ,  G06F21/57 ,  G06F21/6218 ,  G06N20/00 ,  G06F30/15 ,  G10H1/0058

Abstract: Disclosed herein are techniques for visualizing and configuring controller function sequences. Techniques include identifying at least one executable code segment associated with a controller; analyzing the at least one executable code segment to determine at least one function and at least one functional relationship associated with the at least one code segment; constructing, a software functionality line-of-code behavior and relation model visually depicting the determined at least one function and at least one functional relationship; displaying the software functionality line-of-code behavior and relation model at a user interface; receiving a first input at the interface; in response to the received first input, animating the line-of-code behavior and relation model to visually depict execution of the at least one executable code segment on the controller; receiving a second input at the interface; and in response to the received second input, animating an update to the line-of-code behavior and relation model.

公开(公告)号：US12045551B2

公开(公告)日：2024-07-23

申请号：US18346949

申请日：2023-07-05

Applicant: Aurora Labs Ltd.

Inventor： Zohar Fox ,  Carmit Sahar

IPC: G06F8/71 ,  G06F8/34 ,  G06F8/65 ,  G06F8/75 ,  G06F11/36 ,  G06F16/901 ,  G06F17/18 ,  G06F18/24 ,  G06F21/52 ,  G06F21/56 ,  G06F21/57 ,  G06F21/62 ,  G06F30/33 ,  G06N20/00 ,  G06F30/15 ,  G10H1/00

CPC classification number: G06F30/33 ,  G06F8/34 ,  G06F8/65 ,  G06F8/71 ,  G06F8/75 ,  G06F11/3604 ,  G06F11/3612 ,  G06F11/362 ,  G06F11/3692 ,  G06F16/9014 ,  G06F17/18 ,  G06F18/24 ,  G06F21/52 ,  G06F21/563 ,  G06F21/57 ,  G06F21/6218 ,  G06N20/00 ,  G06F30/15 ,  G10H1/0058

Abstract: Disclosed herein are techniques for identifying software dependencies based on functional line-of-code behavior and relation models. Techniques include accessing a first line-of-code behavior and relation model representing execution of functions of a first portion of executable code, the first portion of executable code being associated with a first symbol; detecting a change to the first portion of executable code; constructing, based on the changed first portion of executable code, a second line-of-code behavior and relation model representing execution of functions of the changed first portion of executable code; determining, based on the constructed second model, a dependency between (i) the changed first portion of executable code or the first symbol and (ii) a second symbol; and generating, based on the determined difference, a report identifying the dependency.

公开(公告)号：US20240152354A1

公开(公告)日：2024-05-09

申请号：US18403006

申请日：2024-01-03

Applicant: Aurora Labs Ltd.

Inventor： Zohar Fox

IPC: G06F8/658 ,  B60W50/02 ,  B60W50/04 ,  G06F8/60 ,  G06F8/65 ,  G06F8/654 ,  G06F8/656 ,  G06F8/71 ,  G06F9/4401 ,  G06F9/445 ,  G06F11/07 ,  G06F11/14 ,  G06F11/16 ,  G06F11/36 ,  G06F12/02 ,  G06F12/06 ,  G06F16/188 ,  G06F21/57

CPC classification number: G06F8/658 ,  B60W50/02 ,  B60W50/0205 ,  B60W50/0225 ,  B60W50/04 ,  B60W50/045 ,  G06F8/60 ,  G06F8/65 ,  G06F8/654 ,  G06F8/656 ,  G06F8/71 ,  G06F9/4401 ,  G06F9/445 ,  G06F9/44521 ,  G06F11/0721 ,  G06F11/0751 ,  G06F11/079 ,  G06F11/0793 ,  G06F11/1433 ,  G06F11/1629 ,  G06F11/3612 ,  G06F12/0284 ,  G06F12/0646 ,  G06F16/188 ,  G06F21/57 ,  G06F21/572 ,  G06F21/577 ,  G06F2212/1008 ,  G06F2212/1044 ,  G06F2212/1056 ,  G06N20/00

Abstract: Disclosed embodiments relate to automatically providing updates to at least one vehicle. Operations may include receiving, at a server remote from the at least one vehicle, Electronic Control Unit (ECU) activity data from the at least one vehicle, the ECU activity data corresponding to actual operation of the ECU in the at least one vehicle; determining, at the server and based on the ECU activity data, a software vulnerability affecting the at least one vehicle, the software vulnerability being determined based on a deviation between the received ECU activity data and expected ECU activity data; identifying, at the server, an ECU software update based on the determined software vulnerability; and sending, from the server, a delta file configured to update software on the ECU with a software update corresponding to the identified ECU software update.

公开(公告)号：US20240070359A1

公开(公告)日：2024-02-29

申请号：US18493100

申请日：2023-10-24

Applicant: Aurora Labs Ltd.

Inventor： Zohar Fox ,  Carmit Sahar

IPC: G06F30/33 ,  G06F8/34 ,  G06F8/65 ,  G06F8/71 ,  G06F8/75 ,  G06F11/36 ,  G06F16/901 ,  G06F17/18 ,  G06F18/24 ,  G06F21/52 ,  G06F21/56 ,  G06F21/57 ,  G06F21/62 ,  G06N20/00

CPC classification number: G06F30/33 ,  G06F8/34 ,  G06F8/65 ,  G06F8/71 ,  G06F8/75 ,  G06F11/3604 ,  G06F11/3612 ,  G06F11/362 ,  G06F11/3692 ,  G06F16/9014 ,  G06F17/18 ,  G06F18/24 ,  G06F21/52 ,  G06F21/563 ,  G06F21/57 ,  G06F21/6218 ,  G06N20/00 ,  G06F30/15

Abstract: Disclosed herein are techniques for identifying software interdependencies based on functional line-of-code behavior and relation models. Techniques include identifying a first portion of executable code associated with a first controller; accessing a functional line-of-code behavior and relation model representing functionality of the first portion of executable code and a second portion of executable code; determining, based on the functional line-of-code behavior and relation model, that the second portion of executable code is interdependent with the first portion of executable code; and generating, based on the determined interdependency, a report identifying the interdependent first portion of executable code and second portion of executable code.