Séminaire In'Tech sur le thème « Validation formelle de systèmes industriels critiques » (13h45 à 18h00)
18 Avr 2013
Le club de veille technologique In'Tech, animé par Inria et le Cluster Isère du logiciel et des services informatiques (GRILOG), organise, en collaboration avec CAP'TRONIC, une demi-journée de rencontres entre chercheurs et industriels sur le thème « Validation formelle de systèmes industriels critiques ».
Le séminaire aborde, entre autres :
• l'Analyzer Astrée
• les processus métier et exigences aux tests pour les grands systèmes complexes
• la vérification de systèmes concurrents à travers l'utilisation de CADP
• l'ingénierie d'exigences fonctionnelles à l'aide de langages synchrones...
Voir: http://www.minalogic.com/Actualites/991%23%26seminaire-grilog-captronic/18-l-agenda.htm
Voir la carte des pôles de compétitivité: http://www.pb-veille-consulting.com/pole-de-competitivite-carte.html
Patrick Barbieri
PB VEILLE CONSULTING
L'information au service de l'entreprise