Files in this item



application/pdfMCoreBudget_TechRep.pdf (532kB)
Corrected filePDF


Title:Schedulability Analysis for Certification-friendly Multicore Systems
Author(s):Kim, Jung-Eun; Bradford, Richard; Abdelzaher, Tarek F.; Sha, Lui
Subject(s):schedulability test, schedulability analysis, multicore, multi-core, certification, migration
Abstract:This paper presents a new schedulability test for safety-critical software undergoing a transition from single-core to multicore systems - a challenge faced by multiple industries today. Our migration model, consisting of a schedulability test and execution model, is distinguished by three aspects consistent with reducing transition cost. First, it assumes externally-driven scheduling parameters, such as periods and deadlines, remain fixed (and thus known), whereas exact computation times are not. Second, it adopts a globally synchronized conflict-free I/O model that leads to a decoupling between cores, simplifying the schedulability analysis. Third, it employs global priority assignment across all tasks on each core, irrespective of application, where budget constraints on each application ensure isolation. These properties enable us to obtain a utilization bound that places an allowable limit on total task execution times. Evaluation results demonstrate the advantages of our scheduling model over competing resource partitioning approaches, such as Periodic Server and TDMA.
Issue Date:2016-11
Publisher:Department of Computer Science at the University of Illinois at Urbana-Champaign
Genre:Technical Report
Date Available in IDEALS:2016-11-30

This item appears in the following Collection(s)

Item Statistics