Kontaktperson
Behrooz Sangchoolie
Forskare
Kontakta Behrooz
Resilienta säkerhetskritiska datorsystem
Datorsystem inom exempelvis transport och hälso- och sjukvård måste vara pålitliga och utformas på ett sätt som säkerställer att de är feltoleranta. I denna kurs går vi igenom hur du som hårdvaruexpert, mjukvaruutvecklare eller testare gör för att utforma denna typ resilienta och säkerhetskritiska datorsystem.
Om kursen
I 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.
Mängdrabatt
Företag som vill registrera minst tre medarbetare kan få en rabatt på kursavgiften.
Företagsanpassad kurs
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.
Praktiskt
Kursen ges online i Teams den 4, 6 och 8 november. Start kl. 09.00 och slut kl. 12.30 samtliga kursdagar.
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
Samspel mellan icke-funktionella krav såsom funktions- och cyber-säkerhet
- Definition av samspelet
- Analys av samspelet med hjälp av fel- och attack injicering
Verifiering och validering av pålitliga cyberfysiska system
- Pålitliga cyberfysiska system
- V&V metoder för utvärdering av systems funktions- och cyber-säkerhet
Redundans
- Hårdvaruredundans
- Mjukvaruredundans
- Tidredundans
- Informationredundans
Modellering av pålitliga attribut
- Sannolikhetsteori
- Tillförlitlighetsblockdiagram
- Markov kedjemodeller
- Generaliserade Stokastiska Petri Nät (GSPN)
