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