Accéder directement au contenu

Frank Singhoff

47
Documents

Publications

stephane-rubini

Specification of schedulability assumptions to leverage multiprocessor Analysis

Stéphane Rubini , Valérie-Anne Nicolas , Frank Singhoff , Alain Plantec , Hai Nam Tran
Journal of Systems Architecture, 2022, 133, pp.102761. ⟨10.1016/j.sysarc.2022.102761⟩
Article dans une revue hal-03840494v1
Image document

Feasibility interval and sustainable scheduling simulation with CRPD on uniprocessor platform

Hai Nam Tran , Stéphane Rubini , Jalil Boukhobza , Frank Singhoff
Journal of Systems Architecture, 2021, 115, pp.102007. ⟨10.1016/j.sysarc.2021.102007⟩
Article dans une revue hal-03152032v1
Image document

ECTM: A network-on-chip communication model to combine task and message schedulability analysis

Mourad Dridi , Frank Singhoff , Stéphane Rubini , Jean-Philippe Diguet
Journal of Systems Architecture, 2021, 114, pp.101931. ⟨10.1016/j.sysarc.2020.101931⟩
Article dans une revue hal-03164501v1
Image document

EZIOTracer: unifying kernel and user space I/O tracing for data-intensive applications

Mohammed Islam Naas , François Trahay , Alexis Colin , Pierre Olivier , Stéphane Rubini
Operating Systems Review, 2021, 55 (1), pp.88-98. ⟨10.1145/3469379.3469391⟩
Article dans une revue hal-03276036v1

Design and Multi-Abstraction Level Evaluation of a NoC Router for Mixed-Criticality Real-Time Systems

Mourad Dridi , Stéphane Rubini , Mounir Lallali , Martha Johanna Sepulveda Florez , Frank Singhoff
ACM Journal on Emerging Technologies in Computing Systems, 2019, 15 (1), pp.2:1--2:37. ⟨10.1145/3264818⟩
Article dans une revue hal-01867949v1

NORTH: Non-intrusive Observation and RunTime verification of cyber-pHysical systems.

José Rufino , António Casimiro , Antónia Lopes , Frank Singhoff , Stéphane Rubini
Ada User Journal, 2018
Article dans une revue hal-01869010v1

DTFM: a Flexible Model for Schedulability Analysis of Real-Time Applications on NoC-based Architectures

Mourad Dridi , Stéphane Rubini , Frank Singhoff , Jean-Philippe Diguet
ACM SIGBED Review, 2018, 14 (4), pp.53--59. ⟨10.1145/3177803.3177812⟩
Article dans une revue hal-01497856v1

Verification of Scheduling Properties Based on Execution Traces

Valérie-Anne Nicolas , Mounir Lallali , Stéphane Rubini , Frank Singhoff
Ada User Journal, 2018
Article dans une revue hal-01868846v1

A Real-Time System Monitoring driven by Scheduling Analysis

Stéphane Rubini , Valérie-Anne Nicolas , Frank Singhoff , José Rufino
Ada User Journal, 2018, 39 (4), pp.282--286
Article dans une revue hal-01868845v1
Image document

Design and Multi-Abstraction Level Evaluation of a NoC Router for Mixed-Criticality Real-Time Systems

Mourad Dridi , Stéphane Rubini , Mounir Lallali , Martha Johanna Sepulveda Florez , Frank Singhoff
ACM Journal on Emerging Technologies in Computing Systems, 2018
Article dans une revue hal-01867673v1
Image document

Scheduling analysis of tasks constrained by TDMA: Application to software radio protocols

Shuai Li , Frank Singhoff , Stéphane Rubini , Michel Bourdellès
Journal of Systems Architecture, 2017, 76, pp.58-75. ⟨10.1016/j.sysarc.2016.11.003⟩
Article dans une revue hal-01685444v1

Cache-aware real-time scheduling simulator: implementation and return of experience

Hai-Nam Tran , Frank Singhoff , Stéphane Rubini , Jalil Boukhobza
ACM SIGBED Review, 2016, Special Issue on the 5th Embedded Operating Systems Workshop (EWiLi 2015), 13 (1), pp.22-28 ⟨10.1145/2907972.2907975⟩
Article dans une revue hal-01302239v1

Integrating I/Os in Cloudsim for Performance and Energy Estimation

Hamza Ouarnoughi , Jalil Boukhobza , Frank Singhoff , Stéphane Rubini
Operating Systems Review, 2016, 50 (3), pp.27-36 ⟨10.1145/3041710.3041715⟩
Article dans une revue hal-01557984v1
Image document

Scheduling Analysis from Architectural Models of Embedded Multi-Processor Systems

Stéphane Rubini , Christian Fotsing , Frank Singhoff , Hai-Nam Tran , Pierre Dissaux
ACM SIGBED Review, 2014, 11 (1)
Article dans une revue hal-00983407v1

Applicability of Real-Time schedulability analysis on a software radio protocol

Li Shuai , Frank Singhoff , Stéphane Rubini , Michel Bourdellès
ACM SIGAda Ada Letters, 2012, 32 (3), p. 61-68
Article dans une revue hal-00800893v1

An ada design pattern recognition tool for AADL performance analysis

Vincent Gaudel , Frank Singhoff , Alain Plantec , Stéphane Rubini , Pierre Dissaux
ACM SIGAda Ada Letters, 2011, 31 (3), pp.61-68
Article dans une revue hal-00801282v1

Work-In-Progress: Could Tensorflow applications benefit from a mixed-criticality approach?

Alan Le Boudec , Frank Singhoff , Hai Nam Tran , Stéphane Rubini , Sébastien Levieux
Brief presentation at the 44th IEEE Real-Time Systems Symposium (RTSS), Dec 2023, Taipei, Taiwan
Communication dans un congrès hal-04251528v1

Memory hierarchy in scheduling simulation: problems, implementation & return of experience

Hai Nam Tran , Stéphane Rubini , Jalil Boukhobza , Frank Singhoff
Workshop CAPITAL 2022: sCalable And PrecIse Timing AnaLysis for multicore platforms, Jun 2022, Grenoble, France
Communication dans un congrès hal-03780112v1

PLATO N-DPU on-board software: an ideal candidate for multicore scheduling analysis

Philippe Plasson , Gabriel Brusq , Frank Singhoff , Hai Nam Tran , Stéphane Rubini
11th European Congress ERTSS Embedded Real Time Software and System, 2022, Toulouse, France
Communication dans un congrès hal-03549058v1
Image document

Timing analysis of TASTE models for reconfigurable software

Jean-Charles Roger , Pierre Dissaux , Jérôme Legrand , Mourad Dridi , Stéphane Rubini
Model-Based Systems and Software Engineering (MBSE 2021) ESA Workshop, Sep 2021, Virtual, France
Communication dans un congrès hal-03329757v1
Image document

EZIOTracer: unifying kernel and user space I/O tracing for data-intensive applications

Mohammed Islam Naas , François Trahay , Alexis Colin , Pierre Olivier , Stéphane Rubini
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⟩
Communication dans un congrès hal-03215663v1

ECTM: A New Communication Model to Network-On-Chip Schedulability Analysis

Mourad Dridi , Frank Singhoff , Stéphane Rubini , Jean-Philippe Diguet
24th International Conference on Reliable Software Technologies – Ada-Europe 2019, Jun 2019, Varsow, Poland
Communication dans un congrès hal-02153512v1

About Early Scheduling Verification Of Embedded Real-Time Critical Systems: An Example With AADL

Frank Singhoff , Stéphane Rubini , Hai Nam Tran , Jalil Boukhobza , Laurent Lemarchand
Invited speaker at SYRCoSE 2018 - 12th Spring/Summer Young Researchers’ Colloquium on Software Engineering, May 2018, Novgorod the Great, Russia
Communication dans un congrès hal-01825157v1

Modeling and Validation of a Mixed-Criticality NoC Router Using the IF Language

Mourad Dridi , Mounir Lallali , Stéphane Rubini , Frank Singhoff , Jean-Philippe Diguet
the 10th International Workshop on Network on Chip Architectures, Oct 2017, Boston, United States. ⟨10.1145/3139540.3139543⟩
Communication dans un congrès hal-01713333v1
Image document

DAS: An Efficient NoC Router for Mixed-Criticality Real-Time Systems

Mourad Dridi , Stéphane Rubini , Mounir Lallali , Martha Johanna Sepulveda Florez , Frank Singhoff
2017 IEEE 35th International Conference on Computer Design (ICCD), Nov 2017, Boston, United States. ⟨10.1109/ICCD.2017.42⟩
Communication dans un congrès hal-01713312v1

Patrons de conception pour l’analyse d’ordonnancement temps réel multiprocesseurs

Stéphane Rubini , Frank Singhoff , Alain Plantec , Hai-Nam Tran , Jalil Boukhobza
Tutoriel présenté à l’école d'été temps réel (ETR'2017), Aug 2017, Rennes, France
Communication dans un congrès hal-01716933v1

Adapting a Fixed Priority Assignment Algorithm to Real-time Embedded Systems with Cache Memory

Nam Hai Tran , Frank Singhoff , Stéphane Rubini , Jalil Boukhobza
Colloque du GDR SoC-SiP, 2016, Rennes, France
Communication dans un congrès hal-02501377v1

An example of early scheduling analysis with AADL

Stéphane Rubini , Hai-Nam Tran , Mourad Dridi , Vincent Gaudel , Jalil Boukhobza
Présentation invitée à la Journée AADL du GDR SOC-SIP, Nov 2016, Paris, France
Communication dans un congrès hal-01419160v1

Considering I/O Processing in CloudSim for Performance and Energy Evaluation

Hamza Ouarnoughi , Jalil Boukhobza , Frank Singhoff , Stéphane Rubini , Erwann Kassis
ISC- High Performance Computing, Jun 2016, Francfort, Germany. pp 591-603, ⟨10.1007/978-3-319-46079-6_40⟩
Communication dans un congrès hal-01378353v1

A Cost Model for Virtual Machine Storage in Cloud IaaS Context

Hamza Ouarnoughi , Jalil Boukhobza , Frank Singhoff , Stéphane Rubini
24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP), Feb 2016, Heraklion, Greece. ⟨10.1109/PDP.2016.119⟩
Communication dans un congrès hal-01302240v1
Image document

Teaching Real-Time Scheduling Analysis with Cheddar

Frank Singhoff , Alain Plantec , Stéphane Rubini , Hai-Nam Tran , Vincent Gaudel
9ème édition de l’Ecole d’Eté « Temps Réel », Aug 2015, Rennes, France
Communication dans un congrès hal-01166136v1

Addressing Cache Related Preemption Delay in Fixed Priority Assignment

Hai-Nam Tran , Frank Singhoff , Stéphane Rubini , Jalil Boukhobza
20th IEEE International Conference on Emerging Technologies and Factory Automation, Sep 2015, Luxembourg, France
Communication dans un congrès hal-01166127v1

Modeling Shared-Memory Multiprocessor Systems with AADL

Stéphane Rubini , Pierre Dissaux , Frank Singhoff
1st Architecture Centric Virtual Integration (ACVI) Workshop. In conjonction with the MODELS international conference., Sep 2014, Valencia, Spain
Communication dans un congrès hal-01121245v1
Image document

The SMART Project: Multi-Agent Scheduling Simulation of Real-time Architectures

P Dissaux , O Marc , S. Rubini , C Fotsing , V Gaudel
Embedded Real Time Software and Systems (ERTS2014), Feb 2014, Toulouse, France
Communication dans un congrès hal-02272192v1

Scheduling Analysis of TDMA-Constrained Tasks: Illustration with Software Radio Protocols.

Shuai Li , Stéphane Rubini , Frank Singhoff , Bourdelles Michel
11th IEEE International Conference on Embedded Software and Systems, Aug 2014, paris, France
Communication dans un congrès hal-01121232v1

Instruction cache in hard real-time systems: modeling and integration in scheduling analysis tools with AADL

Hai-Nam Tran , Frank Singhoff , Stéphane Rubini , Jalil Boukhobza
International Conference on Embedded and Ubiquitous Computing (EUC), Aug 2014, Milan, Italy. pp.104-111, ⟨10.1109/EUC.2014.24⟩
Communication dans un congrès hal-01067654v1
Image document

The SMART Project: Multi-Agent Scheduling Simulation of Real-time Architectures

Pierre Dissaux , Olivier Marc Marc , Stéphane Rubini , Christian Fotsing , Vincent Gaudel
Embedded Real Time Software and Systems, Feb 2014, Toulouse, France
Communication dans un congrès hal-00983724v1
Image document

Integration of cache related preemption delay analysis into a priority assignment algorithm

Hai-Nam Tran , Frank Singhoff , Stéphane Rubini , Jalil Boukhobza
EWiLi'14, The 4th Embedded Operating Systems Workshop., Sep 2014, Lisbon, Portugal
Communication dans un congrès hal-01166868v2

A Multilevel I/O Tracer for Timing and Performance Analysis of Storage Systems in IaaS Cloud

Hamza Ouarnoughi , Jalil Boukhobza , Frank Singhoff , Stéphane Rubini
3rd IEEE Real-Time and Distributed Computing in Emerging Applications (REACTION ), Dec 2014, Rome, Italy
Communication dans un congrès hal-01097125v1

Extending Schedulability Tests of Tree-Shaped Transactions for TDMA Radio Protocols.

Shuai Li , Frank Singhoff , Stéphane Rubini , Bourdelles Michel
19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2014), Sep 2014, Barcelana, Spain
Communication dans un congrès hal-01121229v1

A Task Model for TDMA Communications

Shuai Li , Stéphane Rubini , Frank Singhoff , Bourdelles Michel
9th IEEE International Symposium on Industrial Embedded Systems. WIP Session., Jun 2014, Pisa, Italy
Communication dans un congrès hal-01121247v1

Applying Holistic Schedulability Tests to Industrial Systems: Experience and Lessons Learned.

Shuai Li , Stéphane Rubini , Frank Singhoff , Bourdelles Michel
5th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems, Jul 2014, Madrid, Spain
Communication dans un congrès hal-01121231v1

Scheduling analysis principles and tool for time and space partitioned systems

J. Craveiro , J.L. Souza , J. Rufino , Vincent Gaudel , Laurent Lemarchand
Simposio de informatica, Sep 2012, Lisbone, Portugal. pp.582-585
Communication dans un congrès hal-00801305v1

AADL real -time design-pattern automatic recognition

Pierre Dissaux , J. Legrand , Vincent Gaudel , Alain Plantec , Stéphane Rubini
Aerotech congress, Oct 2011, Toulouse, France. pp.0-0
Communication dans un congrès hal-00801327v1

Modeling and verification of memory architectures with AADL and REAL

Stéphane Rubini , Frank Singhoff , J. Hugues
In the proceedings of the 16th IEEE international conference on engineering of complex computer systems, Apr 2011, Las Vegas, United States. pp.338-343
Communication dans un congrès hal-00801329v1