Shared resource analysis for embedded multi-core systems
US11061745B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Nov 13, 2018 |
| Grant date | Jul 13, 2021 |
| Priority date | — |
| Expiry date | Jan 8, 2039 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F2209/508
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
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.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.