By Topic

Schedulability Analysis for MultiCore Global Scheduling with Model Checking

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

4 Author(s)
Wei Sheng ; Dept. of Comput. Sci. & Technol., Univ. of Sci. & Technol. of China, Hefei, China ; Yanyan Gao ; Li Xi ; Xuehai Zhou

With the development of multicore systems, multicore real time scheduling is becoming a hot topic in time-critical systems. Cache warm-up overheads introduced by task migration between two cores can result in missed deadlines for tight realtime schedules. In this paper, we present an exact method for multicore schedule ability analysis under cache warm-up overheads. The result of the analysis is used to determine whether it's necessary to change the scheduling algorithm or the hardware architecture. Correct and schedulable properties of the model are formalized and verified. It is shown that our approach is less pessimistic than bound tests.

Published in:

2010 11th International Workshop on Microprocessor Test and Verification

Date of Conference:

13-15 Dec. 2010