|
Kursen ger dig en tillräcklig bas så att du kan konstruera och verifiera programvara i säkerhetskritiska och ultratillförlitliga tillämpningar. Trots att det i vissa säkerhetskritiska tillämpningar (som t ex rymd-, militär- och medicintillämpningar) krävs extraordinära åtgärder och tekniker, så kan dessa tekniker även användas för "vanlig" programvara då man eftersträvar hög kvalitet eller snabbare vill komma ut på marknaden. Vi kommer försöka täcka in state-of-the-art avseende design och verifieringstekniker för säkerhet och tillförlitlighet av programvara i inbyggda system.
Mål
Att ge förståelse för de problem man ställs inför vid introduktion av datorer i säkerhetskritiska tillämpningar. Hur man konstruerar och verifierar programvara avseende säkerhet och tillförlitlighet.
Avsedd för
Konstruktörer av datorbaserade system där det ställs höga krav på tillförlitlighet och säkerhet.
|
Förkunskaper
Du bör (dock ej något krav) vara förtrogen med inbyggda system och realtidssystem. Du bör även ha grundläggande kunskaper i programmering, t ex i C.
Kursdokumentation
I kursen ingår egenproducerat kursmaterial på engelska. Kursen hålls på svenska eller engelska.
Övrig information
Lärare: Henrik Thane, teknologie doktor, är en av de internationellt ledande forskarna inom testing, debugging och monitorering av distribuerade realtidssystem.
Henrik har en industriell bakgrund som programmerare och konsult inom realtidsområdet. Henrik är också expert på programvara i säkerhetskritiska system och har under de senaste 7 åren jobbat som expertkonsult och utbildare för svensk industri inom design- och analysmetoder för programvara i säkerhetskritiska datorbaserade system.
|