Hardware/software solutions to enable the use of high-performance processors in the most stringent safety-critical systems 

Alcaide Portet, Sergi (Date of defense: 2023-07-19)

(English) Future Safety-Critical Systems require a boost in guaranteed performance in order to satisfy the increasing performance demands of the state-of-the-art complex software features. Ar1 approach to achieve these ...