Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal

Research output: Research - peer-reviewArticle in proceeding

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.
Close

Details

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
DOI
StatePublished - 13 Jun 2014
Publication categoryResearch
Peer-reviewedYes
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
Nummer10
LocationJiangxi Normal University, Nanchang, China
LandChina
ByNanchang
Periode28/10/201330/10/2013
SeriesLecture Notes in Computer Science
ISSN0302-9743

Download statistics

No data available
ID: 209588957