Kurset omfatter design og udvikling af sikkerhedskritiske indlejrede systemer. I sådanne systemer fejl kan have katastrofale konsekvenser.
Kursusmålet er at sætte den studerende i stand til at: forstå og benytte koncepter og terminologier inden for feltet; forstå og evaluere sikkerheds og tidsmæssige krav i indlejrede systemer; anvende og udvikle værktøjer til design, analyse og implementering af sikkerhedskritiske indlejrede systemer; designe og implementere små, fejl-tolerante indlejrede systemer.
Læringsmål:
En studerende, der fuldt ud har opfyldt kursets mål, vil kunne:
Definere de grundlæggende koncepter i fejl-tolerance
Klassificere fejltyper samt årsager til fejl
Identificere trusler og risici for et givent system
Konstruere af fejltræer for systemet
Definere og klassificere de forskellige typer for redundansteknikker
Sammenligne og differentiere forskellige redundansteknikker
Evaluere et givent systems pålidelighed
Foreslå løsninger der forbedre pålideligheden af et system
Kursusindhold:
Indlejrede systemer i kritiske applikationer: Indlejrede systemer, sikkerhedskrav Risiko analyse: Fault-tree analyse, risiko klassifikation Sikkerhedskritisk hardware og software: Mikroprocessor design, elektromagnetisk sammenligning, software design og implementation Sikkerhedskritisk kommunikation: Krav, medie-tilgangs protokoller Fejl detektering: typer af fejl, fejl detekterings teknikker Fejltolerance teknikker: Hardware fejltolerance, software fejltolerance Pålidelighedsanalyse Udvikling af sikkerhedskritiske systemer: Sikkerheds livscyklus, verifikation, validering og testning
Litteratur:
Udvalgte kapitler fra bøger og artikler (tilgængelig online).