Accéder directement au contenu

Frank Singhoff

10
Documents

Publications

stephane-rubini
"alain-plantec"

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

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