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.