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.