Course syllabus - Safety-critical Software

Objectives

The purpose is to give the students an overview in issues and methods for development and quality assurance of safety-critical software, including details of selected technologies, methods and tools.

Learning outcomes

After the course, participants are expected to:

1. be well aware of key issues, tools and methods used for development of dafety-critical software,
2. be able to apply selected tools and methods for development and quality assurance of safety-critical software,
3. have demonstrated ability to document the safety assurance work, andhave acquired an ability to adopt the scientific advances 4. within the area.

Course content

1. Introduction to functional safety; knowledge that give increased understanding of the relationship between Embedded systems / safety-critical system / accidents / complexity / development models (development lifecycle models) / certification / "the safety case".
2. Analysis and modeling methods; review of analysis and modeling techniques for the development of safety-critical systems.
3. Standards and certification; knowledge about different standards for the development of systems that contain computer systems, eg ISO 26262; the steps required to get a system certified.

Tuition

Flexible teaching supplemented by seminars.
 
 

Specific requirements

Bachelors degree in Computer Science or equivalent and at least three (3) years of relevant industry experience in software development. In addition Swedish course B/Swedish course 3 and English course A/English course 6 are required. For courses given entirely in English exemption is made from the requirement in Swedish course B/Swedish course 3.

Examination

Written assignment (INL1), (Module 1: Introduction), 2 credits, marks Fail (U), 3, 4 or 5
Written assignment (INL2), (Module 2: Analysis Techniques), 1,5 credits, marks Fail (U) or Pass (G)
Written assignment (INL3), (Module 3: Safety Standards), 0,5 credit, marks Fail (U) or Pass (G)
Written assignment (INL4), (Module 4: Verification and Validation), 1,5 credits, marks Fail (U) or Pass (G)
Written assignment (INL5), (Module 5: Architectures), credits, marks Fail (U) or Pass (G)
Project work (PRO1), (Module 3:  Safety Standards), 1 credit,  marks Fail (U), 3, 4 or 5
 

A student who has a certificate from MDU regarding a disability has the opportunity to submit a request for supportive measures during written examinations or other forms of examination, in accordance with the Rules and Regulations for Examinations at First-cycle and Second-cycle Level at Mälardalen University (2020/1655). It is the examiner who takes decisions on any supportive measures, based on what kind of certificate is issued, and in that case which measures are to be applied.

Suspicions of attempting to deceive in examinations (cheating) are reported to the Vice-Chancellor, in accordance with the Higher Education Ordinance, and are examined by the University’s Disciplinary Board. If the Disciplinary Board considers the student to be guilty of a disciplinary offence, the Board will take a decision on disciplinary action, which will be a warning or suspension.

Grade

Pass with distinction, Pass with credit, Pass, Fail