Introduction aux méthodes formelles
Sensibilisation à la sécurité fonctionnelle (ISO 26262) et à la cybersécurité (ISO21434) dans l’automobile
Sûreté de fonctionnement dans l’aéronautique (ARP 4754, ARP4761, DO254, DO178)
Sûreté de fonctionnement des systèmes et matériels (CEI 61508-1 & 2)
Norme EN50126 & 50129 – Sûreté de fonctionnement ferroviaire
Formation aux normes EN 50716 /EN 50128/ EN50657 – Logiciels du ferroviaire
Sensibilisation au système de management de la qualité pour les dispositifs médicaux ISO13485 : 2016
Norme ISO 26262 – Sécurité fonctionnelle – Véhicules routiers
Sûreté de fonctionnement des logiciels embarqués (CEI 61508-3)
Sensibilisation aux normes EN 50716 / EN 50128/ EN50657 – Logiciels du ferroviaire
Sensibilisation à la norme CEI 62304 – Logiciels de dispositifs médicaux
AMDEC en conception électronique