5. Conception sûre garantie par construction
Les
approches de conception sûres
adoptent une approche différente : plutôt que de greffer des outils de vérification au flot de conception habituel, elles proposent de repenser l'intégralité du flot de conception en produisant des modèles directement prouvables, et des transformations de ces modèles vers du code exécutable ou des composants matériels, préservant la spécification initiale du système. L'article
5.1 Principe de la méthode B
La méthode B
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Conception sûre garantie par construction
Conclusion
Sources bibliographiques
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Article inclus dans l'offre
"Technologies logicielles Architectures des systèmes"
(
408 articles
)
Actualisée et enrichie d’articles validés par nos comités scientifiques.
Quiz, médias, tableaux, formules, vidéos, etc.
Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.
Un ensemble de services exclusifs en complément des ressources.
