Modeling and Analyzing Real-Time Multiprocessor Systems

Wiggers, Maarten and Thiele, Lothar and Lee, Edward A. and Schlieker, Simon and Bekooij, Marco (2010) Modeling and Analyzing Real-Time Multiprocessor Systems. In: Eighth IEEE/ACM/IFIP International Conference on Hardware/software Codesign and System synthesis, CODES/ISSS 2010, 24-29 Oct 2010, Scottsdale, AZ, USA.

PDF
Restricted to UT campus only: Request a copy
337Kb

Abstract:	Researchers have proposed approaches to verify that real-time multiprocessor systems meet their timeliness constraints. These approaches make assumptions on the model of computation, the load placed on the multiprocessor system, and the faults that can arise. This heterogeneous set of assumptions make these approaches hard to compare. This tutorial will present an overview and positioning of four recently proposed approaches. We present for each approach, the application domain in which its assumptions are realistic and the dominant application requirements that have driven its development. Next to discussing timeliness guarantees, we give attention to the robustness aspects of each approach; e.g. against faults such as overload.
Item Type:	Conference or Workshop Item
Copyright:	© 2010 ACM
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:	Computer Architecture for Embedded Systems (CAES)
Link to this item:	http://purl.utwente.nl/publications/75537
Official URL:	http://dx.doi.org/10.1145/1878961.1879019
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page