 |
Conference papers
Teaching Real-Time Scheduling Analysis with Cheddar
Frank Singhoff
1
Alain Plantec
1
Stéphane Rubini
1
Hai-Nam Tran
1
Vincent Gaudel
1
Jalil Boukhobza
1
Laurent Lemarchand
1
Shuai Li
2
Etienne Borde
3
Laurent Pautet
4
Jerome Hugues
3
Pierre Dissaux
5
Jérôme Legrand
6
Christian Fotsing
2
Blandine Djika
6
1
Lab-STICC_UBO_CACS_MOCS
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance, UBO - Université de Brest
Frank Singhoff 1
Mail :
Author IdHAL : frank-singhoff
Alain Plantec 1
Mail :
Author
Stéphane Rubini 1
Mail :
Author IdHAL : stephane-rubini ORCID : https://orcid.org/0000-0002-3206-0310
Hai-Nam Tran 1
Mail :
Author IdHAL : hai-nam-tran ORCID : https://orcid.org/0000-0001-8358-0327
Vincent Gaudel 1
Author
Jalil Boukhobza 1
Mail : Site :
Author IdHAL : jalil-boukhobza ORCID : https://orcid.org/0000-0002-2194-4006
Laurent Lemarchand 1
Mail :
Author IdHAL : laurent-lemarchand
Shuai Li 2
Mail :
Author
Etienne Borde 3
Mail :
Author IdHAL : etienne-borde
Laurent Pautet 4
Mail :
Author IdHAL : laurent-pautet
Jerome Hugues 3
Author
Pierre Dissaux 5
Author
1
Lab-STICC_UBO_CACS_MOCS (France)
- Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Technopole Brest Iroise BP 832 29285 BREST CEDEX - France)
- ENIB - École Nationale d'Ingénieurs de Brest (945 avenue du Technopole - 29280 Plouzané - France)
- UBS - Université de Bretagne Sud (BP 92116 - 56321 Lorient cedex - France)
- UBO - Université de Brest (Université de Bretagne Occidentale - 3 Rue des Archives 29238, Brest - France)
- Télécom Bretagne (Technopôle Brest-Iroise CS 83818 29238 BREST Cedex 3 - France)
- IBNM - Institut Brestois du Numérique et des Mathématiques (Université de Brest - UBO
3 Rue des Archives, 29238 Brest - France)
- UBO - Université de Brest (Université de Bretagne Occidentale - 3 Rue des Archives 29238, Brest - France)
- UEB - Université européenne de Bretagne - European University of Brittany (5 boulevard Laënnec - 35000 Rennes - France)
- ENSTA Bretagne - École Nationale Supérieure de Techniques Avancées Bretagne (2 rue François Verny, 29806 Brest cedex 9 - France)
- IMT - Institut Mines-Télécom [Paris] (37-39 Rue Dareau, 75014 Paris - France)
- CNRS - Centre National de la Recherche Scientifique : UMR6285 (France)
- UBO - Université de Brest (Université de Bretagne Occidentale - 3 Rue des Archives 29238, Brest - France)
2
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Technopole Brest Iroise BP 832 29285 BREST CEDEX - France)
- ENIB - École Nationale d'Ingénieurs de Brest (945 avenue du Technopole - 29280 Plouzané - France)
- UBS - Université de Bretagne Sud (BP 92116 - 56321 Lorient cedex - France)
- UBO - Université de Brest (Université de Bretagne Occidentale - 3 Rue des Archives 29238, Brest - France)
- Télécom Bretagne (Technopôle Brest-Iroise CS 83818 29238 BREST Cedex 3 - France)
- IBNM - Institut Brestois du Numérique et des Mathématiques (Université de Brest - UBO
3 Rue des Archives, 29238 Brest - France)
- UBO - Université de Brest (Université de Bretagne Occidentale - 3 Rue des Archives 29238, Brest - France)
- UEB - Université européenne de Bretagne - European University of Brittany (5 boulevard Laënnec - 35000 Rennes - France)
- ENSTA Bretagne - École Nationale Supérieure de Techniques Avancées Bretagne (2 rue François Verny, 29806 Brest cedex 9 - France)
- IMT - Institut Mines-Télécom [Paris] (37-39 Rue Dareau, 75014 Paris - France)
- CNRS - Centre National de la Recherche Scientifique : UMR6285 (France)
3
LTCI - Laboratoire Traitement et Communication de l'Information (46 rue Barrault F-75634 Paris Cedex 13 - France)
- Télécom ParisTech (46 rue Barrault 75634 Paris Cedex 13 - France)
- IMT - Institut Mines-Télécom [Paris] (37-39 Rue Dareau, 75014 Paris - France)
- CNRS - Centre National de la Recherche Scientifique : UMR5141 (France)
4
INFRES - Département Informatique et Réseaux (46, rue Barrault
75013 Paris - France)
- Télécom ParisTech (46 rue Barrault 75634 Paris Cedex 13 - France)
5
Ellidiss Technologies [Brest] (24 quai de la douane, 29200 Brest - France)
- Ellidiss Technologies (France)
6
LISYC - Laboratoire d'Informatique des Systèmes Complexes (Université de Bretagne Occidentale 20 av. Victor Le Gorgeu CS 93837 29238 Brest Cedex - France)
- ENIB - École Nationale d'Ingénieurs de Brest (945 avenue du Technopole - 29280 Plouzané - France)
- UBO - Université de Brest : EA3883 (Université de Bretagne Occidentale - 3 Rue des Archives 29238, Brest - France)
- IBNM - Institut Brestois du Numérique et des Mathématiques (Université de Brest - UBO
3 Rue des Archives, 29238 Brest - France)
- UBO - Université de Brest (Université de Bretagne Occidentale - 3 Rue des Archives 29238, Brest - France)
- ENSTA Bretagne - École Nationale Supérieure de Techniques Avancées Bretagne (2 rue François Verny, 29806 Brest cedex 9 - France)
Abstract : This article is a presentation of the Cheddar toolset.
Cheddar is a GPL open-source scheduling analysis tool.
It has been designed and distributed to allow students
to understand the main concepts of the
real-time scheduling theory.
The tool is built around a simplified ADL (Architecture Description Language)
devoted to real-time scheduling theory.
Students can directly build their real-time systems models with this ADL and
its associated editor, however,
it is expected that they use modeling tools to illustrate how scheduling analysis fits
in an engineering process.
In this article, we introduce the Cheddar ADL and the scheduling analysis features of Cheddar.
We also
present how Cheddar is implemented and how it can be adapted to specific requirements.
Two examples of use of Cheddar are then described.
Finally, in the annex of this article, teachers may find a sample of
hand-outs that may be used to illustrate real-time scheduling theory with their students.
Domain :
Complete list of metadatas
https://hal.univ-brest.fr/hal-01166136
Contributor : Frank Singhoff <>
Submitted on : Friday, September 18, 2015 - 3:42:00 PM
Last modification on : Tuesday, January 21, 2020 - 5:02:30 PM
Document(s) archivé(s) le : Monday, December 28, 2015 - 10:33:33 PM
Contributor : Frank Singhoff <>
Submitted on : Friday, September 18, 2015 - 3:42:00 PM
Last modification on : Tuesday, January 21, 2020 - 5:02:30 PM
Document(s) archivé(s) le : Monday, December 28, 2015 - 10:33:33 PM
File
etr.pdf
Files produced by the author(s)
Identifiers
- HAL Id : hal-01166136, version 1
Collections
CNRS | UNIV-BREST | INSTITUT-TELECOM | LAB-STICC_ENIB | ENIB | LAB-STICC | PARISTECH | LAB-STICC_UBO | IBNM | LTCI | INFRES | ACES
Citation
Frank Singhoff, Alain Plantec, Stéphane Rubini, Hai-Nam Tran, Vincent Gaudel, et al.. Teaching Real-Time Scheduling Analysis with Cheddar. 9ème édition de l’Ecole d’Eté « Temps Réel », Aug 2015, Rennes, France. ⟨hal-01166136⟩
Metrics
Record views
566
Files downloads
