Development and certification of mixed-criticality embedded systems based on probabilistic timing analysis 

Agirre Troncoso, Irune (Date of defense: 2018-07-02)

An increasing variety of emerging systems relentlessly replaces or augments the functionality of mechanical subsystems with embedded electronics. For quantity, complexity, and use, the safety of such subsystems is an ...