Tillförlitligasystem Att hitta fel är helt rätt för en del datorer Utvecklingen av datorsystem går mot allt mer komplicerade system vilket också medför att sannolikheten för att fel ska kunna inträffa ökar. Ett exempel på detta är när den europeiska bärraketen Ariane 5 sprängde sig själv I luften, mindre än 1 minut efter uppskjutningen. Olyckan orsakades inte av något mekaniskt fel utan av ett designfel i programvaran. För att undvika att fel inträffar så utför man en analys av systemen. Analys av ett kompli-cerat system måste utföras automatiskt med hjälp av en dator eftersom ett datorsystem kan innehålla miljontals hårdvarukomponent-er och tusentals rader programkod. Tillförlitliga system har till syfte att ge en förståelse, både teoretisk och praktisk, för hur komplexa system kan konstrueras för att göra dem tillförlitliga. Kursen introducerar några av de bakom-liggande algoritmerna för verifiering av system. Du kommer också att få använda dig av verktyg för automatiserad verifiering av system. Förkunskaper: Minst 60 poäng inom datavetenskap och matematik inklusive Datorkommunikation MN1 och Datasäkerhet MN1 eller motsvarande kunskaper. Kursmål: Att ge en förståelse, både teoretisk och praktisk för hur komplexa system kan konstrueras för att göra dem tillförlitliga. 2004-09-22