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)
Session :
New Trends in Certification II
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).