ANR-10-SEGI-017

La Certification Compositionnelle des Logiciels Embarqués CritiqueS et Sûrs

Accueil Projet CERCLES Partenaires Actualité Contact

Actualité

  • Kickoff Meeting 2011 (Massy)
  • Theorem Proving in Certification - Workshop - TPC 2013 (Cambridge)
    • A combination of Formal Specification and Testing for Verification in Model-Based Development
    • Philippe Baufreton (SAGEM)
  • Embedded Real Time Software and Systems - ERTS 2014 (Toulouse)
    • Compositional certification: the CERCLES2 project
    • Pascal Manoury & Grégoire Henri (PPS - Paris 7), Emmanuel Chailloux & Philippe Wang (LIP6 - UPMC), Jean-Louis Duffour & Philippe Beaufreton (SAGEM), Etienne Prun (CLEARSY)
  • Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL 2014 (Paris)
    • Certification de l'assemblage de composants
    • Pascal Manoury, Philippe Baufreton, Jean-Louis Dufour, Etienne Prun, Emmanuel Chailloux, Grégoire Henry, Florian Thibord, Philippe Wang, Etienne Millon.
  • International conference ABZ 2014
    • stand CLEARSY et ( poster) sur le projet CERCLES2 (Toulouse)
  • Traducteur Scade2B : scade2b.tgz
    • Une machine virtuelle pour VirtualBox est disponible: cercles.box.
    • Elle est engendrée par un script Vagrant disponible ici (pour mettre à jour changer 'version:' dans playbook.yml).
cercles/actualite.txt · Last modified: 2015/09/29 17:31 by emmanuel
Cette page utilise JavaScript. Si ce texte est visible, c'est que JavaScript est indisponible. Certains contenus ne vous sont alors pas accessibles.
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki