8. Conclusion
Dans le domaine des systèmes scientifiques et techniques, la sécurité informatique est principalement traitée par l’analyse des risques et la mise en place de processus de développement imposés par les normes de sécurité fonctionnelle pour produire des logiciels au bon niveau de sûreté de fonctionnement. L’alternative spécifique au monde informatique est d’utiliser des méthodes formelles qui garantissent que le logiciel a les propriétés de sécurité attendues.
Lorsque les logiciels ne sont pas associés à des événements redoutés, mais doivent contribuer à une bonne disponibilité des équipements, ce sont les techniques de fiabilité qui s’appliquent.
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Conclusion
Tableau des sigles
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
"Industrie du futur"
(
105 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.
