Automatic Co-Synthesis of Hardware and Software Safety Monitors for Embedded Systems

B Rezvani - 2024 - vtechworks.lib.vt.edu
Embedded systems have become pervasive and increasingly complex, especially in
modern applications such as self-driving vehicles, where safety requires both accurate …