Politique de confidentialité
← Carte des programmes

AUTORISATION FIABLE / R&D

ENEY

Autorisation contrôlée

Développement progressif d’un système local d’autorisation fiable et de cohérence d’état.

Ouvrir la comparaison ↗Programme R&D
Illustration de deux modules électroniques durcis sur un établi
CONTEXTE VISUELArchitecture modulaire

01 / LA QUESTION D’INGÉNIERIE

Quand une proposition peut-elle modifier l’état local ?

Lorsqu’une proposition doit être distinguée d’une modification autorisée.

Une nouvelle proposition, une décision acceptée et un état persistant ne doivent pas se substituer silencieusement les uns aux autres. Un système local doit indiquer clairement quelle modification a été autorisée, sur quel fondement et par rapport à quel état.

ENEY porte sur la recherche progressive en autorisation contrôlée et en cohérence d’état local, avec qualification de chaque version candidate.

02 / PÉRIMÈTRE DU TRAVAIL

Points à définir

  • Modification proposée
  • État actuel et conditions d’une transition admissible
  • Règles d’acceptation et documents de qualification du candidat

Points à comprendre

  • Où se situe la frontière entre proposition et acceptation ?
  • Quel état sert de fondement à la décision ?
  • L’autorisation d’une modification précise peut-elle être expliquée ?

03 / EXEMPLE ILLUSTRATIF

Modification d’une règle de traitement locale

Une règle proposée parvient au système. La revue examine comment distinguer l’étude de cette proposition du moment où elle devient effectivement partie de l’état accepté.

Cet exemple explique l’objet de recherche ; il ne décrit pas une mission réalisée.
Illustration de deux modules électroniques durcis sur un établi
CONTEXTE VISUELArchitecture modulaire

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.

  • Modèle d’autorisation et d’état persistant
  • Critères propres à une étape de développement
  • Documents reliant un candidat à ses résultats de vérification