Publications HAL

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
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
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
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
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
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
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
https://hal.science/hal-03868878/file/ROIA_2022__3_5-6_423_0.pdf 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
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
https://hal.univ-brest.fr/hal-03777799/file/decsos22_final_version.pdf 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
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
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
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
https://hal.univ-brest.fr/hal-03778490/file/vuksic22.pdf 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
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
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
https://hal.science/hal-03276036/file/cheops_camera_ready.pdf 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
https://ensta-bretagne.hal.science/hal-03152032/file/jsa_final_draft-1.pdf 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
https://hal.univ-brest.fr/hal-03164501/file/S1383762120301909.pdf 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
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
https://hal.univ-brest.fr/hal-03329757/file/abstract_mbse_2021.pdf 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
https://hal.science/hal-03215663/file/eziotracer_cheops_2021.pdf 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
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
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
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
https://hal.science/hal-03211869/file/Alves_RJCIA_Soumission16.pdf 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
https://hal.univ-brest.fr/hal-02433963/file/dissaux2020.pdf 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
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
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
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
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
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
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
https://hal.science/hal-01867673/file/DAS_2017.pdf 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
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
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
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
https://hal.science/hal-01898549/file/Recrutement%20et%20auto-organisation%20-%20Vers%20un%20mod%C3%A8le%20multi-agent%20complet%20d%27une%20colonie%20d%27abeilles.pdf 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
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
https://hal.science/hal-01826153/file/Toward%20a%20Complete%20Agent-Based%20Model%20of%20a%20Honeybee%20Colony.pdf 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
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
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
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
https://hal.univ-brest.fr/hal-01685444/file/jsa%20%281%29.pdf 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
https://hal.univ-brest.fr/hal-01713312/file/ICCD2017_preprint.pdf 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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
https://hal.univ-brest.fr/hal-01166136/file/etr.pdf 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
https://hal.univ-brest.fr/hal-00983407/file/ewili.pdf 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
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
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
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
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
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
https://hal.univ-brest.fr/hal-01166868/file/ewili14-2_pages.pdf https://hal.univ-brest.fr/hal-01166868/file/Poster.pdf 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
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
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
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
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
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
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
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
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
https://hal.science/hal-02272192/file/ERTS_2014_submission_76.pdf 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
https://hal.univ-brest.fr/hal-00983724/file/SMART_ERTS2014.pdf 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
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
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
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
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
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
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
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
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
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
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
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
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
https://hal.univ-brest.fr/hal-00664435/file/smalltalk-final-2011.pdf 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
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
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
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
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
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
https://hal.science/hal-02264385/file/2C-1.pdf 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
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
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
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
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
https://hal.univ-brest.fr/hal-00504346/file/rts.pdf 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
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
https://hal.science/hal-02269760/file/ERTS2008_0008_paper.pdf 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
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
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
https://hal.univ-brest.fr/hal-00504347/file/sigada07_tutorial.pdf 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
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
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
https://hal.univ-brest.fr/hal-00498658/file/EMSS06.pdf 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
https://hal.univ-brest.fr/hal-00498627/file/2006icinco.pdf 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
https://hal.univ-brest.fr/hal-00504348/file/dasia06.pdf BibTex