Cheddar about the usability of the real time scheduling theory
This presentation is the property of its rightful owner.
Sponsored Links
1 / 10

Cheddar : about the usability of the real-time scheduling theory PowerPoint PPT Presentation


  • 110 Views
  • Uploaded on
  • Presentation posted in: General

Cheddar : about the usability of the real-time scheduling theory. Ellidiss Technologies, France University of Brest/UBO, Lab-STICC/UMR 6285, France. Talk overview. Cheddar project : context and motivations Research Roadmap. About scheduling analysis and its use .

Download Presentation

Cheddar : about the usability of the real-time scheduling theory

An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -

Presentation Transcript


Cheddar about the usability of the real time scheduling theory

Cheddar : about the usability of the real-time scheduling theory

Ellidiss Technologies, France

University of Brest/UBO, Lab-STICC/UMR 6285, France


Talk overview

Talk overview

  • Cheddar project : context and motivations

  • Research Roadmap


About scheduling analysis and its use

About scheduling analysis and its use

  • Real-time scheduling theory:

    • Simplified models of functions : e.g. periodic task: processor demand + deadline.

    • Analysis: either with feasibility tests or simulations.

  • Scheduling

    Simulation:

  • Feasibility tests :

    => architectures must meet assumptions of the feasibility test.


Does people really use real time scheduling theory

Does people really use real-time scheduling theory ?

  • Real-time scheduling theory, verification with analytical methods and/or simulations:

    • Most important theoretical results proposed between 1974 and 1994 (simple uniprocessor architectures).

    • Technologies are compliant with (POSIX 1003.1b operating systems, Ada/Ravenscar profile, …).

    • Strong demand from engineers.

    • Not used as much we can expect 


Some possible explanations

Some possible explanations

  • This theory can not be applied on some architecture types (e.g. multiprocessor/distributed/hierarchical systems).

  • Require advanced skills to be used:

    • Numerous theoretical results: how to choose the right one ?

    • Numerous assumptions for each result.

    • How to abstract/model a system to access schedulability ? (e.g. dependency)

  • Engineers must be helped to use tools:

    • How and when performing this analysis ?

    • How to write models to be analyzed ? Which design languages ?

    • How to safely use scheduling tools ?

  • ...


Talk overview1

Talk overview

  • Cheddar project : context and motivations

  • Research Roadmap


Cheddar project context and motivations

Cheddar project : context and motivations

  • Cheddar project : expects to increase the usability of the real-time scheduling theory.

    • Started in 2002 by Univ. of Brest, partnership with Ellidiss Tech. (provide open source and industrial support) since 2008.

    • Current project members (U. Brest & Ellidiss Tech.) : A. Plantec, S. Rubini, V. Gaudel, P. Dissaux, J. Legrand, J. Boukhobza, L. Lemarchand, C Fotsing, S. Li, I. Armah-mensah, N. Tran Hai and F. Singhoff.

    • Support :Ellidiss Tech., ConseilRégional de Bretagne, BMO, EGIDE/Campus France, Thalèscommunication.

    • Other contributors/partners:Télécom-Paris-Tech, ISAE, Univ. Lisboa


Cheddar 3 0 new features

Cheddar 3.0 new features

  • Distributedwiththe nextAADLInspectorreleases:

    • Extended Cheddar ADL for multiprocessor and hierarchical architectures, new generated XML printer/parser (A. Plantec, C. Fotsing, F. Singhoff)

    • Design pattern uniprocessoranalysistool (PhdGaudel, A. Plantec, P. Dissaux, F. Singhoff)

    • Global multiprocessorscheduling : global RM/DM/EDF/LLF, Pfairscheduling (F. Singhoff)

    • New 2-levels scheduling services : variousaperiodic servers and cyclic 2-levels schedulers (F. Singhoff)

    • New ARINC 653 features : scheduling + feasibility test + export of ARINC 653 configuration table (A. Plantec, F. Singhoff, P. Dissaux, Phd V. Gaudel)


Cheddar 3 1 new features

Cheddar 3.1 new features

  • Ongoingdevelopments :

    • N-levelshierarchicalschedulinganalysis, bothanalytic and scheduling simulation (Phd V. Gaudel, P. Dissaux, A. Plantec, F. Singhoff)

    • Task group based support : (Phd S. Li, V. Nguyen, S. Rubini, F. Singhoff)

      • Offset worst case response time analysistools

      • GMF/MF taskscheduling simulation support + transformation

    • Analysis of Multicore architectures with caches (scheduling simulation) and withextendedtasksemantics /AADL BA (S. Rubini, N. Tran, F. Singhoff)

    • New machine man interface (C. Fotsing, F. Singhoff)


Cheddar 3 1 new features1

Cheddar 3.1 new features

  • Future developments (startingfall 2013):

    • Memory hierarchy (including cache) and schedulinganalysis (Phd N. Tran, S. Rubini, J. Boukhoza, F. Singhoff)

    • Modeling and automatic code generation of partitionningalgorithms (Phd I. Armah Mensah, JP Babau, F. Singhoff)

    • RTEMS source code generation and comparisonwith Cheddar verification (C. Fotsing)

    • SMART project(June 2014)

    • U. Lisbonne/SAPIENT 2 (2014/2016). Bus scheduling and tasksscheduling/ARINC 653


  • Login