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

Les journées FAC'2016 ont eu lieu les 30 et 31 mars au LAAS.

Programme des journées :

Mercredi 30 mars

  • 9h00 : accueil

  • 9h30-10h30 : Yliès Falcone, Univ. Grenoble I — LIG : On the Runtime Enforcement of (Timed) Properties.

  • 10h30-11h00 : pause

  • 11h00-12h30 : sûreté de fonctionnement et politiques d’informations

    • Développement automatique d’applications tolérantes aux fautes. K. Delmas, R. Delmas, C. Pagetti

    • Correct Instantiation of a System Reconfiguration Pattern: A Proof and Refinement-based Approach.   () G. Babin, Y. Ait Ameur, M. Pantel

    • Information exchange policies at an organisational level: formal expression and analysis. C. Saurel

  • 12h30-14h00 : déjeuner

  • 14h00-15h30 : sémantique et concurrence

    • Automatic Transformation of Synchrony into Concurrency. M. Roy, P. Fraigniaud, E. Gafni, S. Rajsbaum

    • Lightweight Specification and Analysis of Dynamic Systems with Rich Configurations. N. Macedo, J. Brunel, D. Chemouil, A. Cunha, D. Kuperberg

    • Automates flanqués et équations de langages. S. Dal Zilio, J.-B. Raclet, F. Avellaneda

  • 15h30-16h00 : pause

  • 16h00-17h30 : cas d’études

    • Latency Analysis of an Aerial Video Tracking System Using Fiacre and Tina.   () S. Dal Zilio, B. Berthomieu, D. Le Botlan

    • A Perspective on Environment Modelling for Verifying Cyber-Physical Systems.   () N. Singh

    • AADL2Fiacre. F. Zalila, E. Jenn, M. Pantel, S. Dal Zilio


Jeudi 31 mars

  • 9h30-10h30 : Didier Lime, École Centrale de Nantes — IRCCyN : Parameter Synthesis for Real-time Systems.

  • 10h30-11h00 : pause

  • 11h00-12h30 : développement

    • Coping with Semantic Variation Points in Domain-Specific Modeling Languages.   () F. Latombe, X. Crégut, J. Deantoni, M. Pantel, B. Combemale

    • Vérification d’architecture robotique autonome. M. Foughali, B. Berthomieu, S. Dal Zilio, F. Ingrand, A. Mallet

    • An Event-B development process for the distributed BIP framework. B. Siala, M. Tahar Bhiri, J.-P. Bodeveix, M. Filali

  • 12h30-14h00 : déjeuner

  • 14h00-15h30 : temps-réel

    • Periodic state-machine aware real-time analysis.   () N. Gobillot, D. Doose, C. Lesire, L. Santinelli

    • Plateforme pour la simulation, la cosimulation et la simulation temps réel des systèmes hybrides et embarqués.   () L. Hung Vu, D. Foures, V. Albert

    • Analyses de WCET probabilistes.   () L. Santinelli, F. Guet

  • 15h30-16h00 : pause

  • 16h00-17h00 : preuve

    • Proving Tight Bounds on Univariate Expressions with Elementary Functions in Coq.   () E. Martin-Dorel, G. Melquiond

    • Mechanized Refinement of Communication Models with TLA+. F. Chevrou, A. Hurault, P. Queinnec