3 References on Real-time Systems and Real-time Scheduling

Publications on Real-time Systems and Real-time Scheduling














  1. Articles/books on real-time scheduling :



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



    [ISH 17] Masahiro Ishii, Jérémie Detrey, Pierrick Gaudry, Atsuo Inomata, Kazutoshi Fujikawa. Fast Modular Arithmetic on the Kalray MPPA-256 Processor for an Energy-Efficient Implementation of ECM. IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2017, 66 (12), pp.2019-2030.

    [GOO 16] Periodicity of real-time schedules for dependent periodic tasks on identical multiprocessor platforms. J. Goossens, E. Grolleau, L. Cucu-Grosjean, Journal of Real-Time Sys, 52:808-832, 2016

    [KIM 16] Hyoseung Kim, Dionisio de Niz, Bjorn Andersson, Mark Klein, Onur Mutlu, Ragunathan (Raj) Rajkumar. Bounding and Reducing Memory Interference in COTS-based Multi-Core Systems. In 2014 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS).

    [RIH 16] Rihani, H., Moy, M., Maiza, C., Davis, R. I., & Altmeyer, S. Response time analysis of synchronous data flow programs on a many-core processor. In Proceedings of the 24th International Conference on Real-Time Networks and Systems (pp. 67-76). ACM.

    [CHE 14] M. Chetto. Optimal Scheduling for Real-Time Jobs in Energy Harvesting Computing Systems IEEE TRANSACTIONS ONEMERGING TOPICSIN COMPUTING. January 2014.

    [REG 11] Regnier, P., Lima, G., Massa, E., Levin, G. and Brandt, S. Run: Optimal multiprocessor real-time scheduling via reduction to uniprocessor. In 2011 IEEE 32nd Real-Time Systems Symposium (pp. 104-115). IEEE.

    [BIE 08] C Bienia, S Kumar, JP Singh, K Li. The PARSEC benchmark suite: Characterization and architectural implications. 17th international conference on Parallel architectures and compilation techniques. 2008.

    [ADA 74] Adam, T.L., Chandy, K.M., Dickson, J.R. A comparison of list schedules for parallel processing systems.. Communications of the ACM 17(12), 685–690 (Dec 1974)

    [CIR 07] Cirinei, Michele, and Theodore P. Baker. EDZL scheduling analysis. 19th Euromicro Conference on Real-Time Systems (ECRTS'07). IEEE, 2007.

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

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

    [AND 04] Anderson, James H., Philip Holman, and Anand Srinivasan. Fair Scheduling of Real-Time Tasks on Multiprocessors. 2004.

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

    [BAR 99] Baruah, Sanjoy, et al. Generalized Multiframe Tasks. Real-Time Systems 1.17 (1999): 5-22.

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

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

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

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

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

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

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

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

    [AUD 93] Audsley, Neil, et al. Applying new scheduling theory to static priority pre-emptive scheduling . Software engineering journal 8.5 (1993): 284-292.

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

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

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

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

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

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

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





  2. Articles and presentations related to Cheddar :



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





    [LEB 23] Work-In-Progress: Could Tensorflow applications benefit from a mixed-criticality approach? . Alan Le Boudec, Frank Singhoff, Hai Nam Tran, Stephane Rubini, Sébastien Levieux, Alexandre Skrzyniarz. Brief presentation at the 44nd IEEE Real-Time Systems Symposium (RTSS), Dec 2023, Taipei, Taiwan.

    [HON 23] Real-Time Fixed Priority Scheduling Synthesis using Affine DataFlow Graphs: from Theory to Practice. Alexandre Honorat, Hai Nam Tran, Thierry Gautier, Loïc Besnard, Shuvra S. Bhattacharyya, Jean-Pierre Talpin. ACM Transactions on Embedded Computing Systems, 2023.

    [ATC 23] Exploration d’architectures logicielles pour les systčmes critiques partitionnés sécurisés. Illham Atchadam. Thčse de l'Université de Bretagne Occidentale. Janvier 2023.

    [DJI 23] Detection of scheduling anomalies in real-time system . Blandine Djika, Alain Plantec, Frank Singhoff, Georges Kouamou. Communication invitée aux journées du GDR GPL, Rennes, Juin 2023.

    [DJI 23b] A POSIX/RTEMS monitoring tool and a benchmark to detect real-time scheduling anomalies. Blandine Djika, Georges Kouamou, Frank Singhoff, Alain Plantec. Ada User Journal 2023. WIP track article. AEiC conférence.

    [SIN 23] ADEPT 2022 workshop: a summary of strengths and weaknesses of the AADL ecosystem. Frank Singhoff, Jérôme Hugues, Hai Nam Tran, Gianluca Bardano, Dominique Blouin, Marco Bozzano, Patrick Denzler, Pierre Dissaux, Eric Senn, Xiong Xu, Zhibin Yang. Ada User Journal, volume 44, Number 22, June 2023.

    [VUK 22] Increasing the autonomy of an underwater ROV. Marko Vukšic, Tonko Kovacevic, Barbara Džaja, Predrag Đukic, Slaven Šitic, Hai Nam Tran, Vincent Rodin, Laurent Lemarchand, Valérie-Anne Nicolas, Alain Plantec, Stéphane Rubini, Frank Singhoff. Poster at Sea Tech Week, Sep 2022, Brest, France

    [LEM 22] Design Space Exploration for TSP systems on multicore platforms . under schedulability, security and safety constraints. Laurent Lemarchand, Ill-Ham Atchadam, Frank Singhoff, Hai Nam Tran. GT Optimisation des Systčmes Intégrés (OSI) - GDR SOC2 & RO, Dec 2022, Paris, France

    [TRA 22] Memory hierarchy in scheduling simulation: problems, implementation & return of experience. . Hai Nam Tran, Stéphane Rubini, Jalil Boukhobza, Frank Singhoff. Workshop CAPITAL: sCalable And PrecIse Timing AnaLysis for multicore platforms. June 2022. Grenoble, France.

    [ATC 22b] A design space exploration approach to jointly optimize security and schedulability in TSP systems. Ill-Ham Atchadam, Frank Singhoff, Hai Nam Tran, Laurent Lemarchand. Poster at Colloque du GDR SOC2, Jun 2022, Strasbourg, France

    [ATC 22] Observing the Impact of Multicore Execution Platform for TSP Systems Under Schedulability, Security and Safety Constraints. Ill-Ham Atchadam, L Lemarchand, Frank Singhoff, Hai Nam Tran. DECSOS workshop, Sep 2022, Munich, Germany. pp.83--96

    [RUB 22] Specification of Schedulability Assumptions to Leverage Multiprocessor Analysis Stéphane Rubini, Valérie-Anne Nicolas, Frank Singhoff, Alain Plantec, Hai Nam Tran, Pierre Dissaux. Elsevier Journal of System Architecture. 2022.

    [PLA 22] PLATO N-DPU on-board software: an ideal candidate for multicore scheduling analysis Philippe Plasson, Gabriel Brusq, Frank Singhoff, Hai Nam Tran, Stéphane Rubini, Pierre Dissaux. 10th European Congress ERTSS Embedded Real Time Software and System, Toulouse, France, March 2022.

    [DJI 21] Work-In-Progress: Models and tools to detect Real-Time Scheduling Anomalies. . Blandine Djika, Frank Singhoff, Alain Plantec, Georges Kouamou. Brief presentation at the 42nd IEEE Real-Time Systems Symposium (RTSS), Dec 2021, Dortmund, Germany.

    [ROG 21] Timing analysis of TASTE models for reconfigurable software . JC Roger, P Dissaux, J Legrand, F Singhoff, M Dridi, S Rubini. Model-Based Systems and Software Engineering (MBSE 2021) ESA Workshop. 24-26 September 2021. Virtual Workshop.

    [LAN 21] Optimization of energy consumption with times constraints . Timothé Lannuzel. Master 2 Lse project, 2021.

    [TRA 21] Feasibility Interval and Sustainable Scheduling Simulation with CRPD on Uniprocessor Platform . Hai Nam Tran, Stéphane Rubini, Jalil Boukhobza, Frank Singhoff. Elsevier Journal of System Architecture. 2021.

    [DRI 21] ECTM: A Network-on-Chip Communication Model to Combine Task and Message Schedulability Analysis. Mourad Dridi, Frank Singhoff, Stéphane Rubini, Jean-Philippe Diguet. Elsevier Journal of System Architecture. 2021.

    [ATC 20] When security affects schedulability of TSP systems:trade-offs observed by design space exploration Ill-ham Atchadam, Laurent Lemarchand, Hai Nam Tran, Frank Singhoff, and Karim Bigou. in ETFA 2020 is the 25th Annual Conference on Emerging Technologies and Factory Automation, Vienna, Austria, September 2020.

    [CAD 20] Implementation of an energy-oriented scheduling algorithm Erwann Cadour. TAL report, Université de Bretagne Occidentale,June, 2020.

    [TRA 20] Modeling and scheduling analysis of multi-processor/multi-core/many-core architectures with AADL Frank Singhoff, Stéphane Rubini, Hai Nam Tran (speaker), Pierre Dissaux, Jérôme Legrand AS-2C/AADL SAE Winter working group meeting. Toulouse, France, Jan 2020.

    [DIS 20] Combined Real-Time, Safety and Security Model Analysis P. Dissaux, F. Singhoff, L. Lemarchand, H.N. Tran, I. Atchadam. 9th European Congress ERTSS Embedded Real Time Software and System, Toulouse, France, February 2020.

    [DRI 19] Vers le support des systčmes ŕ criticité mixte sur des architectures NoC M. Dridi. Thčse de l'Université de Bretagne Occidentanle, Brest, Octobre 2019

    [SIN 19] Scheduling analysis of multiprocessor architectures with AADL and Cheddar F. Singhoff (speaker), S. Rubini, N. Tran, L. Lemarchand, M. Dridi, V. Nicolas, J. Boukhobza, P. Dissaux, J. Legrand. AS-2C/AADL SAE Fall working group meeting. Paris, France, June 2019.

    [ATC 19] Combined security and schedulability analysis for MILS real-time critical architectures. Ill-Ham Atchadam, Frank Singhoff, Hai Nam Tran, Nora Bouzid, Laurent Lemarchand. in 4th international workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS), Stuttgart, Germany.

    [DRI 19] ECTM: A New Communication Model to Network-On-Chip Schedulability Analysis. Mourad Dridi, Frank Singhoff, Stéphane Rubini and Jean-Philippe Diguet 24th International Conference on Reliable Software Technologies – Ada-Europe 2019, Warsaw, Poland.

    [SIN 19] Scheduling analysis of AADL architecture models. Frank Singhoff, Pierre Dissaux. Full day Tutorial présented at the CPS-WEEK conferences, Montréal, Canada, April 2019.

    [DIS 19] Ellidiss tools. P. Dissaux, F. Singhoff S. Rubini L. Lemarchand H. Nam Tran. AADL Demo Day UAH, Huntsville, 14 Feb 2019.

    [DRI 19] Design and Multi-Abstraction Level Evaluation of a NoC Router for Mixed-Criticality Real-Time Systems. Mourad Dridi, Stéphane Rubini; Mounir Lallali, Martha Johanna Sepulveda Florez; Frank Singhoff; Jean-Philippe Diguet. ACM Journal on Emerging Technologies in Computing (JETC) Volume 15 Issue 1, February 2019. Article No. 2

    [RUB 18] A Real-Time System Monitoring driven by Scheduling Analysis. Stéphane Rubini, Valérie-Anne Nicolas, Frank Singhoff, José Rufino. Ada User journal. Pages 282-286. Volume 39. Number 4. December 2018. Special issue of the RUME 2018 workshop.

    [NIC 18] Verification of Scheduling Properties Based on Execution Traces. Valérie-Anne Nicolas, Mounir Lallali, Stéphane Rubini, Frank Singhoff. Ada User journal. Pages 291-295. Volume 39. Number 4. December 2018. Special issue of the RUME 2018 workshop.

    [RUF 18] NORTH: Non-intrusive Observation and RunTime verification of cyber-pHysical systems. José Rufino, António Casimiro, Antónia Lopes, Frank Singhoff, Stéphane Rubini, Valérie-Anne Nicolas, Mounir Lallali, Mourad Dridi, Jalil Boukhobza, Lyes Allache. Ada User journal. Pages 278-281. Volume 39. Number 4. December 2018. Special issue of the RUME 2018 workshop.

    [BOU 18] Multi-Objective Optimization and Design Space Exploration of Critical Real-Time Systems. Rahma BOUAZIZ FRIKHA. Phd thesis of the ENIS SFAX. July 2018.

    [SIN 18a] About Early Scheduling Verification Of Embedded Real-Time Critical Systems: An Example With AADL. F. Singhoff, S. Rubini, N. Tran, M. Dridi,J. Boukhobza, A. Plantec, L. Lemarchand, J.P. Diguet, P. Dissaux, J. Legrand, A. Schach, V.A. Nicolas. Invited presentation at SYRCoSE 2018, 12th Spring/Summer Young Researchers’ Colloquium on Software Engineering, May-June 2018, Novgorod the Great, Russia.

    [BOUA 18] Multi-Objective Design Exploration Approach for Ravenscar Real-time Systems. Rahma Bouaziz, Laurent Lemarchand, Frank Singhoff, Béchir Zalila, Mohamed Jmaiel. Real-Time Systems, Springer Verlag, 2018, 54 (2), pp 424-483.

    [SIN 18b] Scheduling analysis of AADL architecture models. Frank Singhoff, Pierre Dissaux. Full day tutorial présented at the 23rd International Conference on Reliable Software Technologies - Ada-Europe, Jun 2018, Lisbon, Portugal.

    [DRI 17a] NoC and Mixed-criticality Systems. Mourad Dridi (speaker), Stéphane Rubini, Mounir Lallali, Frank Singhoff, Jean-Philippe Diguet, Martha Johanna. Invited presentation at Journée Thématique du GDR SoC2 , Paris, November 2017.

    [DRI 17b] 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 17c] 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. Invited presentation at GDR SOC-SIP/IRT Saint Exupéry scientific day about the Use of AADL for Hardware and Software Co-development. 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.

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

    [SIN 13] How architecture description languages help schedulability analysis: a return of experience from the Cheddar project. Frank Singhoff, Alain Plantec, Stéphane Rubini, Vincent Gaudel, Shuai Li, Christian Fotsing, Pierre Dissaux, Jérôme Legrand, Laurent Lemarchand. Lab-STICC Technical Report, 2013, Brest, France.

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

    [SIN 09b] A model-driven engineering approach for rapid real-time system simulations. Alain Plantec, Frank Singhoff, Mickael Kerboeuf. LISYC Technical Report, 2009, Brest, France.

    [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 09a] 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