- 57
- 20
- 7
- 6
- 4
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
Frank Singhoff
112
Documents
Publications
- 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
- 1
- 1
- 1
- 1
- 47
- 28
- 28
- 24
- 22
- 13
- 12
- 12
- 9
- 9
- 7
- 6
- 6
- 6
- 6
- 5
- 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
- 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
- 6
- 10
- 3
- 19
- 4
- 4
- 8
- 3
- 2
- 3
- 4
- 4
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
Conference papers
hal-04251528v1
|
|
Detection of scheduling anomalies in real-time systemsJournées nationales du GDR GPL 2023, Jun 2023, Rennes, France
Conference papers
hal-04251522v1
|
|
Memory hierarchy in scheduling simulation: problems, implementation & return of experienceWorkshop CAPITAL 2022: sCalable And PrecIse Timing AnaLysis for multicore platforms, Jun 2022, Grenoble, France
Conference papers
hal-03780112v1
|
|
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
Conference papers
hal-03549058v1
|
|
|
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⟩
Conference papers
hal-03777799v1
|
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
Conference papers
hal-03889874v1
|
|
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
Conference papers
hal-03361920v1
|
|
|
Timing analysis of TASTE models for reconfigurable softwareModel-Based Systems and Software Engineering (MBSE 2021) ESA Workshop, Sep 2021, Virtual, France
Conference papers
hal-03329757v1
|
|
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⟩
Conference papers
hal-03215663v1
|
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
Conference papers
hal-02859871v1
|
|
|
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
Conference papers
hal-03211869v1
|
|
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⟩
Conference papers
hal-02539830v1
|
|
Combined Real-Time, Safety and Security Model Analysis9th European Congress ERTSS Embedded Real Time Software and System, Feb 2020, Toulouse, France
Conference papers
hal-02433963v1
|
Scheduling analysis of AADL architecture modelsFull 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 architectures4th 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 Analysis24th International Conference on Reliable Software Technologies – Ada-Europe 2019, Jun 2019, Varsow, Poland
Conference papers
hal-02153512v1
|
|
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
Conference papers
hal-01825034v1
|
|
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
Conference papers
hal-01825157v1
|
|
|
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⟩
Conference papers
hal-01826153v1
|
|
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
Conference papers
hal-01898549v1
|
|
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⟩
Conference papers
hal-01713312v1
|
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
Conference papers
hal-01716933v1
|
|
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⟩
Conference papers
hal-01713333v1
|
|
An example of early scheduling analysis with AADLPrésentation invitée à la Journée AADL du GDR SOC-SIP, Nov 2016, Paris, France
Conference papers
hal-01419160v1
|
|
Efficient Parallel Multi-Objective Optimization for Real-time Systems Software Design ExplorationInternational 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 Context24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP), Feb 2016, Heraklion, Greece. ⟨10.1109/PDP.2016.119⟩
Conference papers
hal-01302240v1
|
|
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⟩
Conference papers
hal-01378353v1
|
|
Application of AADL for Marine Control SystemsDynamic positioning conference, Oct 2016, Houston, United States
Conference papers
hal-01716935v1
|
|
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⟩
Conference papers
hal-01354911v1
|
|
Adapting a Fixed Priority Assignment Algorithm to Real-time Embedded Systems with Cache MemoryColloque du GDR SoC-SiP, 2016, Rennes, France
Conference papers
hal-02501377v1
|
|
|
Teaching Real-Time Scheduling Analysis with Cheddar9ème édition de l’Ecole d’Eté « Temps Réel », Aug 2015, Rennes, France
Conference papers
hal-01166136v1
|
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
Conference papers
hal-01196952v1
|
|
Addressing Cache Related Preemption Delay in Fixed Priority Assignment20th IEEE International Conference on Emerging Technologies and Factory Automation, Sep 2015, Luxembourg, France
Conference papers
hal-01166127v1
|
|
|
The SMART Project: Multi-Agent Scheduling Simulation of Real-time ArchitecturesEmbedded Real Time Software and Systems, Feb 2014, Toulouse, France
Conference papers
hal-00983724v1
|
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⟩
Conference papers
hal-01067654v1
|
|
Scheduling Analysis of TDMA-Constrained Tasks: Illustration with Software Radio Protocols.11th IEEE International Conference on Embedded Software and Systems, Aug 2014, paris, France
Conference papers
hal-01121232v1
|
|
Architecture Models Refinement for Fine Grain Timing Analysis of Embedded SystemsIEEE International Symposium on Rapid System Prototyping, Oct 2014, New Dehli, India
Conference papers
hal-01121019v1
|
|
A Task Model for TDMA Communications9th 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 SystemsInternational Symposium on Rapid System Prototyping, Oct 2014, New Delhi, India. pp.44-50
Conference papers
hal-01115723v1
|
|
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
Conference papers
hal-01121231v1
|
|
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
Conference papers
hal-01121240v1
|
|
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
Conference papers
hal-01121239v1
|
|
|
Integration of cache related preemption delay analysis into a priority assignment algorithmEWiLi'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 Cloud3rd IEEE Real-Time and Distributed Computing in Emerging Applications (REACTION ), Dec 2014, Rome, Italy
Conference papers
hal-01097125v1
|
|
|
The SMART Project: Multi-Agent Scheduling Simulation of Real-time ArchitecturesEmbedded Real Time Software and Systems (ERTS2014), Feb 2014, Toulouse, France
Conference papers
hal-02272192v1
|
Modeling Shared-Memory Multiprocessor Systems with AADL1st Architecture Centric Virtual Integration (ACVI) Workshop. In conjonction with the MODELS international conference., Sep 2014, Valencia, Spain
Conference papers
hal-01121245v1
|
|
Synchronization of Models of Rich Languages with Triple Graph GrammarsInternational Conference on Model Transformation (ICMT), Jul 2014, York, United Kingdom
Conference papers
hal-01083267v1
|
|
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
Conference papers
hal-01121229v1
|
|
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
Conference papers
hal-01121241v1
|
|
Enforcing Software Engineering Tools Interoperability: An Example with AADL Subsets.24th International Symposium on Rapid System Prototyping (RSP), Oct 2013, Montreal, Canada
Conference papers
hal-01121242v1
|
|
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
Conference papers
hal-01121244v1
|
|
Cheddar : about the usability of the real-time scheduling theoryCCT CNES Seminar, Jun 2013, Toulouse, France
Conference papers
hal-01121003v1
|
|
Scheduling analysis principles and tool for time and space partitioned systemsSimposio de informatica, Sep 2012, Lisbone, Portugal. pp.582-585
Conference papers
hal-00801305v1
|
|
About architecture description languages and scheduling analysisSchloss Dagstuhl Seminar number 12272, Driven semantic analysis of embedded systems, Jul 2012, Dagstuhl, Germany
Conference papers
hal-00801297v1
|
|
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
Conference papers
hal-00801332v1
|
|
|
Forward engineering and early model validation with Smalltalk5th Argentine Smalltalk Conference., Nov 2011, Buenos Aires., Argentina
Conference papers
hal-00664435v1
|
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
Conference papers
hal-00801329v1
|
|
Building embedded real-time applicationsACM SIGAda conférence, Nov 2011, Denver, Colorado, United States
Conference papers
hal-00801301v1
|
|
AADL real -time design-pattern automatic recognitionAerotech congress, Oct 2011, Toulouse, France. pp.0-0
Conference papers
hal-00801327v1
|
|
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
Conference papers
hal-00502111v1
|
|
|
AADL Design-Patterns and Tools for Modelling and Performance Analysis of Real-Time systemsERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France
Conference papers
hal-02264385v1
|
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
Conference papers
hal-00661001v1
|
|
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
Conference papers
hal-00502358v1
|
|
|
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
Conference papers
hal-00504346v1
|
|
Stood and Cheddar: AADL as a Pivot Language for Analysing Performances of Real Time Architectures4th European Congress ERTS 2008, Jan 2008, Toulouse, France, France
Conference papers
hal-02269760v1
|
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
Conference papers
hal-00502360v1
|
|
|
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
Conference papers
hal-00504347v1
|
|
Implementing an AADL performance analyzerDASIA 2006, May 2006, Germany. pp.SP-630
Conference papers
hal-00504348v1
|
|
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
Conference papers
hal-00498658v1
|
|
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
Conference papers
hal-00498627v2
|
A design space exploration approach to jointly optimize security and schedulability in TSP systemsColloque du GDR SOC2, Jun 2022, Strasbourg, France
Conference poster
hal-03780396v1
|
|
|
Increasing the autonomy of an underwater ROVSea Tech Week, Sep 2022, Brest, France
Conference poster
hal-03778490v1
|
Work-in-progress: Ontology-driven Generation of AADL architecture ModelsGDR Soc2, Jun 2022, Strasbourg, France
Conference poster
hal-03780991v1
|
SIGBED Review, Volume 13, Number 1, January 2016ACM, 13 (1), 2016, 1551-3688
Books
hal-01302238v1
|
|
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
Books
hal-01166165v1
|
|
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
Books
hal-00977927v1
|
|
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
Books
hal-00806936v1
|
|
Building Parallel, Embedded, and Real-Time applications with Ada.Cambridge university press UK, 365 p., 2011, 13:9780521197168
Books
hal-00800816v1
|
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⟩
Book sections
hal-02786982v1
|
Tutorial : Real-time scheduling analysis of SDF graphs: an example with Cheddar2023
Other publications
hal-04253954v1
|
|
Tutorial : Real-time scheduling analysis of SDF graphs: an example with Cheddar2022
Other publications
hal-04462909v1
|
|
Cheddar tutorial: an example of real-time scheduling analysis with Cheddar2021
Other publications
hal-04404522v1
|
|
NoC and Mixed-criticality Systems2017
Other publications
hal-01716934v1
|