Cycle 2 : Méthode B - La preuve formelle et sa mise en oeuvre - Préparez vous à ce virage méthodologique !

Séminaires





Accueil du site > fr > Séminaires > Séminaires - historique 2015 > Cycle 2 : Méthode B - La preuve formelle et sa mise en oeuvre - Préparez vous (...)
Mardi 23 juin 2015Ivry-sur-seine
Excellente opportunité pour comprendre les "prochaines" méthodologies qui s’appliqueront aux développements des systèmes embarqués complexes.
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 la méthode B utilisée par Clearsy, 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-10h20 La preuve formelle dans le développement logiciel embarqué

- 10h20-11h20 La méthode B et sa mise en œuvre

- 11h20-11h40 Questions/Réponses

- 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 2 - Méthode B : La preuve formelle - 23 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.