La XXV° édition des journées FAC a eu lieu les 4 et 5 avril 2018 à l’IRIT - site UPS.

Ces journées sont organisées par le groupe IFSE du RTRA STAE.

Programme des journées

Mercredi 4 avril

• 09h00 : accueil - présentation des journées et actualités du chantier IFSE par Marc Pantel

• 09h30-10h30 : Katell Morin-Allory, (TIMA / Univ. Grenoble Alpes) : Assertions et systèmes matériels.

• 10h30-11h00 : pause

• 11h00-12h00 :

  • Automatic Conformance Testing of Safety Instrumented Systems for Offshore Oil Platforms. Veiga H.W., de Queiroz M.H., Farines JM., de Lima M.L

  • An Acting system based on Skill Petri net Composition (ASPiC). Charles Lesire, Franck Pommereau

  • Coincidence Problem in CPS Simulations: the R-ROSACE Case Study. Henrick Deschamps, Gerlando Cappello, Janette Cardoso, Pierre Siron

• 12h30-14h00 : repas

• 14h-15h30 :

  • Asynchronous Message Orderings Beyond Causality. Adam Shimi, Aurélie Hurault, Philippe Quéinnec

  • Sufficient conditions for the marked graph realisability of labelled transition systems. Eike Best, Thomas Hujsa, Harro Wimmel

  • Automorphisms of Types in Certain Type Theories and Representation of Finite Groups. Sergei Soloviev

• 15h30-16h00 : pause

• 16h00-17h30 :

  • Analyse des délais de propagation des défaillances avec AltaRica. Alexandre Albore, Silvano Dal Zilio, Guillaume Infantes, Christel Seguin, Pierre Virelizier

  • Verifying Graph Transformations with Guarded Logics. Jon Haël Brenas, Rachid Echahed, Martin Strecker

Jeudi 5 avril

• 09h30-10h30 : Laure Gonnord, (University of Lyon / LIP / Inria) : Experiences in designing scalable static analyses.

• 10h30-11h00 : pause

• 11h00-12h30 :

  • Analyse Brute-Force d’ordonnancabilité sous contrainte de temps logique d’exécution. P.-E. Hladik

  • Automated generation of time-predictable executables on multi-core hardware. Claire Pagetti, Julien Forget, Heiko Falk, Dominic Oehlert, Arno Luppold

  • Vérification d’architecture robotique autonome sous contrainte d’ordonnancement. M. Foughali, B. Berthomieu, S. Dal Zilio, P.-E. Hladik, F. Ingrand, A. Mallet

• 12h30-14h00 : repas

• 14h00-15h30

  • Validating VHDL Coding Practices through First Order and Temporal Logics. Nathanael Sensfelder, Julien Brunel

  • Pattern-based requirements development. Jean-Paul Bodeveix, Arnaud Dieumegard, Mamoun Filali

  • Improving code quality in ROS packages using a temporal extension of first-order logic. - David Come, Julien Brunel, David Doose

Comité de programme

Jean-Paul Bodeveix, Julien Brunel, Silvano Dal Zilio, Mamoun Filali, Pierre-Loïc Garoche, Pierre-Emmanuel Hladik, Didier Le Botlan, Ileana Ober, Claire Pagetti, Pierre Roux, Marc Pantel, Philippe Quéinnec, Jean-Baptiste Raclet, Nicolas Rivière, François Vernadat, Hélène Waeselynck, Virginie Wiels.