TECHNOLOGY
Glossaire
Cette page présente brièvement « Glossaire », son lien avec « Recherche et vérification », les points à étudier et les conditions à vérifier.
1 sur 1: Glossaire
Recherche et vérification
Glossaire
Cette page présente brièvement « Glossaire », son lien avec « Recherche et vérification », les points à étudier et les conditions à vérifier.
Champ d’application
Pour « Glossaire », le champ d’application est défini à partir des objectifs et des contraintes, et les conditions dans lesquelles la solution ne doit pas être utilisée sont précisées dès le départ. Le lien avec « Recherche et vérification » est préservé et les motifs des décisions restent vérifiables.
Décisions de conception
▾
Pour « Glossaire », aucun modèle ni aucune infrastructure ne sont imposés : les données, les connexions et la supervision sont séparées, et les raisons des choix sont consignées. Le lien avec « Recherche et vérification » est préservé et les motifs des décisions restent vérifiables.
Méthode de vérification
▾
Pour « Glossaire », des entrées et des critères reproductibles sont préparés afin de vérifier le comportement, y compris dans les cas d’échec. Le lien avec « Recherche et vérification » est préservé et les motifs des décisions restent vérifiables.
Contrôles en exploitation
▾
Pour « Glossaire », l’historique des modifications, l’évolution de la qualité et les usages sont suivis, avec un mécanisme de retour en arrière lorsque nécessaire. Le lien avec « Recherche et vérification » est préservé et les motifs des décisions restent vérifiables.
Décision humaine
▾
Pour « Glossaire », les décisions importantes ne sont pas confiées à la seule automatisation : des responsables et des points de contrôle sont définis. Le lien avec « Recherche et vérification » est préservé et les motifs des décisions restent vérifiables.