Kursplan - Design av feltoleranta system

Syfte

Kursen syftar till att ge studenterna fördjupade kunskaper och färdigheter inom design och verifiering av feltoleranta system. Kunskaperna är av sådan karaktär att studenterna ska kunna överföra teorier från en säkerhetskritisk domän till en annan. Kursen syftar även till att ge studenterna analysmetoder för att kunna bedöma och argumentera för när tillförlitlighetskrav är uppnådda.

Lärandemål

Efter avslutad kurs skall studenten kunna:

1. realisera existerande tekniker för felsäkra konstruktioner,
2. jämföra olika feltoleranskoncepts förmågor att förmildra feleffekter,
3. argumentera för redundanskoncept i feltoleranta arkitekturer,
4. implementera säkerhetskrav och utvärdera hur dessa omhändertas och verifieras, samt
5. bedöma när tillförlitlighetskraven är uppnådda.

Innehåll

Kursen går igenom och strukturerar olika typer av fel och möjliga felkällor (teknik, människa och miljö). Olika typer av fel hanteras med olika feltoleransmekanismer, vilka diskuteras för system, hård- och programvarukomponenter. Detta ger en gedigen bas för att förstå hur man kan designa säkerhetskritiska system. Vidare genomlyser kursen hur tillräckligt hög tillförlitlighet kan uppnås genom att laborera kring redundansarkitekturer och skräddarsydda feltoleransmekanismer.

Särskild behörighet

Avslutade kurser om 160 hp i naturvetenskap och/eller teknik, varav 30 hp datavetenskap och/eller elektronik. Robust elektronik för tillförlitliga system 7,5 hp, Utveckling av säkerhetskritiska system 7,5 hp, varav 3,5 hp ska vara godkänt vid kursstart samt Säkerhetskritiska system 7,5 hp, varav 3,5 hp ska vara godkänt vid kursstart. Dessutom krävs Svenska 3 eller Svenska nivå 3 samt Engelska 6 eller Engelska nivå 2. I de fall kursen ges på engelska görs undantag från kravet på Svenska 3 eller Svenska nivå 3.

Examination

OVN1, Övning, Övningar där tekniker för felsäkra konstruktioner realiseras och jämförs med avseende på deras förmågor att förmildra feleffekter, 1,5 hp, examinerar lärandemål 1-2, betyg Underkänd (U) eller Godkänd (G). 
OVN2, Övning, En övning i argumentation för redundanskoncept samt implementering, utvärdering och bedömning av säkerhetskritiska krav, 2,5 hp, examinerar lärandemål 3-5, betyg Underkänd (U) eller Godkänd (G).
TEN1, Salstentamen, 3,5 hp, examinerar lärandemål 2-5, betyg Underkänd (U), 3, 4 eller 5.

En student som har ett besked om riktat pedagogiskt stöd från MDU kan ansöka om anpassning vid examinationen. Det är examinatorn som beslutar om eventuell anpassning utifrån beskedet och förutsättningarna i övrigt.

Misstankar om vilseledande vid examination (fusk) anmäls, enligt högskole-förordningen, till rektor och prövas av universitetets disciplinnämnd. Om disciplinnämnden anser att en student gjort sig skyldig till en disciplinförseelse fattar nämnden beslut om en disciplinär åtgärd, vilket är varning eller avstängning för viss tid.

Betyg

Ges något av betygen 5, 4, 3

Övergångsbestämmelser och övriga föreskrifter

Kursen överlappar helt med FLA432 Design av feltoleranta system.

Kursen kan även räknas till ämnesområdet elektronik. 
Kursen kan räknas till teknikområdet tillförlitliga system.