Systèmes programmés   Méthodes et méthodologies maîtrisées

Définition des principes d’architecture

Définition de règles de Développement

Analyse des Effets des Erreurs du Logiciel

Définition des tests de validation

Plan de tests et de validation orienté sécurité

Quelques normes maîtrisées

Générales

• IEC 61 508 - Sécurité fonctionnelle des systèmes électriques / électroniques / électroniques programmables relatifs à la sécurité 
• ISO 9000-3 - Partie 3 : Lignes directrices pour l’application de l’ISO 9001 : 1994 au développement, à la mise à disposition, à l’installation et à la maintenance du logiciel 
• IEC 15942 - Programming Languages - Guide for the Use of the Ada Programming Language in High Integrity Systems
• EN 954-1 - Sécurité des machines - Parties des systèmes de commande relatives à la sécurité 

Militaire

• MIL STD 1521 - Technical reviews and audits for systems, equipments, and computer software 

Ferroviaire

• EN 50 128 - Applications Ferroviaires - Systèmes de signalisation, de télécommunication et de traitement – logiciels pour système de commande et de protection ferroviaire 

Aéronautiques – Spatiales 

• DO 278 - Guidelines for Communications, Navigation, Surveillance, and Air Traffic Management ( CNS /ATM) Systems Software Integrity Assurance
• DO-248 - Final Annual Report For Clarification Of DO-178B "Software Considerations In Airborne Systems And Equipment Certification" 

Nucléaires 

• IEC 60 880 - Software for computers important to safety for nuclear power plants 
• IEC 61 504 - Nuclear power plants – Instrumentation and control systems important to safety – Plant-wide radiation monitoring
• IEC 61 513 - Nuclear power plants – Instrumentation and control for systems important to safety – General requirements for systems 
• IEC 61 940 - Nuclear instrumentation – A review of the application of IEC 60880 (1986) 
• RCCE - Règles de Conception et de Construction Electrique
• ...