VeriStamp
Laissez la preuve voyager avec le résultat.
Laissez la preuve voyager avec le résultat.
VeriStamp relie un résultat ou un artefact défini à ses preuves, à son émetteur, à sa portée et à son historique enregistré.
Suivre une décision
Qu'est-ce qui a été utilisé ? Que s'est-il passé ?
Gardez ensemble le sujet, l'entrée, la sortie du modèle et l'action de politique. Ouvrez l'enregistrement pour voir le périmètre de cet exemple.
- inspection-model-v3
- RUN-0142
- Non effectuée
Un résultat que vous pouvez examiner.
- Sujet
- RUN-0142
- Référence du modèle
- inspection-model-v3
- Référence d'entrée
- FRAME-0018
- Sortie observée
- obstruction détectée
- Action de politique
- commande d'arrêt émise
- Réponse physique
- hors de cet exemple
Un enregistrement lisible relie le contexte et le résultat. Sa seule présence ne certifie pas l'exactitude.
Examiner l'enregistrement
Cet exemple détaillé relie une entrée de modèle, une sortie et une commande de politique. Le retour physique et la vérification cryptographique sont hors du champ de ce jeu d'essai.
Sujet précis
Identifiez avec exactitude l'artefact, la version de modèle ou l'exécution qui fait l'objet de la description.
Périmètre lisible
Énoncez l'affirmation et les enregistrements inclus à son appui.
Statut visible
Indiquez la source et l'heure de tout résultat réel de cycle de vie ou de vérification.