公开(公告)号：US20230087569A1

公开(公告)日：2023-03-23

申请号：US17612670

申请日：2021-03-11

Applicant: Mobileye Vision Technologies Ltd.

Inventor： Elya Gurvitz ,  Amit Kimelman ,  Simone Fabris

IPC: G06F11/36

Abstract: Techniques are disclosed for the generation of automatic software tests for complex software systems, such as operating systems (OS) and/or systems that may be implemented as part of an autonomous vehicle (AV) or advanced driving assistance system (ADAS). The technique generates tests using a tool, such as a stressor, which stresses a particular system under test in multiple ways. For every run of the stressor, the functions of the system that are invoked during the test are captured. A check is then performed to determine if this set of functions corresponds to one of the test scenarios for which testing is desired. If the set of functions that were invoked matches the set of functions that defines the test, then the configuration of the stressor is stored, and this stressor configuration is considered as the test for a particular scenario.

公开(公告)号：US20200298870A1

公开(公告)日：2020-09-24

申请号：US16823104

申请日：2020-03-18

Applicant: Mobileye Vision Technologies Ltd.

Inventor： Refael Davidovich ,  Elya Gurvitz ,  Simone Fabris

IPC: B60W50/02 ,  G06F9/455 ,  G06F21/57

Abstract: A method of implementing safety mechanisms in a safety-critical system, the method comprising: receiving, at a safety mechanism configured to provide a first level of safety, a message or command from a calling process operating at second level of safety, the first level of safety having more restrictive requirements than the second level of safety; and initiating by the safety mechanism, a resultant process based on the message or command, the resultant process configured to operate at the first level of safety.

公开(公告)号：US11654926B2

公开(公告)日：2023-05-23

申请号：US16823104

申请日：2020-03-18

Applicant: Mobileye Vision Technologies Ltd.

Inventor： Refael Davidovich ,  Elya Gurvitz ,  Simone Fabris

IPC: H04L12/40 ,  H04L12/46 ,  G06F9/445 ,  G06F9/455 ,  B60W50/02

CPC classification number: B60W50/0205 ,  G06F9/45558 ,  B60W2050/021 ,  G06F2009/45587 ,  G06F2009/45591

Abstract: A method of implementing safety mechanisms in a safety-critical system, the method comprising: receiving, at a safety mechanism configured to provide a first level of safety, a message or command from a calling process operating at second level of safety, the first level of safety having more restrictive requirements than the second level of safety; and initiating by the safety mechanism, a resultant process based on the message or command, the resultant process configured to operate at the first level of safety.