1 / 10

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. Cheddar project : context and motivations Research Roadmap. About scheduling analysis and its use .

roy
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. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Cheddar : about the usability of the real-time scheduling theory Ellidiss Technologies, France University of Brest/UBO, Lab-STICC/UMR 6285, France

  2. Talk overview • Cheddar project : context and motivations • Research Roadmap

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

  4. 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 

  5. 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 ? • ...

  6. Talk overview • Cheddar project : context and motivations • Research Roadmap

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

  8. 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)

  9. 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)

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

More Related