1 paper
Muhammad Ali Awan, Konstantinos Bletsas, Pedro F. Souto +2
The design of mixed-criticality systems often involvespainful tradeoffs between safety guarantees and performance.However, the use of more detailed architectural modelsin the desig…