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 fem medarbetare kan få en rabatt på kursavgiften. Kontakta kursansvarig för information om rabatten.
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 20, 22 och 24 oktober. Start kl. 09.00 och slut kl. 12.30 samtliga kursdagar.
Övrigt
Vid färre än tre anmälda deltagare kan kursen komma att ställas in, detta meddelas senast en vecka före kursstart.
Talare
Program
Omdömen
Talare
Behrooz Sangchoolie
Docent, RISE
Behrooz har en docent (2023) och en teknisk doktorsexamen (2017) i datavetenskap från Chalmers tekniska högskola. Han har betjänat i många programkommittéer för konferenser och workshops inom området för pålitliga datorsystem. Behroozs nuvarande forskningsintressen inkluderar användning av fel- och attackinjiceringsexperiment för pålitlighet- och säkerhetsbedömning av datorsystem samt att utföra trade-off analyser av icke-funktionella krav som safety och security.
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
- Vad är resiliens?
- 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)
Omdömen
En djupare förståelse av bakomliggande teori kring de standarder vi använder oss av.
Att man i del 3 fick lära sig att både beräkna och modellera system för Reliability. Oftast får man endast ta del av termernas definitioner.
Värdefullt som en översikt över området och veta var man kan söka vidare om mer information
Att få en överblick över fältet på hög nivå med ett stort antal exempel för att få en smak av teknikerna.
