Kontakt
Behrooz Sangchoolie
Forskare
Kontakta Behrooz
Feltoleranta Datorsystem
Datorsystem som används inom områden som t ex transport och hälso- och sjukvård, bör vara pålitliga och bör utformas på ett sätt som säkerställer att de är feltoleranta. Detta är särskilt viktigt när systemen används för att köra säkerhetskritiska applikationer som riskerar hota människoliv om de misslyckas.
I den här kursen går vi igenom huvudbegreppen inom pålitlig och informationssäker databehandling och diskuterar olika typer av redundans, vilket är ett effektivt sätt att åstadkomma feltolerans. En stor del av kursen ägnas sedan åt olika sätt att modellera pålitliga attribut som tillförlitlighet, tillgänglighet och säkerhet.
Målgrupp
Kursen är lämplig för hårdvaruexperter, mjukvaruutvecklare och testare som deltar i utvecklingen av pålitliga datorsystem, samt för ingenjörer och forskare som vill öka sin förståelse och kunskap kring feltoleranta datorsystem.
Förkunskapskrav
Grundläggande kunskaper i datororganisation och sannolikhetsteori.
Företagsspecifik kurs
Företag som vill registrera minst fem medarbetare kan få en rabatt på kursavgiften. Vi kan även hålla kursen enbart för ert företag där vi gemensamt bestämmer tid och plats. Kontakta kursansvarig för ytterligare information och för en offert.
Undervisningstyp
Kurs, Utbildning,
Undervisningsform
Fysiskt,
Validering
Kursintyg
Kursspråk
en
Tillfällen
9-10 november 2022
Program
Program
Taxonomi för pålitlig och informationssäker databehandling
- Vad är feltolerans och hur får man det?
- Användningsområden för feltolerans
- Attribut hos pålitlighet och informationssäkerhet
- Avvägningar kring datorsystemdesign
- Hot mot pålitlighet och informationssäkerhet
- Medel för att uppnå pålitlighet och informationssäkerhet
- Systemets livscykel
- Klassificering av felorsak, felyttring, och systemfel
Principer för feltolerans
- Inneslutning av fel
- Förhindra enskilda fel från att slå ut hela systemet
Redundans
- Hårdvaruredundans
- Mjukvaruredundans
- Tidredundans
- Informationredundans
Modellering av pålitliga attribut
- Sannolikhetsteori
- Tillförlitlighetsblockdiagram
- Markov kedjemodeller
- Generaliserade Stokastiska Petri Nät (GSPN)
