Cycle 1 : FramaC - La preuve formelle et sa mise en oeuvre

Séminaires





Accueil du site > fr > Séminaires > Séminaires - historique 2015 > Cycle 1 : FramaC - La preuve formelle et sa mise en oeuvre
Jeudi 18 juin 2015Ivry-sur-Seine (94)
Le développement de systèmes complexes impose aux développeurs, chefs de projet et responsables d’entreprises d’adopter des méthodologies de conception permettant de concilier la rapidité d’exécution, de déploiement tout en maitrisant la qualité du service rendu par ces systèmes complexes.

Au cours de cette conférence organisée par le laboratoire Système Embarqué & Electronique de l’ESME Sudria et CAP’TRONIC, les intervenants présenteront la place de la preuve formelle dans le développement de logiciel embarqué et sa mise en oeuvre.

Dans un deuxième temps, une introduction des approches formelles sera proposée, autour de l’outil FramaC développé par le CEA List, pour en comprendre les enjeux, les fondements et les bénéfices apportés. Cette présentation sera illustrée par des exemples pratiques.

Programme :

- 9h30-9h45 Accueil

- 9h45-10h00 Présentation de l’ESME SUDRIA et CAP’TRONIC

- 10h-10h40 La preuve formelle dans le développement logiciel embarqué

- 10h40-11h20 L’outil FramaC et sa mise en oeuvre

- 11h20-11h40 Questions/Réponses

- 11h40-12h20

- 11h40-12h20 Exemples d’utilisation et explications

Lieu de l’événement :

ESME SUDRIA
51 Boulevard de Brandebourg
94200 Ivry-sur-Seine

Transport Public :

M7 : Mairie d’Ivry
RER C : Ivry-sur-Seine
(Trains MONA et ROMI)

Contact :

Christophe BRICOUT - 09.52.73.77.88 - bricout@captronic.fr
Cycle 1 - FramaC : La preuve formelle - 18 juin 2015
[Obligatoire] :
[Obligatoire] :
:
:
[Obligatoire] :
Crédits © JESSICA FRANCE 2005 - 2016
Le programme CAP’TRONIC est financé par le Ministère de l’Economie et des Finances.