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

Les journées FAC'2012 ont eu lieu les 4 et 5 avril 2012, dans l’auditorium de l’IRIT-UPS.

Programme des journées :

Mercredi 4 avril

  • Accueil Café à partir de 9h00

  • Conférencier invité
    Hume: a functionally-based Domain Specific Language Targeting real-time Embedded Systems Kevin Hammond The University of St Andrews

  • 10h30-11h00 Pause

  • Techniques de verification

    • 11h00-11h30 A Generic Ellipsoid Abstract Domain for Linear Time Invariant Systems P. Roux, R. Jobredeaux, P.-L. Garoche, E. Feron ONERA GEORGIA

    • 11h30-12h00 Formal compatibility of experimental frame concept and finite and deterministic devs model D. Foures, V. Albert, A. Nkesta LAAS

    • 12h00-12h30 Parallel Model Checking With Lazy Cycle Detection - MCLCD R. T. Saad, S. Dal Zilio, B. Berthomieu LAAS

  • 13h00 Repas

  • Logique et Vérification

    • 14h30-15h00 Non preemptive static priority in network calculus: accuracy and integration with P-GPS William Mangoua Sofack, Marc Boyer ONERA

    • 15h00-15h30 A Lemma Generator Powered by Quantifier Elimination and Hull Computation A. Champion, R.Delmas, M. Dierkes ONERA ROCKWELL

    • 15h30-16H00 Construction of Büchi Automata for LTL Model Checking Verified in Isabelle/HOL A. Schimpf, S. Merz, J.-G. Smaus U. Freiburg, LORIA, IRIT

  • 16h00-16h30 Pause

  • Architecture

    • 16h30-17h00 Nets-within-nets to model innovative space system architectures F. Cristini, C. Tessier ONERA

    • 17h00-17h30 Un Point de Vue Sûreté de Fonctionnement pour la Vérification d’Architectures Abstraites M. Piriquito, P. Bieber, J. Brunel, D. Chemouil ONERA

    • 17h30-18h00 Use of modelling methods and tools in an industrial embedded system project: works and feedback A. Fernandes Pires, S. Duprat, T. Faure, C. Besseyre, J. Beringuier, J.-F. Rolland ATOS AIRBUS

Jeudi 5 avril

  • Conférencier invité
    Sémantique non-standard de systemes hybrides et applications à la compilation d’un langage hybride Benoît Caillaud IRISA

  • 10h00-10h30 Pause

  • Compilation

    • 10h30-11h00 Model-Driven Engineering Approach For SysML Activity Diagram Simulation D. Foures, V. Albert, J.-C. Pascal, A. Nketsa LAAS

    • 11h00-11h30 Specification and Validation of Model Transformations for Certified Systems Development A. Toom, A. Dieumegard, M. Pantel IRIT Tallinn University

    • 11h30-12h00 Formally verified optimizing compilation in ACG-based flight control software R. Bedin Franca, S. Blazy, D. Favre-Felix, X. Leroy, M. Pantel, J. Souyris AIRBUS, INRIA, IRISA, IRIT

    • 12h00-12h30 Resource Sharing Conflicts Checking in Multithreaded Java Programs N. Baklanova, L. Féraud, M. Strecker IRIT

  • 13h00 Repas à l’UPSIDUM

  • Langages

    • 14h30-15h00 Vers une sémantique des jeux pour un langage d’ingénierie des exigences par buts et agents C. Chareton, J. Brunel, D. Chemouil ONERA

    • 15h00-15h30 Calcul de latences dans un programme Prelude Rémy Wyss, Frédéric Boniol, Julien Forget, Claire Pagetti ONERA LIFL IRIT

  • 15h45-16h15 Pause

  • Spécifications temps réel

    • 16h15-16h45 Model-Checking Observers for a Real-Time Pattern Language N. Abid , S. Dal Zilio , D. Le Botlan LAAS

    • 16h45-17h15 Time Properties Dedicated Semantics for UML-MARTE Safety Critical Real-Time System Verification N. Ge, M. Pantel IRIT