Kurset omfatter design og udvikling af fejltolerante systemer, hvor fejl-hændelser kan give anledning til økonomiske tab eller kan have katastrofale konsekvenser.
Anvendelsesområder: Sikkerhed – Anvendelse i rummet, i forsvaret, til transport, og til medicinsk anvendelse; Tilgængelighed – Anvendelse i klynge (cluster) og i skyen (cloud computing); Telekommunikation, banksektoren og informations infrastruktur, systemer af systemer (systems-of-systems); Pålidelighed – Design og implementation af software og hardware.
Projekt: Den studerende kan vælge deres eget emne til projektet (en stor liste af emneforslag er tilgængelig); litteraturundersøgelse; præsentation af eksisterende teknikker; brug af værktøjer til case study; software og hardware implementationer, osv.
Kursusmålet er at sætte den studerende i stand til at: forstå og benytte koncepter og terminologier inden for feltet; forstå og evaluere afhængighedsparametre af fejltolerante systemer, såsom sikkerhed, pålidelighed og tilgængelighed; analysere, designe og implementere fejltolerante systemer.
Læringsmål:
En studerende, der fuldt ud har opfyldt kursets mål, vil kunne:
Definere de grundlæggende koncepter af pålidelighed
Identificere trusler og risici for et givent system
Være bekendt med de nyeste modeller og teknikker
At bruge pålideligheds- og sikkerhedsanalyse teknikker
Definere og klassificere de forskellige typer af redundansteknikker
Sammenligne og differentiere forskellige redundansteknikker
Være bekendt med og at bruge software pålidelighedsteknikker
Foreslå løsninger til at forbedre pålideligheden af et system
Kursusindhold:
Fejltolerante systemer: anvendelsesområder Fundamentale koncepter: fejl, mangel, svigt Pålidelighedsanalyse af software og hardware Trussel og risiko-analyse Fejltolerance: konceptet af redundans Software, hardware, information og tids redundans; Brug af kontrolpunkter; fejltolerante netværk Udvikle sikkerhedskritiske systemer: sikkerhedslivscyklus; certificeringsstandarder
Litteratur:
Israel Koren and C. Mani Krishna, Fault-Tolerant Systems, Morgan Kaufmann (tilgængelig online) Udvalgte kapitler fra bøger og artikler (tilgængelig online)
