Identifying association of safety related ports to their safety mechanisms through structural analysis
US12423491B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | May 23, 2022 |
| Grant date | Sep 23, 2025 |
| Priority date | — |
| Expiry date | Apr 30, 2044 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F30/33
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A method of verifying safety in a circuit design, includes, in part, receiving data representative of the circuit design, identifying a first safety mechanism within the circuit design where the safety mechanism is represented by a first module and has an output port defining a first diagnostic point, identifying a multitude of ports of a second module within the circuit design, determining whether at least one port of the second module is associated with a safety concern, performing a backward path tracing from the first diagnostic point to determine if the port falls within a cone of influence of the first safety mechanism, and establishing that a potential fault appearing at the port is detectable at the first diagnostic point if the port is determined to fall within the cone of influence of the first safety mechanism.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.