Frank Singhoff

120
Documents

Publications

65
20
7
6
4
3
3
2
2
2
1
1
1
1
1
1
3
3
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
53
31
29
24
22
15
12
12
9
9
7
7
6
6
6
6
5
5
5
5
5
4
4
4
4
4
4
4
3
3
3
3
3
3
3
3
3
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
6
4
4
10
7
4
4
11
7
9
3
19
4
4
8
3
2
3
4
4

Publications

An Iterative Benchmark Configuration Method for Quantifying Multi-Core Interference

Sébastien Levieux , Frank Singhoff , Stéphane Rubini , Philippe Plasson , Pierre-Vincent Gouel et al.

Ada Letters, 2024, Proceedings of the WIP track of the AEiC 2024 conference, 44 (1), pp.78-84. ⟨10.1145/3706601.3706615⟩

Article dans une revue hal-04628767v1

A POSIX/RTEMS monitoring tool and a benchmark to detect real-time scheduling anomalies

Blandine Djika , Georges-Edouard Kouamou , Frank Singhoff , Alain Plantec

Ada Letters, 2023, Proceedings of the WIP track of the AEiC 2023 conference, 43 (2), pp.62 - 68. ⟨10.1145/3672359.3672367⟩

Article dans une revue hal-04251654v1
Deposit thumbnail

Modèle multi-agent d’auto-organisation pour le butinage au sein d’une colonie d’abeilles

Jérémy Rivière , Thomas Alves , Cédric Alaux , Yves Le Conte , Yves Layec et al.

Revue Ouverte d'Intelligence Artificielle, 2022, 3 (5-6), pp.423 - 450. ⟨10.5802/roia.38⟩

Article dans une revue hal-03868878v1

Specification of schedulability assumptions to leverage multiprocessor Analysis

Stéphane Rubini , Valérie-Anne Nicolas , Frank Singhoff , Alain Plantec , Hai Nam Tran et al.

Journal of Systems Architecture, 2022, 133, pp.102761. ⟨10.1016/j.sysarc.2022.102761⟩

Article dans une revue hal-03840494v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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 et al.

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 et al.

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

Multi-Objective Design Exploration Approach for Ravenscar Real-time Systems.

Rahma Bouaziz , Laurent Lemarchand , Frank Singhoff , Béchir Zalila , Mohamed Jmaiel

Real-Time Systems, 2018, 54 (2), pp 424-483. ⟨10.1007/s11241-018-9299-6⟩

Article dans une revue hal-01717138v1

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

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

José Rufino , António Casimiro , Antónia Lopes , Frank Singhoff , Stéphane Rubini et al.

Ada User Journal, 2018

Article dans une revue hal-01869010v1
Deposit thumbnail

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 et al.

ACM Journal on Emerging Technologies in Computing Systems, 2018

Article dans une revue hal-01867673v1

MONTRES : Merge ON-The-Run External Sorting algorithm for large data volumes on SSD based storage systems

Arezki Laga , Jalil Boukhobza , Frank Singhoff , Michel Koskas

IEEE Transactions on Computers, 2017, 66 (10), pp.1689 - 1702. ⟨10.1109/TC.2017.2706678⟩

Article dans une revue hal-01588600v1
Deposit thumbnail

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

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

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

Composition of Design Pattern : from the modeling of RTOS synchronization tools to schedulability analysis

Vincent Gaudel , Frank Singhoff , Alain Plantec , Pierre Dissaux , Jérôme Legrand

ACM SIGBED Review, 2014, 11 (1), pp.44-49

Article dans une revue hal-01120561v1
Deposit thumbnail

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

Ada Letters, 2012, 32 (3), p. 61-68

Article dans une revue hal-00800893v1

Architecture, Mechanisms and Scheduling analysis tool for multicore time-and space-partitioned systems

J. Craveiro , J. Rufino , Frank Singhoff

ACM SIGBED Review, 2011, 8 (3), pp.23-27

Article dans une revue hal-00800900v1

An ada design pattern recognition tool for AADL performance analysis

Vincent Gaudel , Frank Singhoff , Alain Plantec , Stéphane Rubini , Pierre Dissaux et al.

Ada Letters, 2011, 31 (3), pp.61-68

Article dans une revue hal-00801282v1

Validate, Simulate and Implement ARINC653 Systems using the AADL

Julien Delange , Laurent Pautet , Alain Plantec , Mickael Kerboeuf , Frank Singhoff et al.

Ada Letters, 2009, 29 (3), pp.31-44. ⟨10.1145/1653616.1647435⟩

Article dans une revue hal-00745370v1

Investigating the usability of real-time scheduling theory with the Cheddar project

Frank Singhoff , Alain Plantec , Pierre Dissaux , Jérôme Legrand

Journal of Real Time Systems. Volume 3. Number 43. Springer Verlag. ISSN:0922-6443, 2009, pp.259-295

Article dans une revue hal-00502357v1

AADL Modeling and Analysis of Hierarchical Schedulers

Frank Singhoff , Alain Plantec

Ada Letters, 2007, pp.41-50

Article dans une revue hal-00502359v1

Un processus d'ingénierie de Cheddar pour la simulation de systèmes temps réel à grande échelle

Alain Plantec , Frank Singhoff

Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2007, pp.26-35

Article dans une revue hal-00502353v1

Refactoring of an Ada 95 Library with a Meta CASE Tool

Alain Plantec , Frank Singhoff

Ada Letters, 2006, pp.61-70

Article dans une revue hal-00502354v1

Simulation and Optimisation of a Submarine ROV with AADL

Ivan Kovačević , Jure Antunovicz , Tonko Kovacevic , Laurent Lemarchand , Frank Singhoff

4th ADEPT workshop: AADL by its practitioners, Jun 2025, Paris, France

Communication dans un congrès hal-05116455v1

PrAICC: A Predictible Inter-Core Communication Model for AMP systems

Sébastien Levieux , Pierre-Vincent Gouel , Leeroy Malac-Allain , Lucas Mines , Philippe Plasson et al.

2nd European Data Handling & Data Processing Conference, EDHPC 2025, ESA/IEEE, Oct 2025, Elche, Spain

Communication dans un congrès hal-05145130v1

How to Model and Quantify Interference in Multicore Space Flight Software

Sébastien Levieux , Stéphane Rubini , Philippe Plasson , Lucas Miné , Pierre-Vincent Gouel et al.

CAPITAL Workshop 2025: sCalable And PrecIse Timing AnaLysis for multicore platforms, May 2025, Paris, France

Communication dans un congrès hal-05116395v1

Can we design a model to identify scheduling anomalies?

Blandine Djika , Alain Plantec , Georges Edouard Kouamou , Frank Singhoff

14th International Real-Time Scheduling Open Problems Seminar (RTSOPS 2025), Jul 2025, Bruxelle, Belgium

Communication dans un congrès hal-05116491v1

q-AMC: Integrating Quality Management in Mixed Criticality Scheduling

Alan Le Boudec , Hai Nam Tran , Stéphane Rubini , Alexandre Skrzyniarz , Frank Singhoff

30th IEEE International Conference on Emerging Technologies and Factory Automation, Sep 2025, Porto, Portugal

Communication dans un congrès hal-05117610v1

Executable AADL Models for Early System Qualification Test

Stéphane Rubini , Sébastien Levieux , Eric Cariou , Frank Singhoff , Hai Nam Tran et al.

3rd ADEPT workshop: AADL by its practitioners, Jun 2024, Barcelona, Spain

Communication dans un congrès hal-05116430v1

AADL Modeling and Schedulability analysis of Multiprocessor Architectures

Frank Singhoff , Stéphane Rubini , Hai Nam Tran , Sébastien Levieux

3rd ADEPT workshop: AADL by its practitioners, Jun 2024, Barcelona, Spain

Communication dans un congrès hal-05116414v1

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 et al.

Brief presentation at the 44th IEEE Real-Time Systems Symposium (RTSS), Dec 2023, Taipei, Taiwan

Communication dans un congrès hal-04251528v1

Detection of scheduling anomalies in real-time systems

Blandine Djika , Alain Plantec , Frank Singhoff , Georges-Edouard Kouamou

Journées nationales du GDR GPL 2023, Jun 2023, Rennes, France

Communication dans un congrès hal-04251522v1

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 et al.

11th European Congress ERTSS Embedded Real Time Software and System, 2022, Toulouse, France

Communication dans un congrès hal-03549058v1
Deposit thumbnail

Observing the Impact of Multicore Execution Platform for TSP Systems Under Schedulability, Security and Safety Constraints

Ill-Ham Atchadam , L Lemarchand , Frank Singhoff , Hai Nam Tran

DECSOS, Sep 2022, Munich, Germany. pp.83--96, ⟨10.1007/978-3-031-14862-0_5⟩

Communication dans un congrès hal-03777799v1

Design Space Exploration for TSP systems on multicore platforms under schedulability, security and safety constraints

Laurent Lemarchand , Ill-Ham Atchadam , Frank Singhoff , Hai Nam Tran

GT Optimisation des Systèmes Intégrés (OSI) - GDR SOC2 & RO, Dec 2022, Paris, France

Communication dans un congrès hal-03889874v1

Work-In-Progress: Models and tools to detect Real-Time Scheduling Anomalies

Blandine Djika , Frank Singhoff , Alain Plantec , Georges Edouard Kouamou

Brief presentation at the 42nd IEEE Real-Time Systems Symposium (RTSS), Dec 2021, Dortmund, Germany

Communication dans un congrès hal-03361920v1
Deposit thumbnail

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 et al.

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
Deposit thumbnail

Timing analysis of TASTE models for reconfigurable software

Jean-Charles Roger , Pierre Dissaux , Jérôme Legrand , Mourad Dridi , Stéphane Rubini et al.

Model-Based Systems and Software Engineering (MBSE 2021) ESA Workshop, Sep 2021, Virtual, France

Communication dans un congrès hal-03329757v1

When security affects schedulability of TSP systems: trade-offs observed by design space exploration

Ill-Ham Atchadam , Laurent Lemarchand , Hai Nam Tran , Frank Singhoff , Karim Bigou

25th international conference on emerging technologies and factory automaton, ETFA 2020, IEEE Industrial Electronics Society, Sep 2020, Vienna, Austria

Communication dans un congrès hal-02859871v1
Deposit thumbnail

Modèle d'Interruption pour la Répartition des Tâches : Application à une simulation de colonie d'abeilles

Thomas Alves , Jérémy Rivière , Cédric Alaux , Yves Le Conte , Frank Singhoff et al.

Rencontres des Jeunes Chercheur·ses en Intelligence Artificielle (RJCIA 2020 @ PFIA), Jun 2020, Angers, France

Communication dans un congrès hal-03211869v1
Deposit thumbnail

An Interruptible Task Allocation Model : Application to a Honey Bee Colony Simulation

Thomas Alves , Jérémy Rivière , Cédric Alaux , Yves Le Conte , Frank Singhoff et al.

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⟩

Communication dans un congrès hal-02539830v1
Deposit thumbnail

Combined Real-Time, Safety and Security Model Analysis

P Dissaux , Frank Singhoff , L Lemarchand , Hai Nam Tran , Ill-Ham Atchadam

9th European Congress ERTSS Embedded Real Time Software and System, Feb 2020, Toulouse, France

Communication dans un congrès hal-02433963v1

Scheduling analysis of AADL architecture models

Frank Singhoff , Pierre Dissaux

Full day Tutorial présented at the CPS-WEEK conferences, Apr 2019, Montréal, Canada

Communication dans un congrès hal-02153510v1

Combined security and schedulability analysis for MILS real-time critical architectures

Ill-Ham Atchadam , Frank Singhoff , Hai Nam Tran , Nora Bouzid , Laurent Lemarchand

4th international workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS), Jun 2019, Stuttgart, Germany

Communication dans un congrès hal-02153499v1

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

Scheduling analysis of AADL architecture models

Frank Singhoff , Pierre Dissaux

Full day tutorial présented at the 23rd International Conference on Reliable Software Technologies - Ada-Europe, Jun 2018, Lisbon, Portugal

Communication dans un congrès hal-01825034v1
Deposit thumbnail

Toward a Complete Agent-Based Model of a Honeybee Colony

Jérémy Rivière , Cédric Alaux , Yves Le Conte , Yves Layec , André Lozac'H et al.

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⟩

Communication dans un congrès hal-01826153v1

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 et al.

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
Deposit thumbnail

Recrutement et auto-organisation : Vers un modèle multi-agent complet d’une colonie d’abeilles

Jérémy Rivière , Cédric Alaux , Yves Le Conte , Yves Layec , André Lozac'H et al.

26èmes Journées Francophones sur les Systèmes Multi-Agents (JFSMA'2018), Oct 2018, Métabief, France

Communication dans un congrès hal-01898549v1
Deposit thumbnail

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

Mourad Dridi , Stéphane Rubini , Mounir Lallali , Martha Johanna Sepulveda Florez , Frank Singhoff et al.

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 et al.

Tutoriel présenté à l’école d'été temps réel (ETR'2017), Aug 2017, Rennes, France

Communication dans un congrès hal-01716933v1

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

Lynx: A Learning Linux Prefetching Mechanism For SSD Performance Model

Arezki Laga , Jalil Boukhobza , Michel Koskas , Frank Singhoff

The 5th IEEE Non-Volatile Memory Systems and Applications Symposium (NVMSA 2016), Aug 2016, Daegu, South Korea. ⟨10.1109/NVMSA.2016.7547186⟩

Communication dans un congrès hal-01354911v1

An example of early scheduling analysis with AADL

Stéphane Rubini , Hai-Nam Tran , Mourad Dridi , Vincent Gaudel , Jalil Boukhobza et al.

Présentation invitée à la Journée AADL du GDR SOC-SIP, Nov 2016, Paris, France

Communication dans un congrès hal-01419160v1

Application of AADL for Marine Control Systems

Pierre Dissaux , Sofien Kerkeni , Frank Singhoff

Dynamic positioning conference, Oct 2016, Houston, United States

Communication dans un congrès hal-01716935v1

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

Efficient Parallel Multi-Objective Optimization for Real-time Systems Software Design Exploration

Rahma Bouaziz , Laurent Lemarchand , Frank Singhoff , Bechir Zalila , Mohamed Jmaiel

International Symposium on Rapid System Prototyping (RSP'16), Oct 2016, Pittsburgh, United States

Communication dans un congrès hal-01416904v1

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

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

Hai Nam Tran , Frank Singhoff , Stéphane Rubini , Jalil Boukhobza

Colloque du GDR SoC-SiP, 2016, Rennes, France

Communication dans un congrès hal-02501377v1
Deposit thumbnail

Teaching Real-Time Scheduling Analysis with Cheddar

Frank Singhoff , Alain Plantec , Stéphane Rubini , Hai-Nam Tran , Vincent Gaudel et al.

9ème édition de l’Ecole d’Eté « Temps Réel », Aug 2015, Rennes, France

Communication dans un congrès hal-01166136v1

Architecture Exploration of Real-time Systems Based on Multi-Objective Optimization

Rahma Bouaziz , Laurent Lemarchand , Frank Singhoff , Bechir Zalila , Mohamed Jmaiel

20th International Conference on Engineering of Complex Computer Systems (ICECCS 2015), Dec 2015, Golden Coast, Australia

Communication dans un congrès hal-01196952v1

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
Deposit thumbnail

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

Pierre Dissaux , Olivier Marc Marc , Stéphane Rubini , Christian Fotsing , Vincent Gaudel et al.

Embedded Real Time Software and Systems, Feb 2014, Toulouse, France

Communication dans un congrès hal-00983724v1

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

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

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

AADLv2, An Architecture Description Language for the Analysis and Generation of Embedded Systems

Jérôme Hugues , Frank Singhoff

Half day tutorial presented in the ACM HILT conference, Oct 2014, Portland, United States

Communication dans un congrès hal-01121239v1
Deposit thumbnail

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

Architecture Models Refinement for Fine Grain Timing Analysis of Embedded Systems

Etienne Borde , Laurent Pautet , Fabien Cadoret , Smail Rahmoun , Frank Singhoff

International Symposium on Rapid System Prototyping, Oct 2014, New Delhi, India. pp.44-50

Communication dans un congrès hal-01115723v1

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

Architecture Models Refinement for Fine Grain Timing Analysis of Embedded Systems

Etienne Borde , Smail Rahmoun , Fabien Cadoret , Laurent Pautet , Frank Singhoff et al.

IEEE International Symposium on Rapid System Prototyping, Oct 2014, New Dehli, India

Communication dans un congrès hal-01121019v1
Deposit thumbnail

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

P Dissaux , O Marc , S. Rubini , C Fotsing , V Gaudel et al.

Embedded Real Time Software and Systems (ERTS2014), Feb 2014, Toulouse, France

Communication dans un congrès hal-02272192v1

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

AADLv2, a Domain Specific Language for the Modeling, the Analysis and the Generation of Real-Time Embedded Systems

Frank Singhoff , Jérôme Hugues

Half day tutorial presented in the International MODELS conferences, Sep 2014, Valencia, Spain

Communication dans un congrès hal-01121240v1

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

Synchronization of Models of Rich Languages with Triple Graph Grammars

Dominique Blouin , Pierre Dissaux , Frank Singhoff , Alain Plantec , Jean-Philippe Diguet

International Conference on Model Transformation (ICMT), Jul 2014, York, United Kingdom

Communication dans un congrès hal-01083267v1

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

AADLv2, an Architecture Description Language for the Analysis and Generation of Embedded Systems

Jérôme Hugues , Frank Singhoff

Half day tutorial presented in the International EMSOFT/ESWEEK conferences, Sep 2013, Montreal, Canada

Communication dans un congrès hal-01121241v1

Deterministic Implementation of Periodic-Delayed Communications and Experimentation in AADL

Fabien Cadoret , Robert Thomas , Etienne Borde , Laurent Pautet , Frank Singhoff

17th IEEE Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC 2013), Jun 2013, Paderborn, Germany

Communication dans un congrès hal-01121244v1

Enforcing Software Engineering Tools Interoperability: An Example with AADL Subsets.

Vincent Gaudel , Alain Plantec , Frank Singhoff , Jérôme Hugues , Pierre Dissaux et al.

24th International Symposium on Rapid System Prototyping (RSP), Oct 2013, Montreal, Canada

Communication dans un congrès hal-01121242v1

Cheddar : about the usability of the real-time scheduling theory

Frank Singhoff

CCT CNES Seminar, Jun 2013, Toulouse, France

Communication dans un congrès hal-01121003v1

Scheduling analysis principles and tool for time and space partitioned systems

J. Craveiro , J.L. Souza , J. Rufino , Vincent Gaudel , Laurent Lemarchand et al.

Simposio de informatica, Sep 2012, Lisbone, Portugal. pp.582-585

Communication dans un congrès hal-00801305v1

About architecture description languages and scheduling analysis

Frank Singhoff

Schloss Dagstuhl Seminar number 12272, Driven semantic analysis of embedded systems, Jul 2012, Dagstuhl, Germany

Communication dans un congrès hal-00801297v1

Sélection automatique de tests de faisabilité à l'aide de patrons de conception

Vincent Gaudel , Frank Singhoff , Alain Plantec , Pierre Dissaux , Jérôme Legrand

Session doctorants de l'école temps réel 2011, Aug 2011, Brest, France. pp.185-188

Communication dans un congrès hal-00801332v1

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
Deposit thumbnail

Forward engineering and early model validation with Smalltalk

Alain Plantec , Frank Singhoff , V Gaudel , Vincent Ribaud

5th Argentine Smalltalk Conference., Nov 2011, Buenos Aires., Argentina

Communication dans un congrès hal-00664435v1

Building embedded real-time applications

J. Mccormick , Frank Singhoff

ACM SIGAda conférence, Nov 2011, Denver, Colorado, United States

Communication dans un congrès hal-00801301v1

AADL real -time design-pattern automatic recognition

Pierre Dissaux , J. Legrand , Vincent Gaudel , Alain Plantec , Stéphane Rubini et al.

Aerotech congress, Oct 2011, Toulouse, France. pp.0-0

Communication dans un congrès hal-00801327v1

Comparison of six ways to extend the scope of Cheddar to AADL v2 with Osate

Mickael Kerboeuf , Alain Plantec , Frank Singhoff , A. Schach , Pierre Dissaux

5th international workshop on AADL and UML, Mar 2010, United Kingdom. pp.367-372

Communication dans un congrès hal-00502111v1
Deposit thumbnail

AADL Design-Patterns and Tools for Modelling and Performance Analysis of Real-Time systems

Pierre Dissaux , Jérôme Legrand , Alain Plantec , Mickael Kerboeuf , Frank Singhoff

ERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France

Communication dans un congrès hal-02264385v1

AADL design patterns and tools for modelling and performance analysis of real-time systems.

P. Disseaux , Alain Plantec , Mickael Kerboeuf , Frank Singhoff

5th european congress ERTSS Embedded Real-Time Software and System., May 2010, France

Communication dans un congrès hal-00661001v1

Can we increase the usability of real time scheduling theory ? The Cheddar project.

Frank Singhoff , Alain Plantec , Pierre Dissaux

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

Communication dans un congrès hal-00502358v1
Deposit thumbnail

Stood and Cheddar: AADL as a Pivot Language for Analysing Performances of Real Time Architectures

Pierre Dissaux , Frank Singhoff

4th European Congress ERTS 2008, Jan 2008, Toulouse, France, France

Communication dans un congrès hal-02269760v1
Deposit thumbnail

About Real Time Scheduling Analysis of Ada Applications

Frank Singhoff

Tutorial presented in the 13th International Conference on Reliable Software Technologies, Ada-Europe, Jun 2008, Italy. pp.x-y

Communication dans un congrès hal-00504346v1

Towards User-Level extensibility of an Ada library : an experiment with Cheddar

Frank Singhoff , Alain Plantec

Proceedings of the 12th International Conference on Reliable Software Technologies Ada-Europe, Jun 2007, Switzerland. pp.180-191

Communication dans un congrès hal-00502360v1
Deposit thumbnail

Real Time Scheduling and its use with Ada

Frank Singhoff

Tutorial presented to the annual international conference of the ACM SIGAda, Nov 2007, United States. pp.x-y

Communication dans un congrès hal-00504347v1
Deposit thumbnail

Implementing an AADL performance analyzer

Frank Singhoff , Laurent Tchamnda Nana , Jérôme Legrand

DASIA 2006, May 2006, Germany. pp.SP-630

Communication dans un congrès hal-00504348v1
Deposit thumbnail

Performance evaluation of a controlled flow-shop system with a timed petri net model

Loic Plassart , Philippe Le Parc , Frank Singhoff , Lionel Marcé

ICINCO 2006, Third International Conference on Informatics in Control, Automation and Robotics, Robotics and Automation, Aug 2006, setubal, Portugal. pp.494-499

Communication dans un congrès hal-00498627v2
Deposit thumbnail

Performance Analysis of an Assembly System: a Case Study

Jean-Luc Cojan , Loic Plassart , Frank Singhoff , Philippe Le Parc

2nd European Modeling and Simulation Symposium October 4-6, 2006. Barcelone. pp. 189-194. Octobre 2006, Oct 2006, Barcelone, Spain. pp.189-194

Communication dans un congrès hal-00498658v1

Toward a Complete Agent-Based Model of a Honeybee Colony

Jeremy Riviere , Cédric Alaux , Yves Le Conte , Yves Layec , André Lozac’h et al.

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⟩

Chapitre d'ouvrage hal-02786982v1