Ellidiss Technologies France University of BrestUBO LabSTICCUMR 6285 France 2 18 Talk overview Cheddar project context and motivations Research Roadmap 3 17 About scheduling analysis and its use ID: 237526
Download Presentation The PPT/PDF document "Cheddar : about the usability of the rea..." is the property of its rightful owner. Permission is granted to download and print the materials on this web site for personal, non-commercial use only, and to display it on your personal computer provided you do not modify the materials and that you retain all copyright notices contained in the materials. By downloading content from our website, you accept the terms of this agreement.
Slide1
Cheddar : about the usability of the real-time scheduling theory
Ellidiss Technologies, France University of Brest/UBO, Lab-STICC/UMR 6285, FranceSlide2
2/18
Talk overview
Cheddar project : context and motivations
Research RoadmapSlide3
3/17
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.Slide4
4/17Does 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 Slide5
5/17Some 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 ?
...Slide6
6/18
Talk overview
Cheddar project : context and motivations
Research RoadmapSlide7
7/18
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.,
Conseil
Régional de Bretagne, BMO, EGIDE/Campus France, Thalès communication.Other contributors/partners: Télécom-Paris-Tech, ISAE, Univ. LisboaCheddar project : context and motivationsSlide8
Cheddar 3.0 new features
Distributed with the next AADLInspector releases: Extended Cheddar ADL for multiprocessor and hierarchical architectures, new generated XML printer/parser (A. Plantec, C. Fotsing, F. Singhoff)
Design pattern uniprocessor analysis tool (Phd Gaudel, A. Plantec, P. Dissaux
, F. Singhoff)Global multiprocessor scheduling : global RM/DM/EDF/LLF, Pfair scheduling
(F. Singhoff) New 2-levels scheduling services : various aperiodic 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)Slide9
Cheddar 3.1 new
featuresOngoing developments :N-levels hierarchical scheduling analysis, both analytic 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 analysis tools
GMF/MF task scheduling simulation support + transformationAnalysis of Multicore architectures with caches (
scheduling simulation) and with extended task semantics /AADL BA (S. Rubini, N.
Tran
, F.
Singhoff
)
New machine man interface (C.
Fotsing
, F. Singhoff)Slide10
Cheddar 3.1 new
featuresFuture developments (starting fall 2013):Memory hierarchy (including cache) and scheduling analysis (Phd N. Tran, S. Rubini, J. Boukhoza, F. Singhoff)
Modeling and automatic code generation of partitionning algorithms (Phd I. Armah Mensah, JP
Babau, F. Singhoff)RTEMS source code generation and comparison with Cheddar
verification (C. Fotsing)SMART project (June 2014)
U. Lisbonne/SAPIENT 2 (2014/2016). Bus scheduling and tasks scheduling/ARINC 653