Kontaktperson
Behrooz Sangchoolie
Forskare
Kontakta Behrooz
Resilienta samhällskritiska 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. RISE hjälper dig som är hårdvaruexpert, mjukvaruutvecklare eller testare att utforma denna typ resilienta och säkerhetskritiska datorsystem.
Vårt kurserbjudande
Vi hjälper ditt företag att stärka kunskaperna när det kommer till resilienta datorsystem. Vi erbjuder en kurs där 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.
Vi skräddarsyr för ditt företag
Kursens innehåll kan anpassas och justeras beroende på era specifika behov. Kontakta oss gärna för mer information och en offert.
Talare
Program
Omdömen
Talare
Behrooz Sangchoolie
Docent, RISE
Behrooz är docent (2023) och har en teknisk doktorsexamen (2017) i datavetenskap från Chalmers tekniska högskola. Han har varit verksam i flera 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.
Värdefullt som en översikt över området och veta var man kan söka vidare om mer information.
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.
Att få en överblick över fältet på hög nivå med ett stort antal exempel för att få en smak av teknikerna.
