Schedulability Analysis for Certification-friendly Multicore Systems

Kim, Jung-Eun; Bradford, Richard; Abdelzaher, Tarek F.; Sha, Lui

Permalink

https://hdl.handle.net/2142/94736 Copy

Description

Title

Schedulability Analysis for Certification-friendly Multicore Systems

Author(s)

• Kim, Jung-Eun
• Bradford, Richard
• Abdelzaher, Tarek F.
• Sha, Lui

Issue Date

2016-11

Keyword(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.

Publisher

Department of Computer Science at the University of Illinois at Urbana-Champaign

Type of Resource

text

Language

en

Permalink

http://hdl.handle.net/2142/94736

Owning Collections