Open AccessBook Chapter10.1007/978-3-319-07602-7_6

Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal

- 27 Oct 2013

- pp 61-78

TL;DR: 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.

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.

AI Agents for this Paper

Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps

Most frequently asked questions

1. What are the contributions mentioned in the paper "Hierarchical scheduling framework based on compositional analysis using uppaal" ?

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.

2. What future works have the authors mentioned in the paper "Hierarchical scheduling framework based on compositional analysis using uppaal" ?

As future work, the authors plan to study how to estimate the optimal timing requirements of suppliers in an automatic way.. The authors also plan to consider multi-core platforms as well as energy efficiency.

Fig. 8. Unschedulable tasks: task1 misses its deadline at time 1,250.

Fig. 9. Probability distribution of the WCET of tasks for the supplier (100, 33)

Table 2. Probability of error estimation with 1% level of significance.

Fig. 7. Resource and scheduling algorithm templates

Citations

•Book

Organic Computing – Technical Systems for Survival in the Real World

Sven Tomforde, +1 more

- 28 Dec 2017

TL;DR: System Boundary Systems are defined by their system boundary, which makes a distinction between inside and outside possible (i.e. between self and non-self, see Sect. 4.1).

...read moreread less

140

•Journal Article•10.1016/J.SCICO.2016.05.008

Statistical and exact schedulability analysis of hierarchical scheduling systems

Abdeldjalil Boudjadar, +6 more

- 01 Oct 2016

- Science of Computer Programming

TL;DR: A two-stage development methodology relying on the adjustment of timing attributes in the detailed models during the design stage, and a generic resource model for multi-core hierarchical scheduling systems, which can be instantiated for classical resource models.

...read moreread less

•Proceedings Article

Compositional Schedulability Analysis of An Avionics System Using UPPAAL

Abdeldjalil Boudjadar, +3 more

- 01 Jan 2014

TL;DR: A compositional framework is reconfigurable in which the hierarchical structure, the scheduling policies, the concrete task behavior and the shared resources can all be reconfigured and used to analyze the schedulability of a real-time avionics system.

...read moreread less

•Proceedings Article•10.1109/TASE.2014.27

Degree of Schedulability of Mixed-Criticality Real-Time Systems with Probabilistic Sporadic Tasks

A. Jalil Boudjadar, +6 more

- 01 Sep 2014

TL;DR: This work determines the degree of schedulability of a single scheduling component which can contain both periodic and sporadic tasks using statistical model checking in the form of UPPAAL SMC.

...read moreread less

•Journal Article•10.1016/J.SCICO.2015.10.003

A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling

Abdeldjalil Boudjadar, +6 more

- 01 Dec 2015

- Science of Computer Programming

TL;DR: A compositional framework for the modeling and analysis of hierarchical scheduling systems that considers both schedulability and energy consumption of individual components, while analyzing a single core setting with a voltage frequency scaling CPU.

...read moreread less

...

Expand

References

Proceedings Article•10.1109/REAL.1997.641292

Scheduling real-time applications in an open environment

Z. Deng, +1 more

- 03 Dec 1997

TL;DR: The extended scheme removes the following two restrictions of the scheme: real-time applications that are scheduled preemptively must consist solely of periodic tasks; and applications must not share global resources (i.e., resources used by more than one application).

...read moreread less

496

Book Chapter•10.1007/978-3-642-24310-3_7

Statistical model checking for networks of priced timed automata

Alexandre David, +6 more

- 21 Sep 2011

TL;DR: In this paper, the authors propose a natural stochastic semantics of NPTA based on races between components, which provides the basis for satisfaction of Probabilistic Weighted CTL properties (PWCTL).

...read moreread less

154

Coloured Petri Net Modelling of a Generic Avionics Mission Computer

R B Dodd

- 01 Apr 2006

TL;DR: A Coloured Petri Net has been developed to model real-time task scheduling in avionics mission computers and results are presented for a range of task scheduling protocols.

...read moreread less

•Posted Content

Stochastic Semantics and Statistical Model Checking for Networks of Priced Timed Automata

Alexandre David, +6 more

- 20 Jun 2011

- arXiv: Software Engineering

TL;DR: The semantics provides the basis for satisfaction of probabilistic Weighted CTL properties (PWCTL), conservatively extending the classical satisfaction of timed automata with respect to TCTL, and offers an extension that allows to efficiently compare performance properties of NPTAs in a parametric setting.

...read moreread less

...

Expand

Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal

Chat with Paper

AI Agents for this Paper

Most frequently asked questions

1. What are the contributions mentioned in the paper "Hierarchical scheduling framework based on compositional analysis using uppaal" ?

2. What future works have the authors mentioned in the paper "Hierarchical scheduling framework based on compositional analysis using uppaal" ?

Figures

Citations

Organic Computing – Technical Systems for Survival in the Real World

Statistical and exact schedulability analysis of hierarchical scheduling systems

Compositional Schedulability Analysis of An Avionics System Using UPPAAL

Degree of Schedulability of Mixed-Criticality Real-Time Systems with Probabilistic Sporadic Tasks

A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling

References

Scheduling real-time applications in an open environment

Statistical model checking for networks of priced timed automata

Coloured Petri Net Modelling of a Generic Avionics Mission Computer

Leveraging Applications of Formal Methods, Verification and Validation

Stochastic Semantics and Statistical Model Checking for Networks of Priced Timed Automata

Related Papers (5)

Scheduling real-time applications in an open environment

Hierarchical Scheduling Framework for Virtual Clustering of Multiprocessors

Statistical model checking for networks of priced timed automata

Improving resource utilization for compositional scheduling using DPRM interfaces

Times: a Tool for Schedulability Analysis and Code Generation of Real-Time Systems