Modeling and analyzing real-time multiprocessor systems
Maarten H. Wiggers, Lothar Thiele, Edward A. Lee, Simon Schliecker, Marco J.G. Bekooij · 2010
Approaches have been developed to verify that real-time multi-processor systems meet their timeliness constraints. Such approaches make assumptions on the model of computation, the load placed on the multi-processor system, and the faults that can arise. This heterogeneous set of assumptions make these approaches hard to compare.