Frank Singhoff

112
Documents

Publications

57
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
47
28
28
24
22
13
12
12
9
9
7
6
6
6
6
6
5
5
5
5
5
4
4
4
4
4
4
4
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
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
5
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 User Journal, 2024
Article dans une revue hal-04628767 v1

ADEPT 2022 workshop: a summary of strengths and weaknesses of the AADL ecosystem

Frank Singhoff , Jérôme Hugues , Hai Nam Tran , Gianluca Bardaro , Dominique Blouin et al.
Ada User Journal, 2023, 44 (2), pp.125-128
Article dans une revue hal-04251641 v1

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

Blandine Djika , Georges-Edouard Kouamou , Frank Singhoff , Alain Plantec
Ada User Journal, 2023, 44 (3)
Article dans une revue hal-04251654 v1
Image document

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-03868878 v1

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-03840494 v1
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-03164501 v1
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-03152032 v1
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 et al.
Operating Systems Review, 2021, 55 (1), pp.88-98. ⟨10.1145/3469379.3469391⟩
Article dans une revue hal-03276036 v1

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-01867949 v1

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-01869010 v1

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-01868846 v1

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-01868845 v1

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-01717138 v1

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-01497856 v1
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 et al.
ACM Journal on Emerging Technologies in Computing Systems, 2018
Article dans une revue hal-01867673 v1
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-01685444 v1

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-01588600 v1

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-01557984 v1

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-01302239 v1

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-01120561 v1
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-00983407 v1

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-00800893 v1

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-00800900 v1

An ada design pattern recognition tool for AADL performance analysis

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

Validate, Simulate and Implement ARINC653 Systems using the AADL

Julien Delange , Laurent Pautet , Alain Plantec , Mickael Kerboeuf , Frank Singhoff et al.
ACM SIGAda Ada Letters, 2009, 29 (3), pp.31-44. ⟨10.1145/1653616.1647435⟩
Article dans une revue hal-00745370 v1

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-00502357 v1

AADL Modeling and Analysis of Hierarchical Schedulers

Frank Singhoff , Alain Plantec
Ada Letters, 2007, pp.41-50
Article dans une revue hal-00502359 v1

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-00502353 v1

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-00502354 v1

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-04251528 v1

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-04251522 v1

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-03780112 v1

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-03549058 v1

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-03889874 v1
Image document

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-03777799 v1

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-03361920 v1
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 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-03215663 v1
Image document

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-03329757 v1

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-02859871 v1
Image document

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-03211869 v1
Image document

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-02433963 v1
Image document

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-02539830 v1

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-02153510 v1

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-02153499 v1

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-02153512 v1

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-01825034 v1

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-01825157 v1
Image document

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-01826153 v1
Image document

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-01898549 v1

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-01713333 v1

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-01716933 v1
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 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-01713312 v1

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-01354911 v1

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-01419160 v1

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-01416904 v1

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-01716935 v1

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-01378353 v1

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-01302240 v1

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-02501377 v1
Image document

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-01166136 v1

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-01196952 v1

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-01166127 v1

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-01121245 v1
Image document

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-02272192 v1

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-01121247 v1

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-01115723 v1

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-01121019 v1

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-01097125 v1

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-01121239 v1
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-01166868 v2
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 et al.
Embedded Real Time Software and Systems, Feb 2014, Toulouse, France
Communication dans un congrès hal-00983724 v1

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-01067654 v1

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-01121232 v1

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-01121231 v1

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-01121240 v1

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-01083267 v1

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-01121229 v1

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-01121244 v1

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-01121241 v1

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-01121242 v1

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-01121003 v1

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-00801305 v1

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-00801297 v1

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-00801332 v1

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-00801329 v1
Image document

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-00664435 v1

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-00801301 v1

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-00801327 v1

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-00502111 v1

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-00661001 v1
Image document

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-02264385 v1

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-00502358 v1
Image document

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-00504346 v1
Image document

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-02269760 v1

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-00502360 v1
Image document

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-00504347 v1
Image document

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-00498658 v1
Image document

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-00498627 v2
Image document

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-00504348 v1

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-02786982 v1