Description
Causes et conséquences des défaillances des systèmes informatiques. Structure des systèmes informatiques tolérants aux pannes. Méthodes de protection des logiciels et des données contre les défaillances informatiques. Quantification de la fiabilité des systèmes. Introduction aux méthodes formelles pour les systèmes critiques pour la sécurité. Sécurité des ordinateurs et des réseaux informatiques.
Préalables
- Prérequis : inscription au programme M.Eng.- Engineering Practice et diplôme de premier cycle en génie informatique ou logiciel ou permission du Directeur.
Conditions et modalités
- Prérequis : inscription au programme M.Eng.- Engineering Practice et diplôme de premier cycle en génie informatique ou logiciel ou permission du Directeur.
Texte de référence dans sa langue d’origine
Causes and consequences of computer system failure. Structure of fault-tolerant computer systems. Methods for protecting software and data against computer failure. Quantification of system reliability. Introduction to formal methods for safety-critical systems. Computer and computer network security.
- Prerequisite(s): enrolment in the M.Eng.- Engineering Practice program and an undergraduate degree in Computer or Software Engineering or permission of the Director.
Sources et références
Les dates et les sources sont conservées pour vous aider à vérifier les renseignements. Les traductions sont proposées pour faciliter la lecture; la source officielle fait référence pour les conditions et les exigences.
Référence source : https://calendar.carleton.ca/grad/courses/EGEN/