Access content directly

Frank Singhoff

111
Documents

Publications

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
Ada User Journal, 2023, 44 (2), pp.125-128
Journal articles hal-04251641v1

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)
Journal articles hal-04251654v1

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⟩
Journal articles hal-03840494v1
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
Revue Ouverte d'Intelligence Artificielle, 2022, 3 (5-6), pp.423 - 450. ⟨10.5802/roia.38⟩
Journal articles hal-03868878v1
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⟩
Journal articles hal-03276036v1
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⟩
Journal articles 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⟩
Journal articles hal-03164501v1

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⟩
Journal articles 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
Journal articles hal-01869010v1

Verification of Scheduling Properties Based on Execution Traces

Valérie-Anne Nicolas , Mounir Lallali , Stéphane Rubini , Frank Singhoff
Ada User Journal, 2018
Journal articles 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
Journal articles hal-01868845v1

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⟩
Journal articles hal-01497856v1

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⟩
Journal articles hal-01717138v1
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
Journal articles 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⟩
Journal articles hal-01588600v1
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⟩
Journal articles 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⟩
Journal articles 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⟩
Journal articles 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)
Journal articles hal-00983407v1

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
Journal articles hal-01120561v1

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
Journal articles 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
Journal articles hal-00801282v1

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
Journal articles hal-00800900v1

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
Journal articles hal-00502357v1

Validate, Simulate and Implement ARINC653 Systems using the AADL

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

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
Journal articles hal-00502353v1

AADL Modeling and Analysis of Hierarchical Schedulers

Frank Singhoff , Alain Plantec
Ada Letters, 2007, pp.41-50
Journal articles hal-00502359v1

Refactoring of an Ada 95 Library with a Meta CASE Tool

Alain Plantec , Frank Singhoff
Ada Letters, 2006, pp.61-70
Journal articles hal-00502354v1

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
Conference papers 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
Conference papers hal-04251522v1

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
Conference papers hal-03549058v1

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
Conference papers hal-03889874v1
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⟩
Conference papers hal-03777799v1

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
Conference papers hal-03780112v1

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
Conference papers hal-03361920v1
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
Conference papers 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⟩
Conference papers hal-03215663v1
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
Conference papers hal-02433963v1

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
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⟩
Conference papers hal-02539830v1

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
Conference papers hal-02859871v1
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
Rencontres des Jeunes Chercheur·ses en Intelligence Artificielle (RJCIA 2020 @ PFIA), Jun 2020, Angers, France
Conference papers hal-03211869v1

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
Conference papers 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
Conference papers 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
Conference papers hal-02153512v1
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
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⟩
Conference papers 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
Invited speaker at SYRCoSE 2018 - 12th Spring/Summer Young Researchers’ Colloquium on Software Engineering, May 2018, Novgorod the Great, Russia
Conference papers hal-01825157v1
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
26èmes Journées Francophones sur les Systèmes Multi-Agents (JFSMA'2018), Oct 2018, Métabief, France
Conference papers hal-01898549v1

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
Conference papers hal-01825034v1

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⟩
Conference papers hal-01713333v1

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
Conference papers hal-01716933v1
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⟩
Conference papers hal-01713312v1

Application of AADL for Marine Control Systems

Pierre Dissaux , Sofien Kerkeni , Frank Singhoff
Dynamic positioning conference, Oct 2016, Houston, United States
Conference papers 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⟩
Conference papers 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
Conference papers 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⟩
Conference papers hal-01302240v1

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
Conference papers hal-02501377v1

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⟩
Conference papers hal-01354911v1

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
Conference papers hal-01419160v1

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
Conference papers hal-01166127v1

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
Conference papers hal-01196952v1
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
Conference papers hal-01166136v1

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
Conference papers 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
Conference papers hal-02272192v1

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
Conference papers hal-01121239v1
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
Conference papers 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
Conference papers hal-01097125v1

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
Conference papers hal-01121247v1

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
Conference papers hal-01115723v1

Architecture Models Refinement for Fine Grain Timing Analysis of Embedded Systems

Etienne Borde , Smail Rahmoun , Fabien Cadoret , Laurent Pautet , Frank Singhoff
IEEE International Symposium on Rapid System Prototyping, Oct 2014, New Dehli, India
Conference papers hal-01121019v1

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
Conference papers hal-01121231v1

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
Conference papers hal-01121240v1

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
Conference papers 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⟩
Conference papers 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
Conference papers hal-00983724v1

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
Conference papers hal-01121229v1

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
Conference papers hal-01083267v1

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
Conference papers hal-01121244v1

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

Vincent Gaudel , Alain Plantec , Frank Singhoff , Jérôme Hugues , Pierre Dissaux
24th International Symposium on Rapid System Prototyping (RSP), Oct 2013, Montreal, Canada
Conference papers hal-01121242v1

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

Frank Singhoff
CCT CNES Seminar, Jun 2013, Toulouse, France
Conference papers hal-01121003v1

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
Conference papers hal-01121241v1

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
Conference papers 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
Conference papers hal-00801297v1

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
Conference papers hal-00801327v1

Building embedded real-time applications

J. Mccormick , Frank Singhoff
ACM SIGAda conférence, Nov 2011, Denver, Colorado, United States
Conference papers hal-00801301v1

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
Conference papers hal-00801329v1
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
Conference papers hal-00664435v1

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
Conference papers hal-00801332v1

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
Conference papers hal-00661001v1
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
Conference papers hal-02264385v1

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
Conference papers hal-00502111v1
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
Conference papers hal-02269760v1
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
Conference papers hal-00504346v1

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
Conference papers hal-00502358v1

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
Conference papers hal-00502360v1
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
Conference papers hal-00504347v1
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
Conference papers hal-00498627v2
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
Conference papers hal-00498658v1
Image document

Implementing an AADL performance analyzer

Frank Singhoff , Laurent Tchamnda Nana , Jérôme Legrand
DASIA 2006, May 2006, Germany. pp.SP-630
Conference papers hal-00504348v1

Toward a Complete Agent-Based Model of a Honeybee Colony

Jeremy Riviere , Cédric Alaux , Yves Le Conte , Yves Layec , André Lozac’h
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⟩
Book sections hal-02786982v1