Benoit FERRERO

Ingenieur Expert, Equipe projet AOSTE

Publications

Research report

• Julien Boucaron, Anthony Coadou, Benoît Ferrero, Jean-Vivien Millo, Robert de Simone. Kahn-extended Event Graphs. INRIA RR-6541, May 2008.
• Julien Boucaron, Benoît Ferrero, Jean-Vivien Millo, Robert de Simone. Statically Scheduled Process networks. INRIA RR-0, 2007.

Posters

• Julien Boucaron, Anthony Coadou, Benoît Ferrero, Jean-Vivien Millo, Robert de Simone. A Formal Modelling Framework for Periodically Scheduled Networks. SAME 2008, Sophia Antipolis, France. October 2008.

Misc

• Charles André, Benoît Ferrero, Frédéric Mallet. TimeSquare: a Multiform Time Simulation Environment. Sophia Antipolis and Formal Analysis Workshop, December 2008. (more)

Slide

• Charles André, Benoît Ferrero, Robert de Simone. TimeSquare. Reunion OpenEmbedd, INRIA Paris - Rocquencourt, France. 13 November 2008.

Développement logiciel

• TimeSquare :       
  TimeSquare est un environnement logiciel ( Plug-in Eclipse ) pour la modélisation et analyse de systémes temporels. Il implémente le Modéle de Temps introduit dans le profil UML MARTE, ainsi que le "Clock Constraint Specification Language" (CCSL).
  
  TimeSquare a quatre fonctionnalités principales
  

  • 1. Spécifications interactive des "clocks" et de leurs contraintes, par l'intermédiaire de boîtes dialogues,
    
  • 2. Vérification des contraintes d'horloges,
    
  • 3. Génération de structures temporelles correctes, en utilisant un solveur booléen,
    
  • 4. Affichage et exploration de chronogrammes écris dans le format VCD (EN), un standard IEEE .
    

• EPR