Withdraw
Loading…
Schedulability Analysis for Certification-friendly Multicore Systems
Kim, Jung-Eun; Bradford, Richard; Abdelzaher, Tarek F.; Sha, Lui
Loading…
Permalink
https://hdl.handle.net/2142/94736
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
Manage Files
Loading…
Edit Collection Membership
Loading…
Edit Metadata
Loading…
Edit Properties
Loading…
Embargoes
Loading…