ANR-10-SEGI-017
La Certification Compositionnelle des Logiciels Embarqués CritiqueS et Sûrs
Accueil
Projet CERCLES
Partenaires
Actualité
Contact
Trace:
•
actualite
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).
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.
Except where otherwise noted, content on this
site
is licensed under the following license:
CC Attribution-Noncommercial 3.0 Unported