This is an old revision of the document!
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.
-
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).