Skriv ut kursplan
Kursplan - Säkerhetskritisk mjukvara
Omfattning
6 hp
Kurskod
DVA465
Giltig från
Hösttermin 2018
Utbildningsnivå
Avancerad nivå
Successiv fördjupning
A1N (Avancerad nivå, har endast kurs/er på grundnivå som förkunskapskrav).
Huvudområde(n)
Datavetenskap
Akademi
Akademin för innovation, design och teknik
Fastställd
2018-02-01
Litteraturlistor
Kurslitteraturen är preliminär till 8 veckor innan kursstart. Kurslitteratur kan vara giltig över flera terminer.
-
Böcker
Engineering a safer world : systems thinking applied to safety
Cambridge, Mass. : MIT Press, cop. 2011. - xx, 534 p.
ISBN: 978-0-262-01662-9 LIBRIS-ID: 13552321
Artiklar
A Combined Analysis Method of FMEA and FTA for Improving the Safety Analysis Quality of Safety-Critical Software, 2013 IEEE International Conference on Granular Computing
Institute of Electrical and Electronics Engineers, 2013
A Systematic Way to Incorporate Security in Safety Analysis, 3rd Workshop on Security and Dependability of Critical Embedded Real-Time Systems
IEEE/IFIP, 2018
Best Practices in Code Inspection for Safety-Critical Software
IEEE Software, Volume: 20, Issue: 3, 2003
Design and code inspections to reduce errors in program development
IBM Systems Journal, Volume: 15, Issue: 3, 1976
Determining Maximum Stack Usage in Preemptive Shared Stack Systems, 27th IEEE International Real-Time System Symposium
IEEE, 2006
Experiences with program static analysis, In proceedings of the 5th International Software Metrics Symposium
IEEE, 1998
IEEE Standard for Software Verification and Validation Plans, IEEE Std 1012-1986
IEEE, 1986
In-flight upset event 240 km north-west of Perth, ATSB TRANSPORT SAFETY INVESTIGATION REPORT, Aviation Occurrence Report - 200503722
Australian Transport Safety Bureau, 2007
Inadequate risk analysis might jeopardize the functional safety of modern systems, Technical report
Mälardalen University, 2016
Issues on software testing for safety-critical real-time automation systems, 23rd Digital Avionics Systems Conference
IEEE, 2004
Practical experiences of applying source-level WCET flow analysis to industrial code, In proceedings of the 4th international conference on Leveraging applications of formal methods, verification and validation
Springer-Verlag, 2010
PROBABILISTIC R&M PARAMETERS AND REDUNDANCY CALCULATIONS, Applied R&M Manual for Defence Systems, Part D - Supporting Theory, GR-77 Issue 2012
Safety and Reliability Society, 2012
Risk-based Decision-making Fallacies: Why Present Functional Safety Standards Are Not Enough, IEEE International conference on software architecture workshops
IEEE, 2017
Safety Tactics for Software Architecture Design, In proceedings of the 28th annual international computer software and applications confererence
IEEE, 2004
The choice of computer languages for use in safety-critical systems
IET, Software Engineering Journal, Volume: 6, Issue 2, 1991
Syfte
Syftet med kursen är att ge en översikt över frågeställningar och metoder för utveckling och kvalitetssäkring av säkerhetskritisk programvara, inklusive fördjupningar i utvalda nyckelteknologier, verktyg och metoder.
Lärandemål
Efter avslutad kurs ska studenten kunna:
1. känna till de huvudsakliga frågeställningar, verktyg och metoder som används för utveckling av säkerhetskritisk programvara
2. tillämpa utvalda verktyg och metoder för utveckling och kvalitetssäkring av säkerhetskritisk programvara
3. visa förmåga att kunna dokumentera säkerhetsarbetet
4. tillägna sig vetenskapliga landvinningar inom området
Innehåll
1.Introduktion till funktionssäkerhet. Modulen förmedlar kunskaper som ger ökad förståelse för relationen mellan inbyggda system/säkerhetskritiska system / olyckor / komplexitet / utvecklingsmodeller (development lifecycle models) / certifiering / ”the safety case”.
2. Analys- och modelleringsmetoder. Genomgång av säkerhetsanalys- och modelleringsmetoder för utveckling av säkerhetskritiska
system.
3. Verifiering och validering av säkerhetskritisk mjukvara. Genomgång av generella V&V-metoder och samt analysmetoder för att verifiera och validera mjukvara.
4. Arkitekturer för säkerhetskritiska system. Genomgång av hur säkerhet påverkar arkitekturdesign och tillförlitlighet.
Undervisning
Webbaserad distansutbildning.
Särskild behörighet
120 hp varav minst 80 hp inom datavetenskap och/eller datateknik eller motsvarande. Dessutom krävs minst 18 månaders dokumenterad arbetslivserfarenhet från mjukvaruutveckling eller relaterad verksamhet. Dessutom krävs Svenska B/Svenska 3 samt Engelska A/Engelska 6. I de fall kursen ges på engelska görs undantag från kravet på Svenska B/Svenska 3.
Examination
Inlämningsuppgift (INL1), modul 1: introduktion, 2 hp, (examinerar lärandemål 1, 3 och 4), betyg Underkänd (U) eller Godkänd (G)
Inlämningsuppgift (INL2), modul 2: analysteknik, 1,5 hp, (examinerar lärandemål 1 och 4), betyg Underkänd (U) eller Godkänd (G)
Inlämningsuppgift (INL3), modul 3: verifiering och validering,1,5 hp, (examinerar lärandemål 1-4), betyg Underkänd (U) eller Godkänd (G)
Inlämningsuppgift (INL4), modul 4: arkitekturer, 1 hp, (examinerar lärandemål 1, 2 och 4), betyg Underkänd (U) eller Godkänd (G)
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.
Handbok under studietidenBetyg
Tvågradig skala
Övergångsbestämmelser och övriga föreskrifter
Kursen överlappar med 6 hp mot Funktionssäker mjukvara samt helt med Funktionell säkerhet för säkerhetskritisk mjukvara.