Vérification de SMA

Vérification de sûreté

Validation qu'un SMA n'atteindra jamais d'états dangereux ou indésirables pendant son exécution. Les propriétés de sûreté incluent l'absence d'interblocages et le respect des contraintes de sécurité.

← Wstecz