ASSURANCE D’EXÉCUTION
AVRIAL
Assurance d’exécution
Une architecture d’exécution locale pour les opérations critiques, dans une autorité explicitement définie.
01 / LA QUESTION D’INGÉNIERIE
Dans quelles conditions une opération critique peut-elle être exécutée ?
Lorsqu’il faut examiner le contrôle d’exécution, les défaillances et la reprise.
Une frontière d’ingénierie sépare la décision de l’action externe. Une commande peut être acceptée sans être exécutée ; un processus peut redémarrer alors que son résultat reste inconnu. Confondre ces états masque ce que le système est autorisé à faire et ce qui s’est déjà produit.
AVRIAL porte sur une architecture locale où l’autorité, l’état de l’opération, l’exécution et la reprise sont des responsabilités distinctes et coordonnées.
02 / PÉRIMÈTRE DU TRAVAIL
Points à définir
- Contexte de l’opération et résultat attendu
- Risques d’erreur ou d’interruption
- Preuves nécessaires à la revue d’intégration
Points à comprendre
- Quelle autorité l’opération exige-t-elle ?
- Quelles défaillances comptent dans l’environnement du client ?
- Quel résultat peut être confirmé indépendamment ?
03 / EXEMPLE ILLUSTRATIF
Mise à jour d’un composant logiciel critique
Une version et l’autorisation de mise à jour ont été convenues. La revue identifie les risques d’interruption et les preuves de résultat nécessaires dans cet environnement.
Cet exemple explique l’objet de recherche ; il ne décrit pas une mission réalisée.04 / ÉVALUATION TECHNIQUE
Documents pour une revue approfondie
L’évaluation convenue d’un candidat précis doit identifier, préparer et examiner les documents suivants.
Seule une synthèse circonscrite de la vérification locale BOARD-EX-001 est publique ; les documents des programmes sont examinés dans un périmètre convenu. Cela ne qualifie pas une release. Aucun dossier distinct des cinq autres programmes n’est publié ici. DA-EX-001 concerne uniquement le formulaire de ce site.
- Limites d’exécution propres à l’environnement
- Matrice des risques et des incertitudes
- Plan d’une vérification technique convenue