Kurset omfatter design og udvikling af sikkerhedskritiske indlejrede systemer. I sådanne systemer er tidslige krav meget vigtige og 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; andvend og udvikle værktøjer til design, analyse og implementering af sikkerhedskritiske indlejrede systemer; designe og implementere små, fejl-tolerante indlejrede systemer med hårde realtids krav.
Kursusindhold:
Indlejrede systemer i kritiske applikationer: Indlejrede systemer, sikkerhedskrav Distribuerede indlejrede realtids systemer: Realtids systemer, tidsmæssige krav Realtids operativsystemer og schedulering: Task management, inter-proces kommunikation, schedulering Schedulerings analyse: Ressource deling og kommunikation, worst-case svars tid 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 Udvikling af sikkerhedskritiske systemer: Sikkerheds livscyklus, verifikation, validering og testning
Litteratur::
Udvalgte kapitler fra bøger og artikler (tilgængelig online).
