Kursen ger dig en tillräcklig bas så att du kan konstruera och verifiera programvara i säkerhetskritiska och ultratillförlitliga tillämpningar. Trots att det i vissa säkerhetskritiska tillämpningar (som t ex rymd-, militär- och medicintillämpningar) krävs extraordinära åtgärder och tekniker, så kan dessa tekniker även användas för "vanlig" programvara då man eftersträvar hög kvalitet eller snabbare vill komma ut på marknaden. Vi kommer försöka täcka in state-of-the-art avseende design och verifieringstekniker för säkerhet och tillförlitlighet av programvara i inbyggda system.
Mål
Att ge förståelse för de problem man ställs inför vid introduktion av datorer i säkerhetskritiska tillämpningar. Hur man konstruerar och verifierar programvara avseende säkerhet och tillförlitlighet.
