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 User Journal, 2023, 44 (3)
- Accès au bibtex
-
- 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 User Journal, 2023, 44 (2), pp.125-128
- 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
-
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 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
- 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
- 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
- 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
- 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
-
- 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
-
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
- Nam Hai 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, Vương Nguyễn-Hồng, Hải Nam Trần
- 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
- ACM SIGAda 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
- ACM SIGAda 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
- ACM SIGAda 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
-