| 12377867 |
Independent safety monitoring of an automated driving system |
Umberto Santoni, John C. Weast |
2025-08-05 |
| 12344269 |
Computing system for mitigating execution drift |
Ramkumar Jayaraman |
2025-07-01 |
| 11841776 |
Single chip multi-die architecture having safety-compliant cross-monitoring capability |
Nabajit Deka, Asad Azam, Roger May, Prashanth Gadila |
2023-12-12 |
| 11520297 |
Enhancing diagnostic capabilities of computing systems by combining variable patrolling API and comparison mechanism of variables |
Rajesh Banginwar, Ramkumar Jayaraman, Nabajit Deka |
2022-12-06 |
| 11144027 |
Functional safety controls based on soft error information |
Giuseppe Capodanno, Jyotika A. Athavale |
2021-10-12 |
| 10955805 |
SoC architecture to integrate with one out of two diagnostics platforms |
Nabajit Deka, Asad Azam, Rajesh Banginwar, Wenjun Zhang |
2021-03-23 |
| 10946866 |
Core tightly coupled lockstep for high functional safety |
Bahaa Fahim, Dean Mulla, Robert Gottlieb |
2021-03-16 |
| 10929253 |
Systems and methods for safety analysis including consideration of dependent failures |
Riccardo Cagnacci |
2021-02-23 |
| 10846439 |
Functional safety over trace-and-debug |
Riccardo Locatelli, Peter Lachner, Michael Paulitsch, Kevin Safford |
2020-11-24 |
| 10761916 |
Method for executing programs in an electronic system for applications with functional safety comprising a plurality of processors, corresponding system and computer program product |
— |
2020-09-01 |
| 10248492 |
Method of executing programs in an electronic system for applications with functional safety comprising a plurality of processors, corresponding system and computer program product |
Michele Borgatti, Stefano Lorenzini |
2019-04-02 |
| 9898379 |
Method for measuring the effect of microscopic hardware faults in high-complexity applications implemented in a hardware electronic system, and corresponding system and computer program product |
— |
2018-02-20 |
| 7937679 |
Method for performing failure mode and effects analysis of an integrated circuit and computer program product therefor |
— |
2011-05-03 |
| 7472051 |
Dependable microcontroller, method for designing a dependable microcontroller and computer program product therefor |
Silvano Motto, Monia Chiavacci |
2008-12-30 |