Beskrivelse
Årsaker og konsekvenser av datamaskinsystemfeil. Struktur for feiltolerante datamaskinsystemer. Metoder for å beskytte programvare og data mot datamaskinsvikt. Kvantifisering av systempålitelighet. Introduksjon til formelle metoder for sikkerhetskritiske systemer. Datamaskin- og nettverkssikkerhet.
Forkunnskaper
- Forkunnskapskrav: registrering i M.Eng.- Engineering Practice-programmet og en bachelorgrad i Computer eller Software Engineering eller tillatelse fra direktøren.
Vilkår og bestemmelser
- Forkunnskapskrav: registrering i M.Eng.- Engineering Practice-programmet og en bachelorgrad i Computer eller Software Engineering eller tillatelse fra direktøren.
Referansetekst i originalspråket
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.
Kilder og referanser
Datoer og kilder beholdes for å hjelpe deg å verifisere opplysningene. Oversettelsene tilbys for å lette lesing; den offisielle kilden er referansen for krav og betingelser.
Kildereferanse : https://calendar.carleton.ca/grad/courses/EGEN/