Accueil > FR > Actualités > Agenda > Animation sur les méthodes d’ingénieries formelles

Animation sur les méthodes d’ingénieries formelles

Atelier chez CERTIFER

Ce 11 mars, le CETIC a assuré l’animation d’un atelier industriel consacré à la présentation de méthodes d’ingénieries formelles chez CERTIFER avec un accent plus spécifique relatif à leur impact sur les processus de certification dans le cadre des normes ferroviaires.

Après un panorama des méthodes formelles (incluant des méthodes semi-formelles, l’ingénierie dirigée par les modèles et les méthodes formelles "dures"), l’atelier a été consacré à l’examen de chaînes outillées plus spécifiques (incluant des formalismes tels que SysML, Simulink, B,...) sous l’angle des activités de certification ferroviaire.

La réunion a également été l’occasion pour le CETIC et CERTIFER de faire connaissance et de nouer des liens transfrontaliers.