Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal

Jalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim Guldstrand Larsen, Marius Mikučionis, Ulrik Nyman, Arne Skou

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

17 Citations (Scopus)
639 Downloads (Pure)

Abstract

This paper introduces a reconfigurable compositional scheduling framework, in which the hierarchical structure, the scheduling policies, the concrete task behavior and the shared resources can all be reconfigured. The behavior of each periodic preemptive task is given as a list of timed actions, which are some of the inputs for the parameterized timed automata that make up the framework. Components may have different scheduling policies, and each component is analyzed independently using Uppaal. We have applied our framework for the schedulability analysis of an avionics system.
Original languageEnglish
Title of host publicationProceedings of Formal Aspects of Component Software (FACS), 2013
EditorsJosé Luiz Fiadeiro, Zhiming Liu, Jinyun Xue
Number of pages18
Volume8348
PublisherSpringer Publishing Company
Publication date13 Jun 2014
Pages61-78
Article number6
ISBN (Print)978-3-319-07601-0
ISBN (Electronic)978-3-319-07602-7
DOIs
Publication statusPublished - 13 Jun 2014
EventThe 10th International Symposium on Formal Aspects of Component Software - Jiangxi Normal University, Nanchang, China, Nanchang, China
Duration: 28 Oct 201330 Oct 2013
Conference number: 10

Conference

ConferenceThe 10th International Symposium on Formal Aspects of Component Software
Number10
LocationJiangxi Normal University, Nanchang, China
Country/TerritoryChina
CityNanchang
Period28/10/201330/10/2013
SeriesLecture Notes in Computer Science
ISSN0302-9743

Fingerprint

Dive into the research topics of 'Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal'. Together they form a unique fingerprint.

Cite this