Frank Singhoff
Publications
Publications
Simulation and Optimisation of a Submarine ROV with AADL4th ADEPT workshop: AADL by its practitioners, Jun 2025, Paris, France |
|
PrAICC: A Predictible Inter-Core Communication Model for AMP systems2nd European Data Handling & Data Processing Conference, EDHPC 2025, ESA/IEEE, Oct 2025, Elche, Spain |
|
How to Model and Quantify Interference in Multicore Space Flight SoftwareCAPITAL Workshop 2025: sCalable And PrecIse Timing AnaLysis for multicore platforms, May 2025, Paris, France |
|
Can we design a model to identify scheduling anomalies?14th International Real-Time Scheduling Open Problems Seminar (RTSOPS 2025), Jul 2025, Bruxelle, Belgium |
|
q-AMC: Integrating Quality Management in Mixed Criticality Scheduling30th IEEE International Conference on Emerging Technologies and Factory Automation, Sep 2025, Porto, Portugal |
|
Executable AADL Models for Early System Qualification Test3rd ADEPT workshop: AADL by its practitioners, Jun 2024, Barcelona, Spain |
|
AADL Modeling and Schedulability analysis of Multiprocessor Architectures3rd ADEPT workshop: AADL by its practitioners, Jun 2024, Barcelona, Spain |
|
Work-In-Progress: Could Tensorflow applications benefit from a mixed-criticality approach?Brief presentation at the 44th IEEE Real-Time Systems Symposium (RTSS), Dec 2023, Taipei, Taiwan |
|
Detection of scheduling anomalies in real-time systemsJournées nationales du GDR GPL 2023, Jun 2023, Rennes, France |
|
Memory hierarchy in scheduling simulation: problems, implementation & return of experienceWorkshop CAPITAL 2022: sCalable And PrecIse Timing AnaLysis for multicore platforms, Jun 2022, Grenoble, France |
|
PLATO N-DPU on-board software: an ideal candidate for multicore scheduling analysis11th European Congress ERTSS Embedded Real Time Software and System, 2022, Toulouse, France |
|
|
|
Observing the Impact of Multicore Execution Platform for TSP Systems Under Schedulability, Security and Safety ConstraintsDECSOS, Sep 2022, Munich, Germany. pp.83--96, ⟨10.1007/978-3-031-14862-0_5⟩ |
Design Space Exploration for TSP systems on multicore platforms under schedulability, security and safety constraintsGT Optimisation des Systèmes Intégrés (OSI) - GDR SOC2 & RO, Dec 2022, Paris, France |
|
Work-In-Progress: Models and tools to detect Real-Time Scheduling AnomaliesBrief presentation at the 42nd IEEE Real-Time Systems Symposium (RTSS), Dec 2021, Dortmund, Germany |
|
|
|
EZIOTracer: unifying kernel and user space I/O tracing for data-intensive applicationsCHEOPS 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⟩ |
|
|
Timing analysis of TASTE models for reconfigurable softwareModel-Based Systems and Software Engineering (MBSE 2021) ESA Workshop, Sep 2021, Virtual, France |
When security affects schedulability of TSP systems: trade-offs observed by design space exploration25th international conference on emerging technologies and factory automaton, ETFA 2020, IEEE Industrial Electronics Society, Sep 2020, Vienna, Austria |
|
|
|
Modèle d'Interruption pour la Répartition des Tâches : Application à une simulation de colonie d'abeillesRencontres des Jeunes Chercheur·ses en Intelligence Artificielle (RJCIA 2020 @ PFIA), Jun 2020, Angers, France |
|
|
An Interruptible Task Allocation Model : Application to a Honey Bee Colony SimulationPAAMS 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⟩ |
|
|
Combined Real-Time, Safety and Security Model Analysis9th European Congress ERTSS Embedded Real Time Software and System, Feb 2020, Toulouse, France |
Scheduling analysis of AADL architecture modelsFull day Tutorial présented at the CPS-WEEK conferences, Apr 2019, Montréal, Canada |
|
Combined security and schedulability analysis for MILS real-time critical architectures4th international workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS), Jun 2019, Stuttgart, Germany |
|
ECTM: A New Communication Model to Network-On-Chip Schedulability Analysis24th International Conference on Reliable Software Technologies – Ada-Europe 2019, Jun 2019, Varsow, Poland |
|
Scheduling analysis of AADL architecture modelsFull day tutorial présented at the 23rd International Conference on Reliable Software Technologies - Ada-Europe, Jun 2018, Lisbon, Portugal |
|
|
|
Toward a Complete Agent-Based Model of a Honeybee ColonyHighlights 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⟩ |
About Early Scheduling Verification Of Embedded Real-Time Critical Systems: An Example With AADLInvited speaker at SYRCoSE 2018 - 12th Spring/Summer Young Researchers’ Colloquium on Software Engineering, May 2018, Novgorod the Great, Russia |
|
|
|
Recrutement et auto-organisation : Vers un modèle multi-agent complet d’une colonie d’abeilles26èmes Journées Francophones sur les Systèmes Multi-Agents (JFSMA'2018), Oct 2018, Métabief, France |
|
|
DAS: An Efficient NoC Router for Mixed-Criticality Real-Time Systems2017 IEEE 35th International Conference on Computer Design (ICCD), Nov 2017, Boston, United States. ⟨10.1109/ICCD.2017.42⟩ |
Patrons de conception pour l’analyse d’ordonnancement temps réel multiprocesseursTutoriel présenté à l’école d'été temps réel (ETR'2017), Aug 2017, Rennes, France |
|
Modeling and Validation of a Mixed-Criticality NoC Router Using the IF Languagethe 10th International Workshop on Network on Chip Architectures, Oct 2017, Boston, United States. ⟨10.1145/3139540.3139543⟩ |
|
Lynx: A Learning Linux Prefetching Mechanism For SSD Performance ModelThe 5th IEEE Non-Volatile Memory Systems and Applications Symposium (NVMSA 2016), Aug 2016, Daegu, South Korea. ⟨10.1109/NVMSA.2016.7547186⟩ |
|
An example of early scheduling analysis with AADLPrésentation invitée à la Journée AADL du GDR SOC-SIP, Nov 2016, Paris, France |
|
Application of AADL for Marine Control SystemsDynamic positioning conference, Oct 2016, Houston, United States |
|
Considering I/O Processing in CloudSim for Performance and Energy EvaluationISC- High Performance Computing, Jun 2016, Francfort, Germany. pp 591-603, ⟨10.1007/978-3-319-46079-6_40⟩ |
|
Efficient Parallel Multi-Objective Optimization for Real-time Systems Software Design ExplorationInternational Symposium on Rapid System Prototyping (RSP'16), Oct 2016, Pittsburgh, United States |
|
A Cost Model for Virtual Machine Storage in Cloud IaaS Context24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP), Feb 2016, Heraklion, Greece. ⟨10.1109/PDP.2016.119⟩ |
|
Adapting a Fixed Priority Assignment Algorithm to Real-time Embedded Systems with Cache MemoryColloque du GDR SoC-SiP, 2016, Rennes, France |
|
|
|
Teaching Real-Time Scheduling Analysis with Cheddar9ème édition de l’Ecole d’Eté « Temps Réel », Aug 2015, Rennes, France |
Architecture Exploration of Real-time Systems Based on Multi-Objective Optimization20th International Conference on Engineering of Complex Computer Systems (ICECCS 2015), Dec 2015, Golden Coast, Australia |
|
Addressing Cache Related Preemption Delay in Fixed Priority Assignment20th IEEE International Conference on Emerging Technologies and Factory Automation, Sep 2015, Luxembourg, France |
|
|
|
The SMART Project: Multi-Agent Scheduling Simulation of Real-time ArchitecturesEmbedded Real Time Software and Systems, Feb 2014, Toulouse, France |
Instruction cache in hard real-time systems: modeling and integration in scheduling analysis tools with AADLInternational Conference on Embedded and Ubiquitous Computing (EUC), Aug 2014, Milan, Italy. pp.104-111, ⟨10.1109/EUC.2014.24⟩ |
|
Scheduling Analysis of TDMA-Constrained Tasks: Illustration with Software Radio Protocols.11th IEEE International Conference on Embedded Software and Systems, Aug 2014, paris, France |
|
A Multilevel I/O Tracer for Timing and Performance Analysis of Storage Systems in IaaS Cloud3rd IEEE Real-Time and Distributed Computing in Emerging Applications (REACTION ), Dec 2014, Rome, Italy |
|
AADLv2, An Architecture Description Language for the Analysis and Generation of Embedded SystemsHalf day tutorial presented in the ACM HILT conference, Oct 2014, Portland, United States |
|
|
|
Integration of cache related preemption delay analysis into a priority assignment algorithmEWiLi'14, The 4th Embedded Operating Systems Workshop., Sep 2014, Lisbon, Portugal |
Architecture Models Refinement for Fine Grain Timing Analysis of Embedded SystemsInternational Symposium on Rapid System Prototyping, Oct 2014, New Delhi, India. pp.44-50 |
|
A Task Model for TDMA Communications9th IEEE International Symposium on Industrial Embedded Systems. WIP Session., Jun 2014, Pisa, Italy |
|
Architecture Models Refinement for Fine Grain Timing Analysis of Embedded SystemsIEEE International Symposium on Rapid System Prototyping, Oct 2014, New Dehli, India |
|
|
|
The SMART Project: Multi-Agent Scheduling Simulation of Real-time ArchitecturesEmbedded Real Time Software and Systems (ERTS2014), Feb 2014, Toulouse, France |
Modeling Shared-Memory Multiprocessor Systems with AADL1st Architecture Centric Virtual Integration (ACVI) Workshop. In conjonction with the MODELS international conference., Sep 2014, Valencia, Spain |
|
AADLv2, a Domain Specific Language for the Modeling, the Analysis and the Generation of Real-Time Embedded SystemsHalf day tutorial presented in the International MODELS conferences, Sep 2014, Valencia, Spain |
|
Applying Holistic Schedulability Tests to Industrial Systems: Experience and Lessons Learned.5th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems, Jul 2014, Madrid, Spain |
|
Synchronization of Models of Rich Languages with Triple Graph GrammarsInternational Conference on Model Transformation (ICMT), Jul 2014, York, United Kingdom |
|
Extending Schedulability Tests of Tree-Shaped Transactions for TDMA Radio Protocols.19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2014), Sep 2014, Barcelana, Spain |
|
AADLv2, an Architecture Description Language for the Analysis and Generation of Embedded SystemsHalf day tutorial presented in the International EMSOFT/ESWEEK conferences, Sep 2013, Montreal, Canada |
|
Deterministic Implementation of Periodic-Delayed Communications and Experimentation in AADL17th IEEE Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC 2013), Jun 2013, Paderborn, Germany |
|
Enforcing Software Engineering Tools Interoperability: An Example with AADL Subsets.24th International Symposium on Rapid System Prototyping (RSP), Oct 2013, Montreal, Canada |
|
Cheddar : about the usability of the real-time scheduling theoryCCT CNES Seminar, Jun 2013, Toulouse, France |
|
Scheduling analysis principles and tool for time and space partitioned systemsSimposio de informatica, Sep 2012, Lisbone, Portugal. pp.582-585 |
|
About architecture description languages and scheduling analysisSchloss Dagstuhl Seminar number 12272, Driven semantic analysis of embedded systems, Jul 2012, Dagstuhl, Germany |
|
Sélection automatique de tests de faisabilité à l'aide de patrons de conceptionSession doctorants de l'école temps réel 2011, Aug 2011, Brest, France. pp.185-188 |
|
Modeling and verification of memory architectures with AADL and REALIn the proceedings of the 16th IEEE international conference on engineering of complex computer systems, Apr 2011, Las Vegas, United States. pp.338-343 |
|
|
|
Forward engineering and early model validation with Smalltalk5th Argentine Smalltalk Conference., Nov 2011, Buenos Aires., Argentina |
Building embedded real-time applicationsACM SIGAda conférence, Nov 2011, Denver, Colorado, United States |
|
AADL real -time design-pattern automatic recognitionAerotech congress, Oct 2011, Toulouse, France. pp.0-0 |
|
Comparison of six ways to extend the scope of Cheddar to AADL v2 with Osate5th international workshop on AADL and UML, Mar 2010, United Kingdom. pp.367-372 |
|
|
|
AADL Design-Patterns and Tools for Modelling and Performance Analysis of Real-Time systemsERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France |
AADL design patterns and tools for modelling and performance analysis of real-time systems.5th european congress ERTSS Embedded Real-Time Software and System., May 2010, France |
|
Can we increase the usability of real time scheduling theory ? The Cheddar project.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 |
|
|
|
Stood and Cheddar: AADL as a Pivot Language for Analysing Performances of Real Time Architectures4th European Congress ERTS 2008, Jan 2008, Toulouse, France, France |
|
|
About Real Time Scheduling Analysis of Ada ApplicationsTutorial presented in the 13th International Conference on Reliable Software Technologies, Ada-Europe, Jun 2008, Italy. pp.x-y |
Towards User-Level extensibility of an Ada library : an experiment with CheddarProceedings of the 12th International Conference on Reliable Software Technologies Ada-Europe, Jun 2007, Switzerland. pp.180-191 |
|
|
|
Real Time Scheduling and its use with AdaTutorial presented to the annual international conference of the ACM SIGAda, Nov 2007, United States. pp.x-y |
|
|
Implementing an AADL performance analyzerDASIA 2006, May 2006, Germany. pp.SP-630 |
|
|
Performance evaluation of a controlled flow-shop system with a timed petri net modelICINCO 2006, Third International Conference on Informatics in Control, Automation and Robotics, Robotics and Automation, Aug 2006, setubal, Portugal. pp.494-499 |
|
|
Performance Analysis of an Assembly System: a Case Study2nd European Modeling and Simulation Symposium October 4-6, 2006. Barcelone. pp. 189-194. Octobre 2006, Oct 2006, Barcelone, Spain. pp.189-194 |
Poster: Reusable software components to prototype and evaluate mixed-criticality scheduling policies31st IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA, Aug 2025, Singapore, Singapore |
|
|
|
ROV-OPERATE: system engineering of an underwater ROV for early verification and automatic synthesisConference BEING SEA-EU, University of Malta, Jun 2024, Malta, Malta. 2024 |
A design space exploration approach to jointly optimize security and schedulability in TSP systemsColloque du GDR SOC2, Jun 2022, Strasbourg, France |
|
|
|
Increasing the autonomy of an underwater ROVSea Tech Week, Sep 2022, Brest, France |
Work-in-progress: Ontology-driven Generation of AADL architecture ModelsGDR Soc2, Jun 2022, Strasbourg, France |
SIGBED Review, Volume 13, Number 1, January 2016ACM, 13 (1), 2016, 1551-3688 |
|
SIGBED Review, Volume 11, Number 1, February 2014 Special Issue the 4th Workshop on Embed With Linux (EWiLi 2014)ACM. ACM, 11 (4), 2014, ISSN: 1551-3688 |
|
SIGBED Review, Volume 11, Number 1, February 2014 Special Issue the 3rd Workshop on Embed With Linux (EWiLi 2013)ACM, pp.79, 2014, 1551-3688 |
|
SIGBED Review, Volume 9, Number 2, June 2012 Special Issue the 2nd Workshop on Embed With Linux (EWiLi 2012)ACM, pp.47, 2012, 1551-3688 |
|
Building Parallel, Embedded, and Real-Time applications with Ada.Cambridge university press UK, 365 p., 2011, 13:9780521197168 |
|
|
Toward a Complete Agent-Based Model of a Honeybee ColonyHighlights 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⟩ |
Tutorial : Real-time scheduling analysis of SDF graphs: an example with Cheddar2023 |
|
Tutorial : Real-time scheduling analysis of SDF graphs: an example with Cheddar2022 |
|
Cheddar tutorial: an example of real-time scheduling analysis with Cheddar2021 |
|
NoC and Mixed-criticality Systems2017 |