Accéder directement au contenu

Frank Singhoff

28
Documents

Publications

alain-plantec

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-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⟩
Article dans une revue hal-03840494v1

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

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
Article dans une revue hal-00801282v1

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⟩
Article dans une revue hal-00745370v1

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

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

AADL Modeling and Analysis of Hierarchical Schedulers

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

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

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

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

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
Communication dans un congrès hal-01825157v1

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
Communication dans un congrès hal-01716933v1

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
Communication dans un congrès hal-01419160v1
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
Communication dans un congrès hal-01166136v1
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
Communication dans un congrès hal-00983724v1

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

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
Communication dans un congrès hal-01121242v1

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
Communication dans un congrès hal-00801305v1

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
Communication dans un congrès hal-00801327v1

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

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

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

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-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
Communication dans un congrès hal-00502360v1