Publications
Publications






    Books or book chapters

    1. Toward a Complete Agent-Based Model of a Honeybee Colony. Rivière, Jérémy, Alaux, Cédric, Le Conte, Yves, Layec, Yves, Lozac’h, André, Rodin, Vincent, Singhoff, Frank . In: Bajo J. et al. (eds) Highlights of Practical Applications of Agents, Multi-Agent Systems, and Complexity. The PAAMS Collection. PAAMS 2018. Communications in Computer and Information Science, vol 887. pp 493-505. Springer, Cham. (classée A dans CORE2018).
    2. 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.




    Articles in International Journals

    1. A POSIX/RTEMS monitoring tool and a benchmark to detect real-time scheduling anomalies. B. Djika, G. Kouamou, F. Singhoff, A. Plantec. To be publisined in the Ada User Journal, volume 44, December 2023. Proceedings of the WIP track of the AEiC 2023 conference, Lisbon, Portugal.
    2. ADEPT 2022 workshop: a summary of strengths and weaknesses of the AADL ecosystem. F. Singhoff, J. Hugues, H. N. Tran, G. Bardano, D. Blouin, M. Bozzano, P. Denzler, P. Dissaux, E. Senn, X. Xu, Z. Yang. Ada User Journal, volume 44, Number 22, pp 125-128, June 2023.
    3. Specification of schedulability assumptions to leverage multiprocessor Analysis. S. Rubini, V.A. Nicolas, F. Singhoff, A. Plantec, H.N. Tran, P. Dissaux. Journal of Systems Architecture, volume 133, 102761, October 2022, Elsevier.
    4. EZIOTracer: Unifying Kernel and User Space I/O Tracing for Data-Intensive Applications . M. I. Naas, F. Trahay, A. Colin, P. Olivier, S. Rubini, F. Singhoff, J. Boukhobza. ACM SIGOPS Operating Systems Review, 55 (1), pp 88-98. 2021.
    5. Feasibility interval and sustainable scheduling simulation with CRPD on uniprocessor platform . H.N. Tran, S. Rubini, J. Boukhobza, F. Singhoff. Journal of Systems Architecture, Volume 115, May 2021, 102007, Elsevier.
    6. ECTM: A Network-on-Chip Communication Model to Combine Task and Message Schedulability Analysis. M. Dridi, F. Singhoff, S. Rubini, J.P. Diguet. Journal of Systems Architecture, Volume 114, March 2021, 101931, Elsevier.
    7. Design and Multi-Abstraction Level Evaluation of a NoC Router for Mixed-Criticality Real-Time Systems. M. Dridi, S. Rubini, M. Lallali, M. J. Sepulveda Florez, F. Singhoff, J.P. Diguet.pp 1–37 ACM Journal on Emerging Technologies in Computing (JETC), Volume 15, Issue 1, Article No. 2, pp 1–37, February 2019.
    8. A Real-Time System Monitoring driven by Scheduling Analysis. S. Rubini, V.A. Nicolas, F. Singhoff, J. Rufino. Ada User journal, pages 282-286, Volume 39, Number 4. December 2018. Special issue of the RUME 2018 workshop.
    9. Verification of Scheduling Properties Based on Execution Traces. V.A. Nicolas, M. Lallali, S. Rubini, F. Singhoff. Ada User journal, pages 291-295, Volume 39, Number 4. December 2018. Special issue of the RUME 2018 workshop.
    10. NORTH: Non-intrusive Observation and RunTime verification of Cyber-Physical Systems. J. Rufino, A. Casimiro, A. Lopes, F. Singhoff, S. Rubini, V.A. Nicolas, M. Lallali, M. Dridi, J. Boukhobza, L. Allache. Ada User journal, pages 278-281, Volume 39, Number 4, December 2018. Special issue of the RUME 2018 workshop.
    11. Multi-Objective Design Exploration Approach for Ravenscar Real-Time Systems. . R. Bouaziz, L. Lemarchand, F. Singhoff, B. Zalila, M. Jmaiel. Journal of Real-Time Systems, Springer-Verlag, April 2018, Volume 54, Issue 2, pages 424–483.
    12. MONTRES : Merge ON-The-Run External Sorting Algorithm For Large Data Volumes On SSD Based Storage Systems. A. Laga, J. Boukhobza, F. Singhoff, M. Koskas. IEEE Transactions on Computers, vol. 66, no. 10, pages 1689-1702, October, 2017. doi: 10.1109/TC.2017.2706678.
    13. Scheduling analysis of tasks constrained by TDMA: Application to software radio protocols. S. Li, F. Singhoff, S. Rubini, M. Bourdelles. Journal of Systems Architecture Volume 76, May 2017, pages 58-75, Elsevier.
    14. Integrating I/Os in Cloudsim for Performance and Energy Estimation. H. Ouarnoughi, J. Boukhobza, F. Singhoff, S. Rubini. ACM Operating Systems Review, 50(2), pages 27-36, January 2017.
    15. Cache-Aware Real-Time Scheduling Simulator: Implementation and Return of Experience . H.N. Tran, F. Singhoff, S. Rubini, J. Boukhobza. ACM SIGBED Review. vol 13, num 1, pages 22-28, March 2016. Special issue of the 5th Embedded Operating Systems Workshop, organized as part of Embedded Systems Week October 8th, 2015 – Amsterdam, The Netherlands.
    16. 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.
    17. 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.
    18. 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.
    19. 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.
    20. 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. Best student paper award.
    21. 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.
    22. 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, New York, USA, November 2009, ISSN:1094-3641. Special issue of the proceedings of the international ACM SIGAda conference, Florida, Tampa Bay, USA.
    23. AADL Modeling and Analysis of Hierarchical Schedulers. F. Singhoff and A. Plantec. ACM SIGAda Ada Letters, volume 27, number 3, pages 41-50. ACM New York, USA, November 2007, ISSN:1094-3641. Special issue of the proceedings of the international ACM SIGAda conference, Washington, Virginia, USA.
    24. 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. ACM Press, New York, USA, November 2006, ISSN:1094-3641. Special issue of the proceedings of the international ACM SIGAda conference, Albuquerque, New Mexico, USA.
    25. Modelling and Simulation of Interactions Between the Local Command Units and the Supervisor of an Automated Assembly Line: a Case Study. L. Plassart, P. Le Parc, F. Singhoff and L. Marcé. Journal of Machine Engineering, volume 5, number 1-2, pages 210-221, 2005. Edited by Jerzy Jedrzejewski, ISSN :1642-6568.
    26. 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. ACM Press, New York, USA. November 2005, ISSN:1094-3641. Special issue of the proceedings of the international ACM SIGAda conference, Atlanta, Georgia, USA.
    27. 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. ACM Press, New York, USA. December 2004, ISSN:1094-3641. Special issue of the proceedings of the international ACM SIGAda conference, Atlanta, Georgia, USA.




    Articles in National Journals

    1. Modèle multi-agent d’auto-organisation pour le butinage au sein d’une colonie d’abeilles. J. Rivière, T. Alves, C. Alaux, Y. Le Conte, Y. Layec, A. Lozac’h, F. Singhoff, V. Rodin. Revue Ouverte d'Intelligence Artificielle, 3 (5-6), pp 423-450, 10.5802/roia.38.
    2. Sensibiliser les étudiants aux abeilles, et plus généralement aux pollinisateurs : un exemple avec le dispositif des « unités d’enseignements libres » à la Faculté des Sciences et Techniques de Brest. F. Singhoff, C. Roudaut, Y. Layec, X. Dauvergne, M. Auffret, S. Creoff, J.L. Le Luron, A. Fessant. La santé de l'abeille. Numéro 272. Mars/Avril 2016. pages 171-174.
    3. 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.
    4. Modélisation et support d'applications multimédias réparties. I. Demeure, L. Leboucher N. Rivierre et F. Singhoff. Revue Calculateurs parallèles, Réseaux et Systèmes répartis. Hermès, Septembre 1999, volume 11, numéro 2, pages 161-191, ISSN:1260-3198.
    5. Expériences de mise au point d'un algorithme réparti. X. Blondel, L. Rosenfeld, F. Ruget et F. Singhoff. Revue Technique et Science Informatiques (TSI), Hermès, Décembre 1998, volume 17, numéro 10, pages 1247-1275, ISSN:0752-4072.




    Invited talks

    1. Detection of scheduling anomalies in real-time system. Blandine Djika (speaker), Alain Plantec, Frank Singhoff, Georges Kouamou. Communication invitée aux journées du GDR GPL, Rennes, Juin 2023.
    2. Memory hierarchy in scheduling simulation: problems, implementation and return of experience. Hai Nam Tran (speaker), Stéphane Rubini, Jalil Boukhobza, Frank Singhoff. Workshop CAPITAL: sCalable And PrecIse Timing AnaLysis for multicore platforms. June 2022. Grenoble, France.
    3. Design Space Exploration for TSP systems on multicore platforms under schedulability, security and safety constraints. Laurent Lemarchand (speaker), Ill-Ham Atchadam, Frank Singhoff, Hai Nam Tran. GT Optimisation des Systèmes Intégrés (OSI) - GDR SOC2 and RO, Décembre 2022, Paris, France
    4. About Early Scheduling Verification Of Embedded Real-Time Critical Systems: An Example With AADL. F. Singhoff (speaker), 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.
    5. NoC and Mixed-criticality Systems. Mourad Dridi (speaker), Stéphane Rubini, Mounir Lallali, Frank Singhoff, Jean-Philippe Diguet, Martha Johanna. Journée Thématique du GDR SoC2 , Paris, Novembre 2017.
    6. 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. Journée Thématique du GDR SoC-SIP et de l’IRT Saint-Exupéry AADL pour le co-développement logiciel-matériel", Paris, Novembre 2016.
    7. Cheddar : about the usability of the real-time scheduling theory. F. Singhoff (speaker). CCT CNES Seminar. June 2013.
    8. About architecture description languages and scheduling analysis. Frank Singhoff (speaker). Schloss Dagstuhl, seminar number 12272 on Architecture-Driven Semantic Analysis of Embedded Systems. July 2012.
    9. Panel session on AADL and its annexes. J. Hugues, L. Pautet, M. Filali, F. Singhoff. 15th IEEE International Conference on Engineering of Complex Computer Systems, University of Oxford, UK, 22-26 March 2010.




    Tutorials

    1. Real-time scheduling analysis of SDF graphs: an example with Cheddar. Hai Nam Tran (speaker), Frank Singhoff. Tutorial at Summer school AMLE (Adaptive Machine Learning at the Network Edge). Lorient 2023.
    2. Real-time scheduling analysis of SDF graphs: an example with Cheddar. Hai Nam Tran (speaker), Frank Singhoff. Tutorial at Summer school AMLE (Adaptive Machine Learning at the Network Edge). Lorient 2022.
    3. TP Cheddar sur l'ordonnancement temps réel. Hai Nam Tran (speaker), Frank Singhoff. Travaux pratiques assurés à l’école d'été temps réel (ETR'2021). Septembre 2021. Poitiers.
    4. Scheduling analysis of AADL architecture models. Frank Singhoff (speaker), Pierre Dissaux. Full day Tutorial présented at the CPS-WEEK conferences, Montréal, Canada, April 2019.
    5. Scheduling analysis of AADL architecture models. Frank Singhoff (speaker), Pierre Dissaux (speaker). Full day tutorial présented at the 23rd International Conference on Reliable Software Technologies - Ada-Europe, Jun 2018, Lisbon, Portugal.
    6. Patrons de conception pour l’analyse d’ordonnancement temps réel multiprocesseurs. Stéphane Rubini, Frank Singhoff (speaker), Alain Plantec, Hai Nam Tran, Jalil Boukhobza, and Pierre Dissaux. Tutoriel présenté à l’école d'été temps réel (ETR'2017). Septembre 2017. Rennes.
    7. Teaching Real-Time Scheduling Analysis with Cheddar . Frank Singhoff (speaker), 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. Tutoriel présenté à l’école d'été temps réel (ETR'2015). Septembre 2015. Rennes.
    8. AADLv2, An Architecture Description Language for the Analysis and Generation of Embedded Systems. J. Hugues (speaker), F. Singhoff (speaker). Half day tutorial presented in the ACM HILT conference, Portland, USA, October 2014.
    9. AADLv2, a Domain Specific Language for the Modeling, the Analysis and the Generation of Real-Time Embedded Systems. F. Singhoff (speaker), J. Hugues (speaker). Half day tutorial presented in the ACM/IEEE International MODELS conference, Valencia, Spain, September 2014.
    10. AADLv2, an Architecture Description Language for the Analysis and Generation of Embedded Systems. (slides). (resume). J. Hugues (speaker), F. Singhoff (speaker). Half day tutorial presented in the International ESWEEK conferences, Montreal, Canada, September 2013.
    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.
    12. 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 (ETR'2009). Septembre 2009. Pages 25-34. Paris.
    13. About real time scheduling analysis of Ada applications. F. Singhoff. Half day tutorial presented in the 13th International Reliable Software Technologies conference, Venice, June 2008.
    14. Real time scheduling and its use with Ada. F. Singhoff. Half day tutorial presented in the International ACM SIGAda conference, Washington DC, November 2007.




    Articles in international conferences or workshops with program committee with proceedings

    1. Work-In-Progress: Could Tensorflow applications benefit from a mixed-criticality approach? A. Le Boudec, F. Singhoff, H.N. Tran, S. Rubini, S. Levieux, A. Skrzyniarz. Brief presentation at the 44th IEEE Real-Time Systems Symposium (RTSS), Dec 2023, Taipei, Taiwan.
    2. Observing the Impact of Multicore Execution Platform for TSP Systems Under Schedulability, Security and Safety Constraints I.H. Atchadam, L. Lemarchand, F. Singhoff, H. N. Tran. DECSOS workshop, satellite workshop of the 41th International Conference on Computer Safety, Reliability and Security, September 2022, Munich, Germany, pages 83--96.
    3. PLATO N-DPU on-board software: an ideal candidate for multicore scheduling analysis P. Plasson, G. Brusq, F. Singhoff, H.N. Tran, S. Rubini, Pierre Dissaux 11th European Congress ERTSS Embedded Real Time Software and System, 2022, Toulouse, France
    4. Work-In-Progress: Models and tools to detect Real-Time Scheduling Anomalies. B. Djika, F. Singhoff, A. Plantec, G. Kouamou. Brief Presentation (WIP) at the 42nd IEEE Real-Time Systems Symposium (RTSS). December 2021. p. 540-543.
    5. Timing analysis of TASTE models for reconfigurable software . Jean-Charles Roger, Pierre Dissaux, Jérôme Legrand, Mourad Dridi, Stéphane Rubini, Frank Singhoff. Model-Based Systems and Software Engineering (MBSE 2021) ESA Workshop 29 - 30 September 2021.
    6. 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.
    7. An Interruptible Task Allocation Model: Application to a Honey Bee Colony Simulation Thomas Alves, Jérémy Rivière, Cédric Alaux, Yves Le Conte, Frank Singhoff, Thierry Duval, Vincent Rodin. 18th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS, October 2020, L'Aquila, Italy
    8. 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.
    9. 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. July 2019.
    10. 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 2017 IEEE International Conference on Computer Design (ICCD), Boston, MA, 2017, pp. 229-232. doi: 10.1109/ICCD.2017.42
    11. 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
    12. Efficient Parallel Multi-Objective Optimization for Real-time Systems Software Design Exploration . Rahma Bouaziz, Laurent Lemarchand, Frank Singhoff, Bechir Zalila, Mohamed Jmaiel. 27th International Symposium on Rapid System Prototyping (RSP) , October 6-7, 2016, Pittsburgh, PA, USA.
    13. Application of AADL for Marine Control Systems. Aman Batra, Sofien Kerkeni, Pierre Dissaux, Frank Singhoff. Dynamic positioning confernce. October 11-12, 2016, Houston, USA.
    14. Lynx: a learning linux prefetching mechanism for SSD performance model. Arezki Laga, Jalil Boukhobza, Michel Koskas, Frank Singhoff. 5th Non-Volatile Memory Systems and Applications Symposium (NVMSA), August 2016.
    15. Considering I/O Processing in CloudSim for Performance and Energy Evaluation. Hamza Ouarnoughi, Jalil Boukhobza, Frank Singhoff and Stéphane Rubini. in Lecture Notes in Computer Science number 9945, pp 591-603. June 2016. isc'16@WOPSSS, The Workshop on Performance and Scalability of Storage Systems, Frankfurt, Germany.
    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).
    17. A Cost Model for Virtual Machine Storage in Cloud IaaS Context. Hamza Ouarnoughi, Jalil Boukhobza, Frank Singhoff and Stéphane Rubini. 24th IEEE Euromicro International Conference on Parallel, Distributed, and Network-Based Processing PDP 2016. Feb 17th-19h, 2016, Heraklion, Crete, Greece
    18. Architecture Exploration of Real-time Systems Based on Multi-Objective Optimization . Rahma Bouaziz, Laurent Lemarchand, Frank Singhoff, Bechir Zalila, Mohamed Jmaiel 20th International Conference on Engineering of Complex Computer Systems, December 9-12, Gold Coast, Australia. 2015. pages 1-10.
    19. 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. pages 1-8.
    20. 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). pages 44-50. October 16-17, 2014, New Delhi, India.
    21. 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 international conference.
    22. A Multilevel I/O Tracer for Timing and Performance Analysis of Storage Systems in IaaS Cloud. Hamza Ouarnoughi, Jalil Boukhobza, Frank Singhoff, Stéphane Rubini. 3rd IEEE Int' Workshop on Real-time and Distributed Computing in Emerging Applications (REACTION), Rome, December 2014. In conjonction with the IEEE RTSS international conference.
    23. 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.
    24. 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 Best paper award. pages 585-594.
    25. Instruction cache in hard real-time systems: modeling and integration in scheduling analysis tools with AADL H. N. Tran, F. Singhoff, S. Rubini, J. Boukhobza. 12th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC 14). August 2014. Milan, Italy. pages 104-111.
    26. 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.
    27. 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. pages 1-8.
    28. 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. pages 1-4.
    29. Synchronization of Models of Large Meta-Models with Triple Graph Grammars: an Experience Report. . D. Blouin, A. Plantec, F. Singhoff, P. Dissaux and J.P. Diguet. 7th International Conference on Model Transformation (ICMT 2014). July 2014. York. England. pages 106-121.
    30. 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.
    31. 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. pages 59-65.
    32. Deterministic Implementation of Periodic-Delayed Communications and Experimentation in AADL. Fabien Cadoret, Thomas Robert, Etienne Borde, Laurent Pautet, and Frank Singhoff. 17th IEEE Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC 2013). Paderborn, German. June 2013. pages 1-8.
    33. 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. pages 582-585.
    34. 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.
    35. 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.
    36. 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.
    37. 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 (ISOLA 2010). 18-20 October 2010. Amirandes, Heraklion, Crete. Greece. Lecture Notes on Computer Science/LNCS. Volume 6415. Pages 4-17. The original publication is available at http://www.springerlink.com.
    38. 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. In the proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, University of Oxford, UK, 22-26 March 2010. Pages 367-372.
    39. 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.
    40. Stood and Cheddar : AADL as a pivot Language for Analysing Performances of Real Time Architectures. P. Dissaux and F. Singhoff. 4th European Congress ERTSS Embedded Real Time Software and System, Toulouse, France, January 2008.
    41. Can we increase the usability of real time scheduling theory ? The Cheddar project. F. Singhoff, A. Plantec and P. Dissaux. Invited paper in the 13th International Conference on Reliable Software Technologies, Ada-Europe, Lecture Notes on Computer Science/LNCS, Springer-Verlag, volume 5026, pages 240-253, Venice, June 2008. The original publication is available at http://www.springerlink.com.
    42. 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, Lecture Notes on Computer Science/LNCS, Springer-Verlag, Volume 4498, pages 180-191, Geneva, June 2007. The original publication is available at http://www.springerlink.com.
    43. 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, number SP-630, Berlin, 22-25 May, 2006.
    44. Performance Analysis of an Assembly System: A case study. J-L. Cojan, L. Plassart, F. Singhoff and P. Le Parc. 2nd European Modeling and Simulation Symposium, October 4-6, 2006, Barcelona, Spain, pages 189-194.
    45. Performance Evaluation of a Controlled Flow-shop System with a Timed Petri Net Model. L. Plassart, P. Le Parc, F. Singhoff and L. Marcé. 3rd International Conference on Informatics in Control, Automation and Robotics (ICINCO'06), vol. 2, Setubal, Portugal, pages 494-499, August 2006.
    46. Embedded intelligent Supervision and piloting for oceanographic AUV.L. Nana, F. Singhoff, J. Legrand, J. Vareille, P. Le Parc, F. Monin, D. Massé, L. Marcé, J. Opderbecke, M. Perrier and V. Rigaud. IEEE Oceanic Engineering Society (OCEANS'05), 20-23 June 2005, pages 889-895, Vol. 2, France, Brest.
    47. 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. number SP-570, pp. 367-377, Nice, France, 28-30 July, 2004.
    48. 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.
    49. Modeling and Testing of PILOT Plans Interpretation Algorithms. L. Nana, J. Legrand, F. Singhoff and L. Marcé. IEEE Multi-conference on computational Engineering in Systems Applications, Lille, July 2003.
    50. Automatic Scheduling of a Dynamic Multimedia Applications with Polka : a Case Study. I. Demeure, F. Singhoff and F. Horn. 4th IEEE Real-Time Technology and Applications Symposium (RTAS'98), WIP session, Denver, Colorado, June 3-5 1998, pages 15-19.




    Articles in national conferences or workshops with proceedings and program committee

    1. Modèle d’Interruption pour la Répartition des Tâches : Application pour une simulation de colonie d’abeilles. Thomas Alves, Jeremy Riviere, Cedric Allaux, Yves Le Comte, Frank Singhoff, Thierry Duval, Vincent Rodin. 18ème Rencontres des Jeunes Chercheur/ses en Intelligence Artificielle, juin 2020, Angers.
    2. Recrutement et auto-organisation : Vers un modèle multi-agent complet d'une colonie d'abeilles. Jérémy Rivière, Cédric Alaux, Yves Le Conte, Yves Layec, André Lozac'h, Vincent Rodin, Frank Singhoff: Journées Francophones sur les Systèmes Multi-Agents (JFSMA), 2018, Octobre. 149-158.
    3. 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.
    4. 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.
    5. 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.
    6. Modélisation, simulation et test des algorithmes d'interprétation de plans Pilot L. Nana, J. Legrand, F. Singhoff et L. Marcé. Conférence Francophone de modélisation et simulation, Toulouse, Avril 2003.
    7. Modèle et plate-forme pour le support d'applications multimédias réparties. I. Demeure, L. Leboucher, N. Rivierre et F. Singhoff. Conférence Francaise sur les systèmes d'exploitation (CFSE'1), pages 97-108, Rennes, 8-11 Juin 1999.
    8. Environnement d'exécution pour les applications réparties sous contraintes temporelles : une solution CORBA-RTP. F. Singhoff and I. Demeure. 10ième Rencontres Francophones du Parallélisme (RENPAR'10), Strasbourg, 9-12 Juin 1998., pages 53-57.
    9. Spécification et ordonnancement dynamique d'applications multimédias : l'environnement POLKA. F. Singhoff and I. Demeure. 6th Conference RTS embedded systems 1998, pages 101-115, Paris la Défense, Janvier 1998.
    10. Expérimentation du modèle Saturne sur Chorus et Cool. C. Campan, Y. Le Biannic et F. Singhoff. 5th Conference RTS embedded systems 1997, pages 345-357, Paris la Défense, 15-17 Janvier 1997.
    11. Apport d'un "debugger" de communication au prototypage d'une mémoire répartie partagée. L. Rosenfeld, F. Ruget et F. Singhoff. MPR'96, journées sur la Mémoire Partagée Répartie, pages 135-142, Bordeaux, 6-7 mai 1996.




    Workshops, Seminars and Talks without proceeding. Posters

    1. 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 the Sea Tech Week, Sep 2022, Brest, France
    2. Work-in-progress: Ontology-driven Generation of AADL architecture Models. Perig Dissaux (speaker), Catherine Dezan, Frank Singhoff, Jérome Legrand, Pierre Dissaux. Poster at Colloque du GDR SOC2, June 2022, Strasbourg, France
    3. A design space exploration approach to jointly optimize security and schedulability in TSP systems. Ill-Ham Atchadam (speaker), Frank Singhoff, Hai Nam Tran, Laurent Lemarchand. Poster at Colloque du GDR SOC2, Jun 2022, Strasbourg, France
    4. 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.
    5. 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.
    6. 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.
    7. Ellidiss tools. P. Dissaux (speaker), F. Singhoff S. Rubini L. Lemarchand H. Nam Tran. AADL Demo Day UAH, Huntsville, 14 Feb 2019.
    8. AADL tools-chain cook book. Frank Singhoff (speaker). AS-2C/AADL SAE Winter working group meeting. Toulouse, France, Jan 2018.
    9. 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.
    10. 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. AS-2C/AADL SAE Fall working group meeting. Pittsburgh, USA, October, 2016.
    11. Integrated Multi-Processing Systems S. Rubini, F. Singhoff. AADL standards meeting, Paris, April, 2015
    12. 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.
    13. 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.
    14. 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.
    15. AADL subset annex F. Singhoff et al. AS-2C/AADL SAE Winter working group meeting. Toulouse, France, January, 2012.
    16. Automatically adapt Cheddar to your needs. A. Plantec, V. Gaudel, S. Rubini, F. Singhoff, P. Dissaux, J. Legrand. AS-2C/AADL SAE Fall working group meeting. Toulouse, France, October 2011.
    17. Cheddar Update and Research Roadmap. F. Singhoff, P. Dissaux, J. Legrand, V. Gaudel, A. Plantec, S. Rubini. AS-2C/AADL SAE Spring working group meeting. Paris, France, june 2011.
    18. Automatic Selection of Feasibility Tests With the Use of AADL Design Patterns. V. Gaudel, F. Singhoff, A. Plantec, S. Rubini, P. Dissaux, J. Legrand. AS-2C/AADL SAE Spring working group meeting. Paris, France, june 2011.
    19. Modelling and Verification of Memory Architecture with AADL and REAL.Stéphane Rubini, Frank Singhoff, Jérôme Hugues. AS-2C/AADL SAE Spring working group meeting. Paris, France, june 2011.
    20. Demonstration of STOOD toolset capabilities including AADL specification, Cheddar scheduling analysis and Architecture Simulation. Dissaux P and Singhoff F. AADL Workshop in conjonction with the 14th International Conference on Reliable Software Technologies - Ada-Europe 2009. Brest, June 2009.
    21. The AADL for Real-Time modelling. Dissaux P, Hugues J and Singhoff F. ESA Workshop on Avionics Data, Control and Software Systems (ADCSS). ESA/ESTEC, The Netherlands. October 2008.
    22. AADL performance analysis with Cheddar : a summary. Dissaux P, Legrand J, Plantec A and Singhoff F. AS-2C/AADL SAE Spring working group meeting . Sevilla, Spain, Avril 2008.
    23. A propos de l'applicabilité de la théorie de l'ordonnancement temps réel : le projet Cheddar. F. Singhoff et A. Plantec. Séminaire de l'IRIT, Toulouse, Novembre 2007.
    24. Implementing tools for the Cheddar programming language with Platypus. F. Singhoff F et A. Plantec. LISyC, journées de l'Aber-Wrac'h EA3883, Juin 2007.
    25. AADL resource requirements analysis with Cheddar.F. Singhoff, J. Legrand and L. Nana. AS-2C/AADL SAE Working Group meeting, Paris, France, October 19-21, 2005.
    26. The stood-cheddar platform. P. Dissaux, F. Singhoff, J. Legrand and L. Nana. AS-2C/AADL SAE Summer Working Group meeting, Grand Rapids, USA, July 11-14, 2005.
    27. Modélisation et simulation des interactions entre les unités de commande locale et le superviseur d'une ligne d'assemblage : Une étude de cas. L. Plassart, F. Singhoff, P. Le Parc et L. Marcé. Séminaire du LISyC (EA 3883), 13-14 juin 2005, AberWrac'h.




    Technical reports

    1. A taxonomy of real time scheduling theory feasibility tests. Frank Singhoff. LISyC Technical report number singhoff-01-2010, December 2010.
    2. The Cheddar AADL Property sets (Release 2.x). F. Singhoff. LISyC Technical report number singhoff-03-2007, February 2007.
    3. Cheddar Release 2.x User's Guide. F. Singhoff. LISyC Technical report number singhoff-01-2007, February 2007.
    4. The Cheddar Release 2.x FAQ. F. Singhoff. LISyC Technical report number singhoff-02-2007, February 2007.
    5. Analyse de tampons partagés par des tâches périodiques et indépendantes. J. Legrand, F. Singhoff, L. Nana Tchamnda et L. Marcé. LISyC Technical report number legrand-01-2005, January 2005.
    6. Performance Analysis of Buffers Shared by Independent Periodic Tasks. J. Legrand, F. Singhoff, L. Nana and L. Marcé. LISyC Technical report number legrand-02-2004, January 2004.
    7. Cheddar Release 1.x User's Guide. F. Singhoff, J. Legrand, L. Nana and L. Marcé. EA 2215 Technical report number singhoff-01-2003, September 2003.
    8. Support of Temporal QoS Constraints for Distributed Object Oriented Multimedia Applications. I. Demeure, L. Leboucher, N. Rivierre and F. Singhoff. LIMI/EA2215 technical report number singhoff-02-2002, February 2002.
    9. Synthèse sur la gestion des ressources dans les systèmes multimédias répartis. F. Singhoff et I. Demeure. Rapport de recherche LIMI/EA2215 numéro singhoff-03-2002, Mars 2002.




    Thesis

    1. A propos de l'applicabilité de la théorie de l'ordonnancement temps réel. F. Singhoff. Habilitation à diriger des recherches, Université de Bretagne Occidentale, Brest, Novembre 2008.
    2. Spécification temporelle modulaire et support pour les applications multimédias réparties. F. Singhoff. Thèse de doctorat de l'Ecole Nationale Supérieure des Télécommunications, Paris, Décembre 1999.
    3. Mise en oeuvre du modèle Saturne sur Chorus/cool. F. Singhoff. Mémoire d'ingénieur du Conservatoire National des Arts et Métiers, Centre de Paris, Septembre 1996.
    4. Réalisation d'un sous-système tolérant les pannes sur Chorus/cool. F. Singhoff. Mémoire de DEA systèmes informatiques, Université Paris 6, Septembre 1996.
    5. Une synthèse bibliographique sur les disques RAID. F. Singhoff. Rapport probatoire, Conservatoire National des Arts et Métiers, Janvier 1996.