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
Litteraturhenvisninger:
Israel Koren and C. Mani Krishna, Fault-Tolerant Systems, Morgan
Kaufmann (tilgængelig online)
Udvalgte kapitler fra bøger og artikler (tilgængelig online)
