Tillfrlitligasystem Att hitta fel r helt rtt fr

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. 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 bakomliggande algoritmerna för verifiering av system. Du kommer också att få använda dig av verktyg för automatiserad verifiering av system. För att undvika att fel inträffar så utför man en analys av systemen. Analys av ett komplicerat system måste utföras automatiskt med hjälp av en dator eftersom ett datorsystem kan innehålla miljontals hårdvarukomponenter och tusentals rader programkod. Förkunskaper: Minst 60 poäng inom datavetenskap och matematik inklusive Datorkommunikation MN 1 och Datasäkerhet MN 1 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. Institutionen för informationsteknologi www. it. uu. se 2004 -09 -22