公开(公告)号：US10198332B2

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

申请号：US15288434

申请日：2016-10-07

Applicant: Infineon Technologies AG

Inventor： Varun Kumar ,  Sandeep Naduvalamane ,  Sumit Khandelwal ,  Puneetha Mukherjee ,  Juergen Schaefer

IPC: G06F11/00 ,  G06F11/22 ,  G06F9/4401 ,  G06F9/445 ,  G06F11/27 ,  G06F15/78

Abstract: Methods and systems for checking the integrity of a system on chip (SOC) are described. The SOC can include a controller and one or more registers. Register value(s) from the register(s) can be obtained at a first time to generate a first set of register values. Process(es) of the SOC are executed at a second time after the first time. Register values can again be obtained from the registers at a third time after the second time to generate a second set of register values. The first set of register values can be compared with the second set of register values. Based on the comparison, an operating mode of the SOC can be adjusted. The SOC integrity verification system and method can be used in safety and/or monitoring application(s), such as ASIL applications. For example, the system and method can be used in partial or fully autonomous (self-driving) automotive systems.

公开(公告)号：US11061745B2

公开(公告)日：2021-07-13

申请号：US16189164

申请日：2018-11-13

Applicant: Infineon Technologies AG

Inventor： Sumit Khandelwal ,  Sandeep Chandrashekar ,  Akhila Shamsunder ,  Swasati Baishya

IPC: G06F9/54 ,  G06F9/46 ,  G06F11/34 ,  G06F9/38 ,  G06F9/50 ,  G06F9/48

Abstract: Various embodiments discussed herein systems and methods that facilitate analysis of shared resources for a multi-core system. One example embodiment comprise a method involving identifying, via static data based on analysis of the multi-core system, shared resource(s) of the multi-core system that are subject to potential resource violation(s), wherein the static data identifies each read and write access of those shared resource(s) in a software of the multi-core system; receiving hardware trace data for the multi-core system comprising each read and write access of those shared resource(s) in the software as executed by the multi-core system; and making a determination, for each shared resource of the one or more shared resources, based on a comparison between the static data and the hardware trace data, whether at least one of the one or more associated potential resource violations of that shared resource is an associated resource violation of that shared resource.

公开(公告)号：US20180101458A1

公开(公告)日：2018-04-12

申请号：US15288434

申请日：2016-10-07

Applicant: Infineon Technologies AG

Inventor： Varun Kumar ,  Sandeep Naduvalamane ,  Sumit Khandelwal ,  Puneetha Mukherjee ,  Juergen Schaefer

IPC: G06F11/22 ,  G06F9/445 ,  G06F9/44 ,  G06F11/27 ,  G06F15/78

CPC classification number: G06F11/2289 ,  G06F9/4411 ,  G06F9/44505 ,  G06F11/2236 ,  G06F11/2284 ,  G06F11/27 ,  G06F15/781

Abstract: Methods and systems for checking the integrity of a system on chip (SOC) are described. The SOC can include a controller and one or more registers. Register value(s) from the register(s) can be obtained at a first time to generate a first set of register values. Process(es) of the SOC are executed at a second time after the first time. Register values can again be obtained from the registers at a third time after the second time to generate a second set of register values. The first set of register values can be compared with the second set of register values. Based on the comparison, an operating mode of the SOC can be adjusted. The SOC integrity verification system and method can be used in safety and/or monitoring application(s), such as ASIL applications. For example, the system and method can be used in partial or fully autonomous (self-driving) automotive systems.

公开(公告)号：US20200151034A1

公开(公告)日：2020-05-14

申请号：US16189164

申请日：2018-11-13

Applicant: Infineon Technologies AG

Inventor： Sumit Khandelwal ,  Sandeep Chandrashekar ,  Akhila Shamsunder ,  Swasati Baishya

IPC: G06F9/54 ,  G06F9/46 ,  G06F11/34 ,  G06F9/50 ,  G06F9/48 ,  G06F9/38

Abstract: Various embodiments discussed herein systems and methods that facilitate analysis of shared resources for a multi-core system. One example embodiment comprise a method involving identifying, via static data based on analysis of the multi-core system, shared resource(s) of the multi-core system that are subject to potential resource violation(s), wherein the static data identifies each read and write access of those shared resource(s) in a software of the multi-core system; receiving hardware trace data for the multi-core system comprising each read and write access of those shared resource(s) in the software as executed by the multi-core system; and making a determination, for each shared resource of the one or more shared resources, based on a comparison between the static data and the hardware trace data, whether at least one of the one or more associated potential resource violations of that shared resource is an associated resource violation of that shared resource.