Kursplan - Utveckling av säkerhetskritiska system

Syfte

Kursen ska ge kunskaper om hur komplexa säkerhetskritiska system utvecklas. Förståelsen för undvikande av designfel är ett centralt moment i kursen. Kursen ska ge grundläggande förmåga att delta i utveckling av säkerhetskritiska system.

Lärandemål

Efter avslutad kurs ska studenten kunna:
 
1. redogöra för och kunna argumentera kring varför det är viktigt att använda strukturerade designprocesser vid utveckling av tillförlitliga system,
2. förklara grundläggande faser, moment och stödprocesser i utvecklingsprocesserna kopplat till gällande utvecklingsstandarder,
3. applicera grundläggande metoder för att genomföra säkerhetsbedömningar,
4. tillämpa metoder för allokering och nedbrytning av systemkrav och därifrån föreslå konceptuella designlösningar samt
5. förklara hur olika arkitekturval principiellt påverkar hur funktioner separeras eller integreras i tillförlitliga system.

Innehåll

- Olika sätt att styra och påverka utveckling av system för att minimera antalet potentiella designfel
- Utvecklingsprocesser för säkerhetskritiska system
- Designlösningar för att möta systemkrav och hur man bryter ner och allokerar krav vidare ner i kravkedjan till programvara och hårdvara
- Hanteringen av gränssnittet mellan hårdvara/programvara
- Arkitekturvals påverkan på hur funktioner separeras eller integreras i tillförlitliga system

Särskild behörighet

Minst 60 hp avslutade kurser vari ingår Introduktion till datorer och programvaruteknik, 5 hp samt Kravhantering, 7,5 hp.

Examination

Gruppuppgift (GRU1), gruppövningar, 2 hp, examinerar lärandemål 3 och 4, betyg Underkänd (U) eller Godkänd (G).
Seminarium (SEM1), seminarier, 1,5 hp, examinerar lärandemål 2, betyg Underkänd (U) eller Godkänd (G).
Salstentamen (TEN1), 4 hp, examinerar lärandemål 1-5, betyg Underkänd (U), 3, 4 eller 5.

En student som har ett intyg från MDU avseende sin funktionsnedsättning har möjlighet att anmäla önskemål om anpassning vid salstentamina eller annan examinationsform i enlighet med Regler och anvisningar för examination på grundnivå och avancerad nivå vid Mälardalens högskola (2020/1655). Det är examinator som, utifrån det intyg som utfärdats, beslutar om eventuell anpassning och i så fall vilken anpassning som ska gälla.

Misstankar om vilseledande vid examination (fusk) anmäls, enligt högskoleförordningen, till universitetets 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.

Betyg

Med beröm godkänd, icke utan beröm godkänd, godkänd, underkänd

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

Kursen överlappar med 5 hp mot FLA309 Utveckling av avioniksystem.