Publications on Real-time Systems and Real-time Scheduling














  1. Basic articles/books on real-time scheduling :


  2. Here, you may find a selected number of articles/books introducting real-time scheduling analysis. Those articles/books hae been used to implement scheduling analysis into Cheddar.



    [BUT 05] G. Buttazzo. Rate Monotonic vs. EDF: Judgment Day. Real-Time Systems, Vol. 29, Issue 1, pp. 5-26, January 2005.

    [GOO 01] J. Goossens and C. Macq. Limitation of the Hyper-Period in Real-Time Periodic Task Set Generation . 9th Conference RTS embedded systems 2001, Paris (France). Page 133-148.

    [COT 00] F. Cottet, J. Delacroix, C. Kaiser and Z. Mammeri. Ordonnancement temps réel. Hermès, 2000.

    [ALD 98] S. A. Aldarmi, A. Burns. Dynamic Value-Density For Scheduling Real-Time Systems . November 1998, Real-time System Group, University of York, Technical Report number YCS-98-310.

    [RIV 98] Rivierre Nicolas. Ordonnancement temps réel centralisé, les cas préemptifs et non préemptifs. Thèse de doctorat de l'Université de Versailles-Saint Quentin. Février 1998.

    [GEO 96] L. George, N. Rivierre and M. Spuri. Preemptive and Non-Preemptive Real-time Uni-Processor Scheduling. INRIA Research Report number 2966. September 1996.

    [SPU 96] M. Spuri. Analysis of Deadline Scheduled Real-Time Systems. INRIA Research Report number 2772. January 1996.

    [STA 95] J. A. Stankovic, M Spuri, M. Di Natale, G. Buttazzo. Implications of Classical Scheduling Results For Real-time Systems . IEEE Computer, vol 28, number 6, pages 16-25. June, 1995.

    [AUD 95] N. Audsley. Real-time Scheduling . Predictable Depdendable Systems, vol 2, chapter 2, Part II.

    [KOR 92] G. Koren, D Shasha. D-Over, an optimal On-line scheduling algorithm for overloaded Real-time systems INRIA Technical report number RT-0138. February 1992.

    [SPR 92] D. B. Stewart and P. K. Khosla Real-time Scheduling of Sensor-Based Control System . in Real-time Programming. ed W. Halang and K. Ramamritham (New York, Pergamon Press Inc.), 1992.

    [JEF 91] K. Jeffay, D. F. Stanat, C. U. Martel. On Non-Preemptive Scheduling of Periodic and Sporadic Tasks . In the Proceedings of the RTSS91 Real Systems Symposium. San Antonio, Texas. December 1991.

    [STE 91] D. B. Stewart and P. K. Khosla Real-time Scheduling of Dynamically Reconfigurable Systems . In Proceedings of the IEEE International Conference on Systems Engineering, Dayton, Ohio, pages 139-142. August 991.

    [SPR 90] B. Sprunt Aperiodic Task Scheduling for real-time Systems. Ph.D. Dissertation, Dept. of Electrical and Computer Engineering, Carnegie Mellon University, Pittsburg, PA, August 1990.

    [LEU 82] J.Y.T. Leung and J. Whitehead. On the Complexity of Fixed-Priority Scheduling of Periodic, Real-Time Tasks. Performance Evaluation 2, 237-250 (1982).

    [LIU 73] C. L. Liu and J. W. Layland Scheduling Algorithms for Multiprogramming in a Hard Real-Time Environnment. 1973, January, 20(1):46-61, Journal of the Association for Computing Machinery.

    [TIN 94] K. Tindell and J. Clark. Holistic Schedulability Analysis for Distributed Hard Real-Time Systems. Microprocessing and Microprogramming 40:117-134. 1994.

    [SHA 90] Sha, R. Rajkumar and J.P. Lehoczky. Priority Inheritance Protocols : An Approach to Real-time Synchronization. IEEE Transactions on computers, 39(9):1175-1185. 1990."

    [BLA 76] J. Blazewicz. Scheduling dependant tasks with Different Arrival Times to Meet Deadlines. In. Gelende H. Beilner (eds), Modeling and Performance Evaluation of Computer Systems,. Amsterdam 1976

    [CHE 90] H. Chetto, M. Silly and T. Bouchentouf. Dynamic Scheduling of Real-time Tasks Under Precedence Constraints. RTS International Journal of Time Critical Computing Systems. 2(3):181-194, September 1990.

    [SAE 04] Architecture Analysis and Design Language. SAE. AS 5506 technical report. Version 0.994. Aug. 2004.

    [DEM 99] I. Demeure and C. Bonnet. Introduction aux systèmes temps réel. Collection pédagogique de télécommunications, Hermès, Septembre 1999.

    [ARI 97] Arinc Committee. Avionics Application Software Standard Interface . January 1, 1997.

    [BUR 97] A. Burns and A. Wellings. Real-time Systems and Programming Languages. Addison Wesley, 1997.

    [KRI 97] C. M. Krishna and K. G.Shin. Real-Time Systems. Mc Graw-Hill International Editions, 1997.

    [GAL 95] Posix.4 : programming for the real world. B. O .Gallmeister. O'Reilly Editor, january 1995.

    [BUR 94] A. Burchard and J. Liebeherr and Y. Oh and S. H. Son Assigning Real-Time Tasks to Homogeneous Multiprocessor Systems . Technical Report CS-94-01, University of Virginia, 1994 Department of Computer Science.

    [SON 93] Y. Oh and S. H. Son Tight Performance Bounds of Heuristics for a Real-Time Scheduling Problem . Technical Report CS93-24, University of Virginia, 1993 Department of Computer Science.

    [OVE 97] E. Overton, T. Brylawski, J. Anderson, A Foray into Uniprocessor Real-time Scheduling Algorithms and Intractibility . December, 1997. Technical Report.





  3. Articles and presentations related to Cheddar :


  4. In this part, you should find all papers and presentations on research made around Cheddar by the Lab-STICC Team.





    [DRI 17a] DAS: An Efficient NoC Router for Mixed-Criticality Real-Time Systems. Mourad Dridi, Stéphane Rubini, Mounir Lallali, Martha Johanna Sepulveda Florez, Frank Singhoff, Jean-Philippe Diguet. Proceedings of the 35th IEEE International Conference on Computer Design. ICCD 2017. Boston, MA, USA, November, 2017.

    [DRI 17b] Modeling and Validation of a Mixed-Criticality NoC Router Using the IF Language. Mourad Dridi, Mounir Lallali, Stéphane Rubini, Frank Singhoff ,Jean-Philippe Diguet. Proceedings of the 10th International Workshop on Network on Chip Architectures. NoCArc'17. Boston, MA, USA, October, 2017

    [DIS 17] Update on Cheddar : reviewing Multi-Core and ARINC653 scheduling features, software design exploration P. Dissaux, J. Legrand, A. Schach, S. Rubini, J. Boukhobza, L. Lemarchand, J.P. Diguet, N. Tran, M. Dridi, R. Bouaziz, F. Singhoff (speaker). AS-2C/AADL SAE Fall working group meeting. Fort Worth, TX, USA, September, 2017.

    [RUB 17] Patrons de conception pour l’analyse d’ordonnancement temps réel multiprocesseurs. Stéphane Rubini, Frank Singhoff, Alain Plantec, Hai Nam Tran, Jalil Boukhobza and Pierre Dissaux. Ecole d'été temps réel, ETR 2017. Aout 2017.

    [LI 17] Scheduling analysis of tasks constrained by TDMA: Application to software radio protocols. Shuai Li, Frank Singhoff, Stéphane Rubini, Michel Boudelles. Journal of Systems Architecture. Volume 76, May 2017, Pages 58-75

    [ALL 17b] Approche hybride pour l’optimisation de simulations d’ordonnancement de systèmes temps-réel. Yann Allain. Rapport de stage de Master 2 LSE, Septembre 2017. Université de Bretagne Occidentale.

    [ALL 17] Implementation of new feasibility interval analysis methods in Cheddar. Yann Allain. Master 2 LSE Project, February 2017. Université de Bretagne Occidentale.

    [TRA 17] Cache Memory Aware Priority Assignment and Scheduling Simulation of Real-Time Embedded Systems. Hai Nam Tran. Phd Thesis from Université de Bretagne Occidentale. Lab-STICC. January. 2017.

    [RUB 16] An example of early scheduling analysis with AADL. S. Rubini, N. Tran, M. Dridi, V. Gaudel, J. Boukhobza, A. Plantec, C. Fotsing, F. Singhoff (speaker), P. Dissaux, J. Legrand, A. Schach GDR SOC-SIP/IRT Saint Exupéry scientific day about the Use of AADL for Hardware and Software Co-development. Invited speaker. November 2016.

    [DIS 16] Update on AADLInspector and Cheddar : new interface and multiprocessors analysis. P. Dissaux, J. Legrand, A. Schach, S. Rubini, J. Boukhobza, L. Lemarchand, J.P. Diguet, N. Tran, M. Dridi, R. Bouaziz, F. Singhoff (speaker). AS-2C/AADL SAE Fall working group meeting. Pittsburgh, USA, October, 2016.

    [DRI 16] DTFM: a Flexible Model for Schedulability Analysis of Real-Time Applications on NoC-based Architectures Mourad Dridi, Stéphane Rubini, Frank Singhoff, Jean-Philippe Diguet. 4th IEEE International Workshop on Real-Time Computing and Distributed systems in Emerging Applications, REACTION 2016. December 2016. Porto, Portugal.

    [DIS 16] Update on AADLInspector and Cheddar : new interface and multiprocessors analysis P. Dissaux, J. Legrand, A. Schach, S. Rubini, J. Boukhobza, L. Lemarchand, J.P. Diguet, N. Tran, M. Dridi, R. Bouaziz, F. Singhoff. AADL Working group committee. Pittsburgh, October 2016.

    [FAD 16] Implantation de l'algorithme LLREF dans Cheddar. Salem Anis FADHLOUN. TER Master 1 2015-2016.

    [TRA 16a] Cache-Aware Real-Time Scheduling Simulator: Implementation and Return of Experience . Hai Nam Tran, Frank Singhoff, Stéphane Rubini and Jalil Boukhobza. ACM SIGBED Review. vol 13, num 1, pages-22-28. January 2016. Special issue of the 5th Embedded Operating Systems Workshop, organized as part of Embedded Systems Week October 8th, 2015 – Amsterdam, The Netherlands.

    [TRA 16b] Adapting a Fixed Priority Assignment Algorithm to Real-time Embedded Systems with Cache Memory. Hai Nam Tran, Stéphane Rubini, Frank Singhoff, and Jalil Boukhobza. Colloque du GDR SoC-SiP, juin, 2016.

    [BOU 16] Efficient Parallel Multi-Objective Optimization for Real-time Systems Software Design Exploration. Rahma Bouaziz, Laurent Lemarchand, Frank Singhoff, Bechir Zalila, Mohamed Jmaiel. 27th IEEE International Symposium on Rapid System Prototyping (RSP). October, 2016, Pittsburgh, USA.

    [BOU 15] Architecture Exploration of Real-time Systems Based on Multi-Objective Optimization Rahma Bouaziz, Laurent Lemarchand, Frank Singhoff, Bechir Zalila, Mohamed Jmaiel 20th IEEE International Conference on Engineering of Complex Computer Systems, December 9-12, Gold Coast, Australia. 2015.

    [TRA 15] Addressing Cache Related Preemption Delay in Fixed Priority Assignment . Hai Nam Tran, Frank Singhoff, Stéphane Rubini and Jalil Boukhobza. 20th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2015). Luxembourg. September 2015.

    [SIN 15] Teaching Real-Time Scheduling Analysis with Cheddar . Frank Singhoff, Alain Plantec, Stéphane Rubini, Hai Nam Tran, Vincent Gaudel, Jalil Boukhobza, Laurent Lemarchand, Shuai Li, Etienne Borde, Laurent Pautet, Jérôme Hugues, Pierre Dissaux, Jérôme Legrand, Christian Fotsing, Blandine Djika. Ecole d'été temps réel, ETR 2015. Aout 2015.

    [NAM 14] Cache Modeling and Scheduling Analysis with AADL. Hai Nam Tran, Frank Singhoff, Stéphane Rubini, Jalil Boukhobza. AS-2C/AADL SAE Winter working group meeting. Toulouse, France, February, 2014. <

    [RUB 14] Modeling of multiprocessor hardware platforms for scheduling analysis. Stéphane Rubini, Christian Fotsing, Frank Singhoff, Hai Nam Tran. AS-2C/AADL SAE Winter working group meeting. Toulouse, France, February, 2014.

    [GAU 14] Des patrons de conception pour assurer l'analyse d'architectures : un exemple avec l'analyse d'ordonnancement. Vincent Gaudel. Thèse de doctorat de l'Université de Bretagne Occidentale. Lab-STICC. Novembre, 2014.

    [LI 14e] Scheduling Analysis of Tasks Constrained by Time-Division Multiplexing: Application to Software Radio Protocols. Shuai Li. Phd thesis of Université de Bretagne Occidentale. Lab-STICC. November, 2014.

    [SIN 14] AADLv2, a Domain Specific Language for the Modeling, the Analysis and the Generation of Real-Time Embedded Systems (slides). (resume). F. Singhoff, J. Hugues. Half day tutorial presented in the International MODELS conferences, Valencia, Spain, September 2014.

    [PHA 14] Refactoring the feasibility tests framework of Cheddar. Pham Van Chinh.. Master Thesis in Information and Communication Technology. Université de Bretagne Occidentale. Lab-STICC. September, 2014.

    [MUL 14a] Modélisation et analyse de systèmes distribués temps réel Cyril Muller. Rapport de stage de Master 2 LSE. Université de Bretagne Occidentale. Lab-STICC. Septembre, 2014.

    [BOR 14] Architecture Models Refinement for Fine Grain Timing Analysis of Embedded Systems. Etienne Borde, Smail Rahmoun, Fabien Cadoret, Laurent Pautet, Frank Singhoff, Pierre Dissaux. 25th International Symposium on Rapid System Prototyping (RSP). October 16-17, 2014, New Delhi, India.

    [TRA 14b] Priority Assignment Algorithm with Cache Related Preemption Delay. Hai Nam Tran , Frank Singhoff, Stéphane Rubini and Jalil Boukhobza. The 4th Embedded Operating Systems/EWILI Workshop, 13-14 November 2014. Lisbonne, Portugal. Poster short paper.

    [RUB 14] Modeling Shared-Memory Multiprocessor Systems with AADL. S. Rubini, P. Dissaux, F. Singhoff. 1st Architecture Centric Virtual Integration (ACVI) Workshop, Valencia, Spain, September 2014. In conjonction with the MODELS conference.

    [LI 14d] Scheduling Analysis of TDMA-Constrained Tasks: Illustration with Software Radio Protocols. S. Li, S. Rubini, F. Singhoff and M. Bourdellès. 11th IEEE International Conference on Embedded Software and Systems. Paris, France, August, 2014

    [TRA 14a] Instruction cache in hard real-time systems: modeling and integration in scheduling analysis tools with AADL. Hai Nam Tran , Frank Singhoff, Stéphane Rubini and Jalil Boukhobza. 12th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC 14). August 2014. Milan, Italy.

    [LI 14c] Applying Holistic Schedulability Tests to Industrial Systems: Experience and Lessons Learned. S. Li, S. Rubini, F. Singhoff and M. Bourdellès. 5th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems. July, 8th 2014, Madrid, Spain.

    [LI 14b] Extending Schedulability Tests of Tree-Shaped Transactions for TDMA Radio Protocols. . S. Li, F. Singhoff, S. Rubini, M. Bourdelle. 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2014). Barcelona. Spain. September 2014.

    [LI 14a] A Task Model for TDMA Communications.. S. Li, S. Rubini, F. Singhoff and M. Bourdellés. 9th IEEE International Symposium on Industrial Embedded Systems. Pisa, Italy 18-20 June 2014. WIP session.

    [MUL 14] Scheduling methods for aperiodic tasks Cyril Muller. Project report. Université de Bretagne Occidentale. Lab-STICC. March, 2014.

    [DIS 14] The SMART Project: Multi-Agent Scheduling Simulation of Real-time Architectures. P. Dissaux, O. Marc, S. Rubini, C. Fotsing, V. Gaudel, F. Singhoff, A. Plantec, Vuong Nguyen-Hong, Hai Nam Tran. 7th European Congress ERTSS Embedded Real Time Software and System, Toulouse, France, February 2014.

    [GAU 13b] Composition of Design Patterns : from the modeling of RTOS synchronization tools to schedulability analysis. Vincent Gaudel, Frank Singhoff, Alain Plantec, Pierre Dissaux and Jerome Legrand. ACM SIGBED Review 11(1):44-49. 2014. Special issue of EWiLi'13, The 3rd Embedded Operating Systems Workshop 26 - 27 August 2013, ENSEEIHT, Toulouse, France.

    [RUB 13] Scheduling Analysis from Architectural Models of Embedded Multi-Processor Systems. Stéphane Rubini, Christian Fotsing, Frank Singhoff, Hai Nam Tran and Pierre Dissaux. ACM SIGBED Review 11(1):68-73. 2014. Special issue of EWiLi'13, The 3rd Embedded Operating Systems Workshop 26 - 27 August 2013, ENSEEIHT, Toulouse, France.

    [FOT 13] Cheddar Architecture Description Language. C. Fotsing, F. Singhoff, A. Plantec, V. Gaudel, S. Rubini, S. Li, H. N. Tran, L. Lemarchand, P. Dissaux, J Legrand. January 2013. Lab-STICC technical report.

    [HUG 13] AADLv2, an Architecture Description Language for the Analysis and Generation of Embedded Systems. (slides). (resume). J. Hugues F. Singhoff. Half day tutorial presented in the International EMSOFT/ESWEEK conferences, Montreal, Canada, September 2013.

    [TRA 13] Handling caches in real-time scheduling simulations. Hai Nam Tran. Master Thesis in Information and Communication Technology. Université de Bretagne Occidentale. Lab-STICC. September, 2013.

    [NGU 13] Response time analysis with offset. Nguyen Hong Vuong. Master Thesis in Information and Communication Technology. Université de Bretagne Occidentale. Lab-STICC. September, 2013.

    [GAU 13c] Enforcing Software Engineering Tools Interoperability: An Example with AADL Subsets. Vincent Gaudel, Alain Plantec, Frank Singhoff, Jérôme Hugues, Pierre Dissaux, jérôme Legrand. 24th International Symposium on Rapid System Prototyping (RSP). Montreal, Canada. October, 3-4 2013.

    [GAU 13a] What is an AADL Subset ? V. Gaudel, P. Dissaux, A. Plantec, F. Singhoff, J. Hugues, J. Legrand. AS-2C/AADL SAE Winter working group meeting. Valencia, Spain, February, 2013.

    [PLA 12] Faciliter la vérification et la validation de méta-modèles dans le cadre de l’ingénierie dirigée par les modèles : une approche agile, outillée et orientée données. Alain Plantec. Habilitation à diriger des recherches. Novembre 2012.

    [KER 12] A two-steps model transformation to extend the scope of an analysis framework to standard modeling languages. Mickael Kerboeuf, Jean-Philippe Babau, Vincent Gaudel. 6th MoDELS workshop on Models and Evolution., Innsbruck, Autriche.

    [SINa 12] About architecture description languages and scheduling analysis. Frank Singhoff. Schloss Dagstuhl, seminar number 12272 on Architecture-Driven Semantic Analysis of Embedded Systems. July 2012.

    [SINb 12] AADL subset annex F. Singhoff et al. AS-2C/AADL SAE Winter working group meeting. Toulouse, France, January, 2012.

    [LI 12] Applicability of Real-Time Schedulability Analysis on a Software Radio Protocol. Shuai Li, Frank Singhoff, Stéphane Rubini and Michel Bourdellès. ACM SIGAda Ada Letters, volume 32, number 3, pages 81-94. ACM New York, USA, December 2012, ISSN:1094-3641. Special issue of the proceedings of the international ACM High Integrity Language Technology conference, Boston, Massachusetts, USA.

    [CRA 12] Scheduling Analysis Principles and Tool for Time and Space Partitioned Systems. J. P. Craveiro, J. L. R. Souza, J. Rufino, V. Gaudel, L. Lemarchand, A. Plantec, S. Rubini and F. Singhoff. INFORUM 2012 symposium - Simpósio de Informática. pages 582-585. Lisbon. Portugal. September 2012.

    [PLA 11] Forward engineering and early model validation with Smalltalk. Plantec A, Singhoff F, Gaudel V and Ribaud V. 5th Argentine Smalltalk Conference. Quilmes University, Buenos Aires. November 2011.

    [DIS 11] AADL Real-time design-pattern Automatic Recognition. P. Dissaux, J. Legrand, V. Gaudel, A. Plantec, S. Rubini and F. Singhoff. SAE 2011 AeroTech Congress, October 2011, Toulouse, France.

    [RUB 11] Modeling and verification of memory architectures with AADL and REAL. S. Rubini, F. Singhoff and J. Hugues. 6th international workshop on AADL and UML. In the proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, Las Vegas, USA, 27th April 2011. Pages 338-343.

    [COR 11] Building Embedded Real-Time Applications. J. McCormick, F. Singhoff. Full day tutorial presented in the International ACM SIGAda conference, Denver, Colorado, USA, November 2011.

    [MCC 11] Building Parallel, Embedded, and Real-Time Applications with Ada. J. W. McCormick, F. Singhoff, J. Hugues. Cambridge University Press, UK, 365 pages, April 2011. ISBN-13: 9780521197168.

    [CRA 11] Architecture, Mechanisms and Scheduling Analysis Tool for Multicore Time- and Space-Partitioned Systems. J. Craveiro, J. Rufino and F. Singhoff. ACM SIGBED Review, volume 8, number 3, pages 23-27. ISSN:1551-3688. Special issue of the 23rd Euromicro Conference on Real-Time Systems (ECRTS 2011) — WIP session, Porto, Portugal, July 2011.

    [GAU 11a] Sélection automatique de tests de faisabilité à l'aide de patrons de conception. Vincent Gaudel, Frank Singhoff, Alain Plantec, Pierre Dissaux and Jérôme Legrand. Session doctorants de l'Ecole Temps Réel 2011 (ETR'11). Pages 185-188. 29 Août-2 septembre 2011. Brest. France.

    [GAU 11b] An Ada design pattern recognition tool for AADL performance analysis. V. Gaudel, F. Singhoff, A. Plantec, S. Rubini, P. Dissaux, J. Legrand. ACM SIGAda Ada Letters, volume 31, number 3, pages 61-68. ACM New York, USA, November 2011, ISSN:1094-3641. Special issue of the proceedings of the international ACM SIGAda conference, Denver, Colorado, USA.

    [SIN 10] Feasibility tests taxinomia of the Real-time scheduling theory. F. Singhoff. December 2010. LISyC Technical Report number SINGHOFF-10-01.

    [PLA 10] Enforcing applicability of Real-time Scheduling Theory Feasibility Tests with the use of Design-Patterns. A. Plantec, F. Singhoff, P. Dissaux and J. Legrand. 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation 18-20 October 2010. Amirandes, Heraclion, Crete. The original publication is available at http://www.springerlink.com.

    [DIS 10] AADL design patterns and tools for modelling and performance analysis of Real-time systems. P. Dissaux, J. Legrand, A. Plantec, M. Kerboeuf and F. Singhoff. 5th European Congress ERTSS Embedded Real Time Software and System, Toulouse, France, May 2010.

    [KER 10] Comparison of six ways to extend the scope of Cheddar to AADL v2 with Osate. M. Kerboeuf, A. Plantec, F. Singhoff, A. Schach and P. Dissaux. 5th international workshop on AADL and UML. Oxford, UK, March 2010. Pages 367-372.

    [DEL 09] Validate, Simulate and Implement ARINC653 Systems using the AADL. J. Delange, L. Pautet, A. Plantec, M. Kerboeuf, F. Singhoff, F. Kordon. ACM SIGAda Ada Letters, volume 29, number 3, pages 31-44. ACM Press, New York, USA, November 2009, ISSN:1094-3641.

    [HUG 09] Développement de systèmes à l’aide d’AADL - Ocarina/Cheddar. J. Hugues, F. Singhoff. Tutoriel présenté à l'école d'été temps réel. Septembre 2009.

    [SIN 09] Investigating the usability of real-time scheduling theory with the Cheddar project. F. Singhoff, A. Plantec, P. Dissaux and J. Legrand. Journal of Real-time Systems, volume 43, number 3, pages 259-295. November 2009. Springer Verlag. ISSN:0922-6443

    [SIN 08a] A propos de l'applicabilité de la théorie de l'ordonnancement temps réel. F. Singhoff. Habilitation à diriger des recherches de l'Université de Bretagne Occidentale. Novembre 2008.

    [DIS 08a] AADL performance analysis with Cheddar : a summary. Dissaux P, Legrand J, Plantec A and Singhoff F. AADL SAE Spring working group meeting . Sevilla (Spain). Avril 2008.

    [SIN 08] Can we increase the usability of Real-time scheduling theory ? The Cheddar project. Singhoff F, Plantec A and Dissaux P. Invited paper in the 13th International Conference on Reliable Software Technologies, Ada-Europe, LNCS Springer-Verlag editor. Venice. volume n° 5026, pp. 240-253. June 2008. The original publication is available at http://www.springerlink.com.

    [DIS 08] Stood and Cheddar: AADL as a Pivot Language for Analysing Performances of Real-time Architectures. P. Dissaux and F. Singhoff. 4th European Congress ERTS Embedded Real-time Software, Toulouse, January 2008.

    [PLA 07] Un processus d’ingénierie de Cheddar pour la simulation de systèmes temps réel à grande échelle A. Plantec et F. Singhoff. Revue Génie Logiciel, Décembre 2007, Numéro 83, pages 26-35. ISSN:0295-6322.

    [SIN 07d] The Cheddar AADL Property sets (Release 2.x). F. Singhoff, LISyC technical report number singhoff-03-07, February 2007.

    [SIN 07a] Cheddar Release 2.x User's Guide. F. Singhoff, LISyC technical report number singhoff-01-2007, February 2007.

    [SIN 07b] The Cheddar Release 2.x FAQ. F. Singhoff, LISyC technical report number singhoff-02-2007, February 2007.

    [SIN 07c] Towards User-Level extensibility of an Ada library : an experiment with Cheddar F. Singhoff and A. Plantec. Proceedings of the 12th International Conference on Reliable Software Technologies, Ada-Europe, LNCS Springer-Verlag editor, Volume 4498, pages 180-191, Geneva, june 2007. The original publication is available at http://www.springerlink.com.

    [SIN 07d] AADL modeling and analysis of hierarchical schedulers F. Singhoff and A. Plantec. ACM SIGAda Ada Letters, volume 27, number 3, pages 41-50. Edited by ACM Press, New York, USA, November 2007, ISSN:1094-3641.

    [PLA 06] Refactoring of an Ada 95 library with a Meta CASE tool. A. Plantec and F. Singhoff. ACM SIGAda Ada Letters, volume 26, number 3, pages 61-70. Edited by ACM Press, New York, USA, November 2006, ISSN:1094-3641.

    [SIN 06] Implementing an AADL performance analyzer. F. Singhoff, L. Nana and J. Legrand. In the DAta Systems in Aerospace Conference (DASIA 2006), European Space Agency Publication Division, CD-ROM number SP-630, Berlin, 22-25 May, 2006.

    [EDZ 06] Simulation d'algorithmes d'ordonnancement temps réel S. Edzang. Rapport de travail d'étude et de recherche, Juin 2006.

    [SIN 05a] Scheduling and Memory requirement analysis with AADL. F. Singhoff, J. Legrand, L. Nana and L. Marcé. ACM SIGAda Ada Letters, volume 25, number 4, pages 1-10. Edited by ACM Press, New York, USA, November 2005, ISSN:1094-3641.

    [SIN 05b] AADL resource requirements anaysis with Cheddar. F. Singhoff, J. Legrand, L. Nana. SAE AADL working group meeting. 19-21 october 2005.

    [LEG 05] Analyse de tampons partagés par des tâches périodiques et indépendantes. J. Legrand, F. Singhoff, L. Nana, L. Marcé. LISyC Technical report number legrand-01-2005. January 2005.

    [PLA 05] Impact de l'ordonnancement temps réel des tâches d'un superviseur de ligne d'assemblage L. Plassart, F. Singhoff, P. Le Parc et L. Marcé. 1ères Rencontres des Jeunes Chercheurs en Informatique Temps Réel 2005 (RJCITR'05), conjointement à l'école d'été temps réel 2005 (ETR'05), 13-16 Septembre 2005, Nancy, France.

    [MAR 04] Tests de faisabilité basés sur le taux d'occupation CPU des principaux algorithmes d'ordonnancement temps réel H. Martin, S. Bothorel. Rapport de travail d'étude et de recherche, Mars 2004.

    [SIN 04a] Cheddar : a Flexible Real-time Scheduling Framework. F. Singhoff, J. Legrand, L. Nana and L. Marcé. ACM SIGAda Ada Letters, volume 24, number 4, pages 1-8. Edited by ACM Press, New York, USA. December 2004, ISSN:1094-3641.

    [SIN 04b] Extending Rate Monotonic Analysis when Tasks Share Buffers. F. Singhoff, J. Legrand, L. Nana and L. Marcé. In the DAta Systems in Aerospace Conference (DASIA 2004), European Space Agency Publication Division. CD-ROM number SP-570, Nice, 28-30 July, 2004.

    [LEG 04a] Contribution à l'ordonnancement des systèmes temps réel comprenant des tampons J. Legrand. Thèse de Doctorat. Université de Bretagne Occidentale. Décembre 2004. January 2004.

    [LEG 04b] Performance Analysis of Buffers Shared by Independent Periodic Tasks. J. Legrand, F. Singhoff, L. Nana, L. Marcé. LISyC Technical report number legrand-02-2004 January 2004.

    [SIN 03] Cheddar Release 1.x User's Guide. F. Singhoff, J. Legrand, L. Nana, L. Marcé. LISyC technical report number singhoff-01-2003. September 2003.

    [LEG 03a] Faisabilité d'une application de supervision : le projet IRMA . J. Legrand, F. Singhoff, L. Nana, L. Marcé, F. Dupont et H. Hafidi. 11th Conference RTS embedded systems 2003, pages 353-383, Paris, Avril 2003.

    [LEG 03b] J. Legrand, F. Singhoff, L Nana, L. Marcé, F. Dupont and H. Hafidi. About Bounds of Buffers Shared by Periodic Tasks : the IRMA project. J. Legrand, F. Singhoff, L. Nana, L. Marcé, F. Dupont and H. Hafidi. In the 15th IEEE Euromicro International Conference of Real-time Systems, WIP Session, Porto, July 2003, pages 9-12.

    [MOR 03] Implantation du calcul de temps de réponse. L. Morin. Rapport de stage de DESS, Mars 2003.

    [NOR 02] Un éditeur graphique pour Cheddar. W. Guillo, S. Herry, P. Normand, G. Oliva, R. Prevot. Rapport de stage de Licence informatique. Brest, Septembre 2002.









Contact : Frank Singhoff mailto:singhoff@univ-brest.fr
Last update : October, 2015