Systèmes programmés

Définition des principes d’architecture

• Systèmes informatiques embarqués
• Objectifs de Fiabilité / Disponibilité mission
• Répartition des contraintes de sécurité (hard / soft)

Définition des règles de développement / codage

Analyse des logiciels critiques

Définition des tests de validation

• Analyse de robustesse