2026
Special issue
- titre
- ADEPT 2024 Workshop Summary
- auteur
- Hai Nam Tran, Frank Singhoff, Jérôme Hugues, Emmanuel Grolleau, Leandro Buss Becker, Leonidas Kosmidis, Monica Michelle Villegas Arias, Bruce Lewis, Steve Vestal, Pierre Dissaux
- article
- Ada Letters, 45 (1), pp.41-43, 2026, ACM SigAda, ⟨10.1145/3784987.3784988⟩
- Accès au bibtex
-
2025
Conference papers
- titre
- PrAICC: A Predictible Inter-Core Communication Model for AMP systems
- auteur
- Sébastien Levieux, Pierre-Vincent Gouel, Leeroy Malac-Allain, Lucas Mines, Philippe Plasson, Stéphane Rubini, Frank Singhoff
- article
- 2nd European Data Handling & Data Processing Conference, EDHPC 2025, ESA/IEEE, Oct 2025, Elche, Spain
- Accès au bibtex
-
- titre
- q-AMC: Integrating Quality Management in Mixed Criticality Scheduling
- auteur
- Alan Le Boudec, Hai Nam Tran, Stéphane Rubini, Alexandre Skrzyniarz, Frank Singhoff
- article
- 30th IEEE International Conference on Emerging Technologies and Factory Automation, Sep 2025, Porto, Portugal
- Accès au bibtex
-
- titre
- Can we design a model to identify scheduling anomalies?
- auteur
- Blandine Djika, Alain Plantec, Georges Edouard Kouamou, Frank Singhoff
- article
- 14th International Real-Time Scheduling Open Problems Seminar (RTSOPS 2025), Jul 2025, Bruxelle, Belgium
- Accès au bibtex
-
- titre
- Simulation and Optimisation of a Submarine ROV with AADL
- auteur
- Ivan Kovačević, Jure Antunovicz, Tonko Kovacevic, Laurent Lemarchand, Frank Singhoff
- article
- 4th ADEPT workshop: AADL by its practitioners, Jun 2025, Paris, France
- Accès au bibtex
-
- titre
- How to Model and Quantify Interference in Multicore Space Flight Software
- auteur
- Sébastien Levieux, Stéphane Rubini, Philippe Plasson, Lucas Miné, Pierre-Vincent Gouel, Leeroy Malac-Allain, Gabriel Brusq, Frank Singhoff
- article
- CAPITAL Workshop 2025: sCalable And PrecIse Timing AnaLysis for multicore platforms, May 2025, Paris, France
- Accès au bibtex
-
Poster communications
- titre
- Poster: Reusable software components to prototype and evaluate mixed-criticality scheduling policies
- auteur
- Alan Le Boudec, Hai Nam Tran, Stéphane Rubini, Alexandre Skrzyniarz, Frank Singhoff
- article
- 31st IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA, Aug 2025, Singapore, Singapore
- Accès au bibtex
-
2024
Journal articles
- titre
- An Iterative Benchmark Configuration Method for Quantifying Multi-Core Interference
- auteur
- Sébastien Levieux, Frank Singhoff, Stéphane Rubini, Philippe Plasson, Pierre-Vincent Gouel, Lee-Roy Malac-Allain, Lucas Miné, Gabriel Brusq
- article
- Ada Letters, 2024, ACM SigAda. Proceedings of the WIP track of the AEiC 2024 conference, 44 (1), pp.78-84. ⟨10.1145/3706601.3706615⟩
- Accès au bibtex
-
Conference papers
- titre
- Executable AADL Models for Early System Qualification Test
- auteur
- Stéphane Rubini, Sébastien Levieux, Eric Cariou, Frank Singhoff, Hai Nam Tran, Gilles Le Pluart
- article
- 3rd ADEPT workshop: AADL by its practitioners, Jun 2024, Barcelona, Spain
- Accès au bibtex
-
- titre
- AADL Modeling and Schedulability analysis of Multiprocessor Architectures
- auteur
- Frank Singhoff, Stéphane Rubini, Hai Nam Tran, Sébastien Levieux
- article
- 3rd ADEPT workshop: AADL by its practitioners, Jun 2024, Barcelona, Spain
- Accès au bibtex
-
Special issue
- titre
- ADEPT 2023 Workshop Summary
- auteur
- Hai Nam Tran, Frank Singhoff, Jérôme Hugues, Pierre Dissaux, Bruce Lewis, Hazel Shackleton, Joseph Kiniry, Frank Zeyda, Mittal Rakshit, Dominique Blouin, Anish Bhobe, Laurent Pautet, Kyungmin Bae, Peter Csaba Ölveczky, Brian R Larson, Ehsan Ahmadifar, Leonidas Kosmidis, Hugo Valente, Miguel a Miguel, Ángel G Perez, Alejandro Perez Alonso, Juan Zamorano, Juan Antonio de La Puente
- article
- Ada Letters, 44 (1), pp.23-25, 2024, ACM SigAda, ⟨10.1145/3706601.3706603⟩
- Accès au bibtex
-
Poster communications
- titre
- ROV-OPERATE: system engineering of an underwater ROV for early verification and automatic synthesis
- auteur
- Rodin Vincent, Vukšić Marko, Kovacevic Tonko, Đukić Predrag, Rogulj Roko, Šitić Slaven, Džaja Barbara, Turić Hrvoje, Zdroik Jakub, Tran Hai Nam, Valérie-Anne Nicolas, L Lemarchand, Plantec Alain, Frank Singhoff
- article
- Conference BEING SEA-EU, University of Malta, Jun 2024, Malta, Malta. 2024
- Accès au texte intégral et bibtex
-
2023
Journal articles
- titre
- A POSIX/RTEMS monitoring tool and a benchmark to detect real-time scheduling anomalies
- auteur
- Blandine Djika, Georges-Edouard Kouamou, Frank Singhoff, Alain Plantec
- article
- Ada Letters, 2023, ACM SigAda. Proceedings of the WIP track of the AEiC 2023 conference, 43 (2), pp.62 - 68. ⟨10.1145/3672359.3672367⟩
- Accès au bibtex
-
Conference papers
- titre
- Work-In-Progress: Could Tensorflow applications benefit from a mixed-criticality approach?
- auteur
- Alan Le Boudec, Frank Singhoff, Hai Nam Tran, Stéphane Rubini, Sébastien Levieux, Alexandre Skrzyniarz
- article
- Brief presentation at the 44th IEEE Real-Time Systems Symposium (RTSS), Dec 2023, Taipei, Taiwan
- Accès au bibtex
-
- titre
- Detection of scheduling anomalies in real-time systems
- auteur
- Blandine Djika, Alain Plantec, Frank Singhoff, Georges-Edouard Kouamou
- article
- Journées nationales du GDR GPL 2023, Jun 2023, Rennes, France
- Accès au bibtex
-
Special issue
- titre
- ADEPT 2022 workshop: a summary of strengths and weaknesses of the AADL ecosystem
- auteur
- Frank Singhoff, Jérôme Hugues, Hai Nam Tran, Gianluca Bardaro, Dominique Blouin, Marco Bozzano, Patrick Denzler, Pierre Dissaux, Eric Senn, Xiong Xu, Zhibing Yang
- article
- Ada Letters, 43 (1), pp.37-41, 2023, ACM SigAda, ⟨10.1145/3631483.363148⟩
- Accès au bibtex
-
Other publications
- titre
- Tutorial : Real-time scheduling analysis of SDF graphs: an example with Cheddar
- auteur
- Hai Nam Tran, Frank Singhoff
- article
- 2023
- Accès au bibtex
-
2022
Journal articles
- titre
- Specification of schedulability assumptions to leverage multiprocessor Analysis
- auteur
- Stéphane Rubini, Valérie-Anne Nicolas, Frank Singhoff, Alain Plantec, Hai Nam Tran, Pierre Dissaux
- article
- Journal of Systems Architecture, 2022, 133, pp.102761. ⟨10.1016/j.sysarc.2022.102761⟩
- Accès au bibtex
-
- titre
- Modèle multi-agent d’auto-organisation pour le butinage au sein d’une colonie d’abeilles
- auteur
- Jérémy Rivière, Thomas Alves, Cédric Alaux, Yves Le Conte, Yves Layec, André Lozac’h, Frank Singhoff, Vincent Rodin
- article
- Revue Ouverte d'Intelligence Artificielle, 2022, 3 (5-6), pp.423 - 450. ⟨10.5802/roia.38⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Design Space Exploration for TSP systems on multicore platforms under schedulability, security and safety constraints
- auteur
- Laurent Lemarchand, Ill-Ham Atchadam, Frank Singhoff, Hai Nam Tran
- article
- GT Optimisation des Systèmes Intégrés (OSI) - GDR SOC2 & RO, Dec 2022, Paris, France
- Accès au bibtex
-
- titre
- Observing the Impact of Multicore Execution Platform for TSP Systems Under Schedulability, Security and Safety Constraints
- auteur
- Ill-Ham Atchadam, L Lemarchand, Frank Singhoff, Hai Nam Tran
- article
- DECSOS, Sep 2022, Munich, Germany. pp.83--96, ⟨10.1007/978-3-031-14862-0_5⟩
- Accès au texte intégral et bibtex
-
- titre
- Memory hierarchy in scheduling simulation: problems, implementation & return of experience
- auteur
- Hai Nam Tran, Stéphane Rubini, Jalil Boukhobza, Frank Singhoff
- article
- Workshop CAPITAL 2022: sCalable And PrecIse Timing AnaLysis for multicore platforms, Jun 2022, Grenoble, France
- Accès au bibtex
-
- titre
- PLATO N-DPU on-board software: an ideal candidate for multicore scheduling analysis
- auteur
- Philippe Plasson, Gabriel Brusq, Frank Singhoff, Hai Nam Tran, Stéphane Rubini, Pierre Dissaux
- article
- 11th European Congress ERTSS Embedded Real Time Software and System, 2022, Toulouse, France
- Accès au bibtex
-
Other publications
- titre
- Tutorial : Real-time scheduling analysis of SDF graphs: an example with Cheddar
- auteur
- Hai Nam Tran, Frank Singhoff
- article
- 2022
- Accès au bibtex
-
Poster communications
- titre
- Increasing the autonomy of an underwater ROV
- auteur
- Marko Vukšić, Tonko Kovacevic, Barbara Džaja, Predrag Đukić, Slaven Šitić, Hai Nam Tran, Vincent Rodin, Laurent Lemarchand, Valérie-Anne Nicolas, Alain Plantec, Stéphane Rubini, Frank Singhoff
- article
- Sea Tech Week, Sep 2022, Brest, France
- Accès au texte intégral et bibtex
-
- titre
- Work-in-progress: Ontology-driven Generation of AADL architecture Models
- auteur
- Perig Dissaux, Catherine Dezan, Frank Singhoff, Jérome Legrand, Pierre Dissaux
- article
- GDR Soc2, Jun 2022, Strasbourg, France
- Accès au bibtex
-
- titre
- A design space exploration approach to jointly optimize security and schedulability in TSP systems
- auteur
- Ill-Ham Atchadam, Frank Singhoff, Hai Nam Tran, Laurent Lemarchand
- article
- Colloque du GDR SOC2, Jun 2022, Strasbourg, France
- Accès au bibtex
-
2021
Journal articles
- titre
- EZIOTracer: unifying kernel and user space I/O tracing for data-intensive applications
- auteur
- Mohammed Islam Naas, François Trahay, Alexis Colin, Pierre Olivier, Stéphane Rubini, Frank Singhoff, Jalil Boukhobza
- article
- Operating Systems Review, 2021, 55 (1), pp.88-98. ⟨10.1145/3469379.3469391⟩
- Accès au texte intégral et bibtex
-
- titre
- Feasibility interval and sustainable scheduling simulation with CRPD on uniprocessor platform
- auteur
- Hai Nam Tran, Stéphane Rubini, Jalil Boukhobza, Frank Singhoff
- article
- Journal of Systems Architecture, 2021, 115, pp.102007. ⟨10.1016/j.sysarc.2021.102007⟩
- Accès au texte intégral et bibtex
-
- titre
- ECTM: A network-on-chip communication model to combine task and message schedulability analysis
- auteur
- Mourad Dridi, Frank Singhoff, Stéphane Rubini, Jean-Philippe Diguet
- article
- Journal of Systems Architecture, 2021, 114, pp.101931. ⟨10.1016/j.sysarc.2020.101931⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Work-In-Progress: Models and tools to detect Real-Time Scheduling Anomalies
- auteur
- Blandine Djika, Frank Singhoff, Alain Plantec, Georges Edouard Kouamou
- article
- Brief presentation at the 42nd IEEE Real-Time Systems Symposium (RTSS), Dec 2021, Dortmund, Germany
- Accès au bibtex
-
- titre
- Timing analysis of TASTE models for reconfigurable software
- auteur
- Jean-Charles Roger, Pierre Dissaux, Jérôme Legrand, Mourad Dridi, Stéphane Rubini, Frank Singhoff
- article
- Model-Based Systems and Software Engineering (MBSE 2021) ESA Workshop, Sep 2021, Virtual, France
- Accès au texte intégral et bibtex
-
- titre
- EZIOTracer: unifying kernel and user space I/O tracing for data-intensive applications
- auteur
- Mohammed Islam Naas, François Trahay, Alexis Colin, Pierre Olivier, Stéphane Rubini, Frank Singhoff, Jalil Boukhobza
- article
- CHEOPS 2021: Workshop on Challenges and Opportunities of Efficient and Performant Storage Systems, Apr 2021, Edinburgh (online), United Kingdom. pp.4:1-4:11, ⟨10.1145/3439839.3458731⟩
- Accès au texte intégral et bibtex
-
Other publications
- titre
- Cheddar tutorial: an example of real-time scheduling analysis with Cheddar
- auteur
- Frank Singhoff, Hai Nam Tran
- article
- 2021
- Accès au bibtex
-
2020
Conference papers
- titre
- An Interruptible Task Allocation Model : Application to a Honey Bee Colony Simulation
- auteur
- Thomas Alves, Jérémy Rivière, Cédric Alaux, Yves Le Conte, Frank Singhoff, Thierry Duval, Vincent Rodin
- article
- PAAMS 2020: 18th International Conference on Practical Applications of Agents and Multi-Agent Systems, Oct 2020, L'aquila, Italy. pp.3-15, ⟨10.1007/978-3-030-49778-1_1⟩
- Accès au texte intégral et bibtex
-
- titre
- When security affects schedulability of TSP systems: trade-offs observed by design space exploration
- auteur
- Ill-Ham Atchadam, Laurent Lemarchand, Hai Nam Tran, Frank Singhoff, Karim Bigou
- article
- 25th international conference on emerging technologies and factory automaton, ETFA 2020, IEEE Industrial Electronics Society, Sep 2020, Vienna, Austria
- Accès au bibtex
-
- titre
- Modèle d'Interruption pour la Répartition des Tâches : Application à une simulation de colonie d'abeilles
- auteur
- Thomas Alves, Jérémy Rivière, Cédric Alaux, Yves Le Conte, Frank Singhoff, Thierry Duval, Vincent Rodin
- article
- Rencontres des Jeunes Chercheur·ses en Intelligence Artificielle (RJCIA 2020 @ PFIA), Jun 2020, Angers, France
- Accès au texte intégral et bibtex
-
- titre
- Combined Real-Time, Safety and Security Model Analysis
- auteur
- P Dissaux, Frank Singhoff, L Lemarchand, Hai Nam Tran, Ill-Ham Atchadam
- article
- 9th European Congress ERTSS Embedded Real Time Software and System, Feb 2020, Toulouse, France
- Accès au texte intégral et bibtex
-
2019
Journal articles
- titre
- Design and Multi-Abstraction Level Evaluation of a NoC Router for Mixed-Criticality Real-Time Systems
- auteur
- Mourad Dridi, Stéphane Rubini, Mounir Lallali, Martha Johanna Sepulveda Florez, Frank Singhoff, Jean-Philippe Diguet
- article
- ACM Journal on Emerging Technologies in Computing Systems, 2019, 15 (1), pp.2:1--2:37. ⟨10.1145/3264818⟩
- Accès au bibtex
-
Conference papers
- titre
- Combined security and schedulability analysis for MILS real-time critical architectures
- auteur
- Ill-Ham Atchadam, Frank Singhoff, Hai Nam Tran, Nora Bouzid, Laurent Lemarchand
- article
- 4th international workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS), Jun 2019, Stuttgart, Germany
- Accès au bibtex
-
- titre
- ECTM: A New Communication Model to Network-On-Chip Schedulability Analysis
- auteur
- Mourad Dridi, Frank Singhoff, Stéphane Rubini, Jean-Philippe Diguet
- article
- 24th International Conference on Reliable Software Technologies – Ada-Europe 2019, Jun 2019, Varsow, Poland
- Accès au bibtex
-
- titre
- Scheduling analysis of AADL architecture models
- auteur
- Frank Singhoff, Pierre Dissaux
- article
- Full day Tutorial présented at the CPS-WEEK conferences, Apr 2019, Montréal, Canada
- Accès au bibtex
-
2018
Journal articles
- titre
- A Real-Time System Monitoring driven by Scheduling Analysis
- auteur
- Stéphane Rubini, Valérie-Anne Nicolas, Frank Singhoff, José Rufino
- article
- Ada User Journal, 2018, 39 (4), pp.282--286
- Accès au bibtex
-
- titre
- NORTH: Non-intrusive Observation and RunTime verification of cyber-pHysical systems.
- auteur
- 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
- article
- Ada User Journal, 2018
- Accès au bibtex
-
- titre
- Design and Multi-Abstraction Level Evaluation of a NoC Router for Mixed-Criticality Real-Time Systems
- auteur
- Mourad Dridi, Stéphane Rubini, Mounir Lallali, Martha Johanna Sepulveda Florez, Frank Singhoff, Jean-Philippe Diguet
- article
- ACM Journal on Emerging Technologies in Computing Systems, 2018
- Accès au texte intégral et bibtex
-
- titre
- DTFM: a Flexible Model for Schedulability Analysis of Real-Time Applications on NoC-based Architectures
- auteur
- Mourad Dridi, Stéphane Rubini, Frank Singhoff, Jean-Philippe Diguet
- article
- ACM SIGBED Review, 2018, 14 (4), pp.53--59. ⟨10.1145/3177803.3177812⟩
- Accès au bibtex
-
- titre
- Multi-Objective Design Exploration Approach for Ravenscar Real-time Systems.
- auteur
- Rahma Bouaziz, Laurent Lemarchand, Frank Singhoff, Béchir Zalila, Mohamed Jmaiel
- article
- Real-Time Systems, 2018, 54 (2), pp 424-483. ⟨10.1007/s11241-018-9299-6⟩
- Accès au bibtex
-
- titre
- Verification of Scheduling Properties Based on Execution Traces
- auteur
- Valérie-Anne Nicolas, Mounir Lallali, Stéphane Rubini, Frank Singhoff
- article
- Ada User Journal, 2018
- Accès au bibtex
-
Conference papers
- titre
- Recrutement et auto-organisation : Vers un modèle multi-agent complet d’une colonie d’abeilles
- auteur
- Jérémy Rivière, Cédric Alaux, Yves Le Conte, Yves Layec, André Lozac'H, Vincent Rodin, Frank Singhoff
- article
- 26èmes Journées Francophones sur les Systèmes Multi-Agents (JFSMA'2018), Oct 2018, Métabief, France
- Accès au texte intégral et bibtex
-
- titre
- Scheduling analysis of AADL architecture models
- auteur
- Frank Singhoff, Pierre Dissaux
- article
- Full day tutorial présented at the 23rd International Conference on Reliable Software Technologies - Ada-Europe, Jun 2018, Lisbon, Portugal
- Accès au bibtex
-
- titre
- Toward a Complete Agent-Based Model of a Honeybee Colony
- auteur
- Jérémy Rivière, Cédric Alaux, Yves Le Conte, Yves Layec, André Lozac'H, Vincent Rodin, Frank Singhoff
- article
- Highlights of Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection, Jun 2018, Toledo, Spain. ⟨10.1007/978-3-319-94779-2_42⟩
- Accès au texte intégral et bibtex
-
- titre
- About Early Scheduling Verification Of Embedded Real-Time Critical Systems: An Example With AADL
- auteur
- Frank Singhoff, Stéphane Rubini, Hai Nam Tran, Jalil Boukhobza, Laurent Lemarchand, Pierre Dissaux, Valérie-Anne Nicolas, Alain Plantec, Jérôme Legrand, Mourad Dridi, Jean-Philippe Diguet
- article
- Invited speaker at SYRCoSE 2018 - 12th Spring/Summer Young Researchers’ Colloquium on Software Engineering, May 2018, Novgorod the Great, Russia
- Accès au bibtex
-
Book sections
- titre
- Toward a Complete Agent-Based Model of a Honeybee Colony
- auteur
- Jeremy Riviere, Cédric Alaux, Yves Le Conte, Yves Layec, André Lozac’h, Vincent Rodin, Frank Singhoff
- article
- Highlights of Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection : International Workshops of PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings, 887 (Chapter 42), Springer International Publishing Ag, 552 p. - XXIII, 2018, Communications in Computer and Information Science, 978-3-319-94778-5. ⟨10.1007/978-3-319-94779-2_42⟩
- Accès au bibtex
-
2017
Journal articles
- titre
- Scheduling analysis of tasks constrained by TDMA: Application to software radio protocols
- auteur
- Shuai Li, Frank Singhoff, Stéphane Rubini, Michel Bourdellès
- article
- Journal of Systems Architecture, 2017, 76, pp.58-75. ⟨10.1016/j.sysarc.2016.11.003⟩
- Accès au texte intégral et bibtex
-
- titre
- MONTRES : Merge ON-The-Run External Sorting algorithm for large data volumes on SSD based storage systems
- auteur
- Arezki Laga, Jalil Boukhobza, Frank Singhoff, Michel Koskas
- article
- IEEE Transactions on Computers, 2017, 66 (10), pp.1689 - 1702. ⟨10.1109/TC.2017.2706678⟩
- Accès au bibtex
-
Conference papers
- titre
- DAS: An Efficient NoC Router for Mixed-Criticality Real-Time Systems
- auteur
- Mourad Dridi, Stéphane Rubini, Mounir Lallali, Martha Johanna Sepulveda Florez, Frank Singhoff, Jean-Philippe Diguet
- article
- 2017 IEEE 35th International Conference on Computer Design (ICCD), Nov 2017, Boston, United States. ⟨10.1109/ICCD.2017.42⟩
- Accès au texte intégral et bibtex
-
- titre
- Modeling and Validation of a Mixed-Criticality NoC Router Using the IF Language
- auteur
- Mourad Dridi, Mounir Lallali, Stéphane Rubini, Frank Singhoff, Jean-Philippe Diguet
- article
- the 10th International Workshop on Network on Chip Architectures, Oct 2017, Boston, United States. ⟨10.1145/3139540.3139543⟩
- Accès au bibtex
-
- titre
- Patrons de conception pour l’analyse d’ordonnancement temps réel multiprocesseurs
- auteur
- Stéphane Rubini, Frank Singhoff, Alain Plantec, Hai-Nam Tran, Jalil Boukhobza, Pierre Dissaux
- article
- Tutoriel présenté à l’école d'été temps réel (ETR'2017), Aug 2017, Rennes, France
- Accès au bibtex
-
Other publications
- titre
- NoC and Mixed-criticality Systems
- auteur
- Mourad Dridi, Stéphane Rubini, Mounir Lallali, Frank Singhoff, Jean-Philippe Diguet, Martha Johanna Sepulveda Florez
- article
- 2017
- Accès au bibtex
-
2016
Journal articles
- titre
- Integrating I/Os in Cloudsim for Performance and Energy Estimation
- auteur
- Hamza Ouarnoughi, Jalil Boukhobza, Frank Singhoff, Stéphane Rubini
- article
- Operating Systems Review, 2016, 50 (3), pp.27-36 ⟨10.1145/3041710.3041715⟩
- Accès au bibtex
-
- titre
- Cache-aware real-time scheduling simulator: implementation and return of experience
- auteur
- Hai-Nam Tran, Frank Singhoff, Stéphane Rubini, Jalil Boukhobza
- article
- ACM SIGBED Review, 2016, Special Issue on the 5th Embedded Operating Systems Workshop (EWiLi 2015), 13 (1), pp.22-28 ⟨10.1145/2907972.2907975⟩
- Accès au bibtex
-
Conference papers
- titre
- An example of early scheduling analysis with AADL
- auteur
- Stéphane Rubini, Hai-Nam Tran, Mourad Dridi, Vincent Gaudel, Jalil Boukhobza, Alain Plantec, Christian Fotsing, Frank Singhoff, P Dissaux, J Legrand, A Schach
- article
- Présentation invitée à la Journée AADL du GDR SOC-SIP, Nov 2016, Paris, France
- Accès au bibtex
-
- titre
- Application of AADL for Marine Control Systems
- auteur
- Pierre Dissaux, Sofien Kerkeni, Frank Singhoff
- article
- Dynamic positioning conference, Oct 2016, Houston, United States
- Accès au bibtex
-
- titre
- Efficient Parallel Multi-Objective Optimization for Real-time Systems Software Design Exploration
- auteur
- Rahma Bouaziz, Laurent Lemarchand, Frank Singhoff, Bechir Zalila, Mohamed Jmaiel
- article
- International Symposium on Rapid System Prototyping (RSP'16), Oct 2016, Pittsburgh, United States
- Accès au bibtex
-
- titre
- Lynx: A Learning Linux Prefetching Mechanism For SSD Performance Model
- auteur
- Arezki Laga, Jalil Boukhobza, Michel Koskas, Frank Singhoff
- article
- The 5th IEEE Non-Volatile Memory Systems and Applications Symposium (NVMSA 2016), Aug 2016, Daegu, South Korea. ⟨10.1109/NVMSA.2016.7547186⟩
- Accès au bibtex
-
- titre
- Considering I/O Processing in CloudSim for Performance and Energy Evaluation
- auteur
- Hamza Ouarnoughi, Jalil Boukhobza, Frank Singhoff, Stéphane Rubini, Erwann Kassis
- article
- ISC- High Performance Computing, Jun 2016, Francfort, Germany. pp 591-603, ⟨10.1007/978-3-319-46079-6_40⟩
- Accès au bibtex
-
- titre
- A Cost Model for Virtual Machine Storage in Cloud IaaS Context
- auteur
- Hamza Ouarnoughi, Jalil Boukhobza, Frank Singhoff, Stéphane Rubini
- article
- 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP), Feb 2016, Heraklion, Greece. ⟨10.1109/PDP.2016.119⟩
- Accès au bibtex
-
- titre
- Adapting a Fixed Priority Assignment Algorithm to Real-time Embedded Systems with Cache Memory
- auteur
- Hai Nam Tran, Frank Singhoff, Stéphane Rubini, Jalil Boukhobza
- article
- Colloque du GDR SoC-SiP, 2016, Rennes, France
- Accès au bibtex
-
Books
- titre
- SIGBED Review, Volume 13, Number 1, January 2016
- auteur
- Jalil Boukhobza, Jean-Philippe Diguet, Frank Singhoff
- article
- ACM, 13 (1), 2016, 1551-3688
- Accès au bibtex
-
2015
Conference papers
- titre
- Architecture Exploration of Real-time Systems Based on Multi-Objective Optimization
- auteur
- Rahma Bouaziz, Laurent Lemarchand, Frank Singhoff, Bechir Zalila, Mohamed Jmaiel
- article
- 20th International Conference on Engineering of Complex Computer Systems (ICECCS 2015), Dec 2015, Golden Coast, Australia
- Accès au bibtex
-
- titre
- Addressing Cache Related Preemption Delay in Fixed Priority Assignment
- auteur
- Hai-Nam Tran, Frank Singhoff, Stéphane Rubini, Jalil Boukhobza
- article
- 20th IEEE International Conference on Emerging Technologies and Factory Automation, Sep 2015, Luxembourg, France
- Accès au bibtex
-
- titre
- Teaching Real-Time Scheduling Analysis with Cheddar
- auteur
- Frank Singhoff, Alain Plantec, Stéphane Rubini, Hai-Nam Tran, Vincent Gaudel, Jalil Boukhobza, Laurent Lemarchand, Shuai Li, Etienne Borde, Laurent Pautet, Jerome Hugues, Pierre Dissaux, Jérôme Legrand, Christian Fotsing, Blandine Djika
- article
- 9ème édition de l’Ecole d’Eté « Temps Réel », Aug 2015, Rennes, France
- Accès au texte intégral et bibtex
-
2014
Journal articles
- titre
- Scheduling Analysis from Architectural Models of Embedded Multi-Processor Systems
- auteur
- Stéphane Rubini, Christian Fotsing, Frank Singhoff, Hai-Nam Tran, Pierre Dissaux
- article
- ACM SIGBED Review, 2014, 11 (1)
- Accès au texte intégral et bibtex
-
- titre
- Composition of Design Pattern : from the modeling of RTOS synchronization tools to schedulability analysis
- auteur
- Vincent Gaudel, Frank Singhoff, Alain Plantec, Pierre Dissaux, Jérôme Legrand
- article
- ACM SIGBED Review, 2014, 11 (1), pp.44-49
- Accès au bibtex
-
Conference papers
- titre
- A Multilevel I/O Tracer for Timing and Performance Analysis of Storage Systems in IaaS Cloud
- auteur
- Hamza Ouarnoughi, Jalil Boukhobza, Frank Singhoff, Stéphane Rubini
- article
- 3rd IEEE Real-Time and Distributed Computing in Emerging Applications (REACTION ), Dec 2014, Rome, Italy
- Accès au bibtex
-
- titre
- Architecture Models Refinement for Fine Grain Timing Analysis of Embedded Systems
- auteur
- Etienne Borde, Smail Rahmoun, Fabien Cadoret, Laurent Pautet, Frank Singhoff, Pierre Dissaux
- article
- IEEE International Symposium on Rapid System Prototyping, Oct 2014, New Dehli, India
- Accès au bibtex
-
- titre
- AADLv2, An Architecture Description Language for the Analysis and Generation of Embedded Systems
- auteur
- Jérôme Hugues, Frank Singhoff
- article
- Half day tutorial presented in the ACM HILT conference, Oct 2014, Portland, United States
- Accès au bibtex
-
- titre
- Architecture Models Refinement for Fine Grain Timing Analysis of Embedded Systems
- auteur
- Etienne Borde, Laurent Pautet, Fabien Cadoret, Smail Rahmoun, Frank Singhoff
- article
- International Symposium on Rapid System Prototyping, Oct 2014, New Delhi, India. pp.44-50
- Accès au bibtex
-
- titre
- Integration of cache related preemption delay analysis into a priority assignment algorithm
- auteur
- Hai-Nam Tran, Frank Singhoff, Stéphane Rubini, Jalil Boukhobza
- article
- EWiLi'14, The 4th Embedded Operating Systems Workshop., Sep 2014, Lisbon, Portugal
- Accès au texte intégral et bibtex
-
- titre
- Modeling Shared-Memory Multiprocessor Systems with AADL
- auteur
- Stéphane Rubini, Pierre Dissaux, Frank Singhoff
- article
- 1st Architecture Centric Virtual Integration (ACVI) Workshop. In conjonction with the MODELS international conference., Sep 2014, Valencia, Spain
- Accès au bibtex
-
- titre
- AADLv2, a Domain Specific Language for the Modeling, the Analysis and the Generation of Real-Time Embedded Systems
- auteur
- Frank Singhoff, Jérôme Hugues
- article
- Half day tutorial presented in the International MODELS conferences, Sep 2014, Valencia, Spain
- Accès au bibtex
-
- titre
- Extending Schedulability Tests of Tree-Shaped Transactions for TDMA Radio Protocols.
- auteur
- Shuai Li, Frank Singhoff, Stéphane Rubini, Bourdelles Michel
- article
- 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2014), Sep 2014, Barcelana, Spain
- Accès au bibtex
-
- titre
- Instruction cache in hard real-time systems: modeling and integration in scheduling analysis tools with AADL
- auteur
- Hai-Nam Tran, Frank Singhoff, Stéphane Rubini, Jalil Boukhobza
- article
- International Conference on Embedded and Ubiquitous Computing (EUC), Aug 2014, Milan, Italy. pp.104-111, ⟨10.1109/EUC.2014.24⟩
- Accès au bibtex
-
- titre
- Scheduling Analysis of TDMA-Constrained Tasks: Illustration with Software Radio Protocols.
- auteur
- Shuai Li, Stéphane Rubini, Frank Singhoff, Bourdelles Michel
- article
- 11th IEEE International Conference on Embedded Software and Systems, Aug 2014, paris, France
- Accès au bibtex
-
- titre
- Synchronization of Models of Rich Languages with Triple Graph Grammars
- auteur
- Dominique Blouin, Pierre Dissaux, Frank Singhoff, Alain Plantec, Jean-Philippe Diguet
- article
- International Conference on Model Transformation (ICMT), Jul 2014, York, United Kingdom
- Accès au bibtex
-
- titre
- Applying Holistic Schedulability Tests to Industrial Systems: Experience and Lessons Learned.
- auteur
- Shuai Li, Stéphane Rubini, Frank Singhoff, Bourdelles Michel
- article
- 5th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems, Jul 2014, Madrid, Spain
- Accès au bibtex
-
- titre
- A Task Model for TDMA Communications
- auteur
- Shuai Li, Stéphane Rubini, Frank Singhoff, Bourdelles Michel
- article
- 9th IEEE International Symposium on Industrial Embedded Systems. WIP Session., Jun 2014, Pisa, Italy
- Accès au bibtex
-
- titre
- The SMART Project: Multi-Agent Scheduling Simulation of Real-time Architectures
- auteur
- P Dissaux, O Marc, S. Rubini, C Fotsing, V Gaudel, Frank Singhoff, A Plantec, Hai Nam Tran, Vương Nguyễn-Hồng
- article
- Embedded Real Time Software and Systems (ERTS2014), Feb 2014, Toulouse, France
- Accès au texte intégral et bibtex
-
- titre
- The SMART Project: Multi-Agent Scheduling Simulation of Real-time Architectures
- auteur
- Pierre Dissaux, Olivier Marc Marc, Stéphane Rubini, Christian Fotsing, Vincent Gaudel, Frank Singhoff, Alain Plantec, Vuong Nguyen-Hong, Hai-Nam Tran
- article
- Embedded Real Time Software and Systems, Feb 2014, Toulouse, France
- Accès au texte intégral et bibtex
-
Books
- titre
- SIGBED Review, Volume 11, Number 1, February 2014 Special Issue the 4th Workshop on Embed With Linux (EWiLi 2014)
- auteur
- Jalil Boukhobza, Jean-Philippe Diguet, Pierre Ficheux, Frank Singhoff
- article
- ACM. ACM, 11 (4), 2014, ISSN: 1551-3688
- Accès au bibtex
-
- titre
- SIGBED Review, Volume 11, Number 1, February 2014 Special Issue the 3rd Workshop on Embed With Linux (EWiLi 2013)
- auteur
- Jalil Boukhobza, Jean-Philippe Diguet, Frank Singhoff
- article
- ACM, pp.79, 2014, 1551-3688
- Accès au bibtex
-
2013
Conference papers
- titre
- Enforcing Software Engineering Tools Interoperability: An Example with AADL Subsets.
- auteur
- Vincent Gaudel, Alain Plantec, Frank Singhoff, Jérôme Hugues, Pierre Dissaux, Jérôme Legrand
- article
- 24th International Symposium on Rapid System Prototyping (RSP), Oct 2013, Montreal, Canada
- Accès au bibtex
-
- titre
- AADLv2, an Architecture Description Language for the Analysis and Generation of Embedded Systems
- auteur
- Jérôme Hugues, Frank Singhoff
- article
- Half day tutorial presented in the International EMSOFT/ESWEEK conferences, Sep 2013, Montreal, Canada
- Accès au bibtex
-
- titre
- Cheddar : about the usability of the real-time scheduling theory
- auteur
- Frank Singhoff
- article
- CCT CNES Seminar, Jun 2013, Toulouse, France
- Accès au bibtex
-
- titre
- Deterministic Implementation of Periodic-Delayed Communications and Experimentation in AADL
- auteur
- Fabien Cadoret, Robert Thomas, Etienne Borde, Laurent Pautet, Frank Singhoff
- article
- 17th IEEE Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC 2013), Jun 2013, Paderborn, Germany
- Accès au bibtex
-
2012
Journal articles
- titre
- Applicability of Real-Time schedulability analysis on a software radio protocol
- auteur
- Li Shuai, Frank Singhoff, Stéphane Rubini, Michel Bourdellès
- article
- Ada Letters, 2012, 32 (3), p. 61-68
- Accès au bibtex
-
Conference papers
- titre
- Scheduling analysis principles and tool for time and space partitioned systems
- auteur
- J. Craveiro, J.L. Souza, J. Rufino, Vincent Gaudel, Laurent Lemarchand, Alain Plantec, Stéphane Rubini, Frank Singhoff
- article
- Simposio de informatica, Sep 2012, Lisbone, Portugal. pp.582-585
- Accès au bibtex
-
- titre
- About architecture description languages and scheduling analysis
- auteur
- Frank Singhoff
- article
- Schloss Dagstuhl Seminar number 12272, Driven semantic analysis of embedded systems, Jul 2012, Dagstuhl, Germany
- Accès au bibtex
-
Books
- titre
- SIGBED Review, Volume 9, Number 2, June 2012 Special Issue the 2nd Workshop on Embed With Linux (EWiLi 2012)
- auteur
- Jalil Boukhobza, Jean-Philippe Diguet, Frank Singhoff
- article
- ACM, pp.47, 2012, 1551-3688
- Accès au bibtex
-
2011
Journal articles
- titre
- An ada design pattern recognition tool for AADL performance analysis
- auteur
- Vincent Gaudel, Frank Singhoff, Alain Plantec, Stéphane Rubini, Pierre Dissaux, J. Legrand
- article
- Ada Letters, 2011, 31 (3), pp.61-68
- Accès au bibtex
-
- titre
- Architecture, Mechanisms and Scheduling analysis tool for multicore time-and space-partitioned systems
- auteur
- J. Craveiro, J. Rufino, Frank Singhoff
- article
- ACM SIGBED Review, 2011, 8 (3), pp.23-27
- Accès au bibtex
-
Conference papers
- titre
- Forward engineering and early model validation with Smalltalk
- auteur
- Alain Plantec, Frank Singhoff, V Gaudel, Vincent Ribaud
- article
- 5th Argentine Smalltalk Conference., Nov 2011, Buenos Aires., Argentina
- Accès au texte intégral et bibtex
-
- titre
- Building embedded real-time applications
- auteur
- J. Mccormick, Frank Singhoff
- article
- ACM SIGAda conférence, Nov 2011, Denver, Colorado, United States
- Accès au bibtex
-
- titre
- AADL real -time design-pattern automatic recognition
- auteur
- Pierre Dissaux, J. Legrand, Vincent Gaudel, Alain Plantec, Stéphane Rubini, Frank Singhoff
- article
- Aerotech congress, Oct 2011, Toulouse, France. pp.0-0
- Accès au bibtex
-
- titre
- Sélection automatique de tests de faisabilité à l'aide de patrons de conception
- auteur
- Vincent Gaudel, Frank Singhoff, Alain Plantec, Pierre Dissaux, Jérôme Legrand
- article
- Session doctorants de l'école temps réel 2011, Aug 2011, Brest, France. pp.185-188
- Accès au bibtex
-
- titre
- Modeling and verification of memory architectures with AADL and REAL
- auteur
- Stéphane Rubini, Frank Singhoff, J. Hugues
- article
- In the proceedings of the 16th IEEE international conference on engineering of complex computer systems, Apr 2011, Las Vegas, United States. pp.338-343
- Accès au bibtex
-
Books
- titre
- Building Parallel, Embedded, and Real-Time applications with Ada.
- auteur
- J.W Mccormick, Frank Singhoff, J. Hugues
- article
- Cambridge university press UK, 365 p., 2011, 13:9780521197168
- Accès au bibtex
-
2010
Conference papers
- titre
- AADL Design-Patterns and Tools for Modelling and Performance Analysis of Real-Time systems
- auteur
- Pierre Dissaux, Jérôme Legrand, Alain Plantec, Mickael Kerboeuf, Frank Singhoff
- article
- ERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France
- Accès au texte intégral et bibtex
-
- titre
- AADL design patterns and tools for modelling and performance analysis of real-time systems.
- auteur
- P. Disseaux, Alain Plantec, Mickael Kerboeuf, Frank Singhoff
- article
- 5th european congress ERTSS Embedded Real-Time Software and System., May 2010, France
- Accès au bibtex
-
- titre
- Comparison of six ways to extend the scope of Cheddar to AADL v2 with Osate
- auteur
- Mickael Kerboeuf, Alain Plantec, Frank Singhoff, A. Schach, Pierre Dissaux
- article
- 5th international workshop on AADL and UML, Mar 2010, United Kingdom. pp.367-372
- Accès au bibtex
-
2009
Journal articles
- titre
- Validate, Simulate and Implement ARINC653 Systems using the AADL
- auteur
- Julien Delange, Laurent Pautet, Alain Plantec, Mickael Kerboeuf, Frank Singhoff, Fabrice Kordon
- article
- Ada Letters, 2009, 29 (3), pp.31-44. ⟨10.1145/1653616.1647435⟩
- Accès au bibtex
-
- titre
- Investigating the usability of real-time scheduling theory with the Cheddar project
- auteur
- Frank Singhoff, Alain Plantec, Pierre Dissaux, Jérôme Legrand
- article
- Journal of Real Time Systems. Volume 3. Number 43. Springer Verlag. ISSN:0922-6443, 2009, pp.259-295
- Accès au bibtex
-
2008
Conference papers
- titre
- About Real Time Scheduling Analysis of Ada Applications
- auteur
- Frank Singhoff
- article
- Tutorial presented in the 13th International Conference on Reliable Software Technologies, Ada-Europe, Jun 2008, Italy. pp.x-y
- Accès au texte intégral et bibtex
-
- titre
- Can we increase the usability of real time scheduling theory ? The Cheddar project.
- auteur
- Frank Singhoff, Alain Plantec, Pierre Dissaux
- article
- Invited paper in the 13th International Conference on Reliable Software technologies, Ada-Europe, LNCS/Lecture notes on computer science, Springer-Verlag editor, Jun 2008, France
- Accès au bibtex
-
- titre
- Stood and Cheddar: AADL as a Pivot Language for Analysing Performances of Real Time Architectures
- auteur
- Pierre Dissaux, Frank Singhoff
- article
- 4th European Congress ERTS 2008, Jan 2008, Toulouse, France, France
- Accès au texte intégral et bibtex
-
2007
Journal articles
- titre
- Un processus d'ingénierie de Cheddar pour la simulation de systèmes temps réel à grande échelle
- auteur
- Alain Plantec, Frank Singhoff
- article
- Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2007, pp.26-35
- Accès au bibtex
-
- titre
- AADL Modeling and Analysis of Hierarchical Schedulers
- auteur
- Frank Singhoff, Alain Plantec
- article
- Ada Letters, 2007, pp.41-50
- Accès au bibtex
-
Conference papers
- titre
- Real Time Scheduling and its use with Ada
- auteur
- Frank Singhoff
- article
- Tutorial presented to the annual international conference of the ACM SIGAda, Nov 2007, United States. pp.x-y
- Accès au texte intégral et bibtex
-
- titre
- Towards User-Level extensibility of an Ada library : an experiment with Cheddar
- auteur
- Frank Singhoff, Alain Plantec
- article
- Proceedings of the 12th International Conference on Reliable Software Technologies Ada-Europe, Jun 2007, Switzerland. pp.180-191
- Accès au bibtex
-
2006
Journal articles
- titre
- Refactoring of an Ada 95 Library with a Meta CASE Tool
- auteur
- Alain Plantec, Frank Singhoff
- article
- Ada Letters, 2006, pp.61-70
- Accès au bibtex
-
Conference papers
- titre
- Performance Analysis of an Assembly System: a Case Study
- auteur
- Jean-Luc Cojan, Loic Plassart, Frank Singhoff, Philippe Le Parc
- article
- 2nd European Modeling and Simulation Symposium October 4-6, 2006. Barcelone. pp. 189-194. Octobre 2006, Oct 2006, Barcelone, Spain. pp.189-194
- Accès au texte intégral et bibtex
-
- titre
- Performance evaluation of a controlled flow-shop system with a timed petri net model
- auteur
- Loic Plassart, Philippe Le Parc, Frank Singhoff, Lionel Marcé
- article
- ICINCO 2006, Third International Conference on Informatics in Control, Automation and Robotics, Robotics and Automation, Aug 2006, setubal, Portugal. pp.494-499
- Accès au texte intégral et bibtex
-
- titre
- Implementing an AADL performance analyzer
- auteur
- Frank Singhoff, Laurent Tchamnda Nana, Jérôme Legrand
- article
- DASIA 2006, May 2006, Germany. pp.SP-630
- Accès au texte intégral et bibtex
-