Course syllabus - Design of dependable and fault-tolerant embedded systems 7.5 credits

Design av pålitliga och feltoleranta inbyggda system

Course code: DVA460
Valid from: Autumn semester17 Autumn semester18
Level of education: Second cycle
Subject: Informatics/Computer and Systems Scie...
Main Field(s) of Study: Computer Science,
In-Depth Level: A1N (Second cycle, has only first-cycle course/s as entry requirements),
School: IDT
Ratification date: 2017-01-31
Change date: 2018-02-01

Objectives

The purpose of this course is to provide the student with a systematic study of the area of fault tolerance, applied to embedded systems. The course will increase the participant’s competence to identify dependability vulnerabilities in embedded systems, design fault-tolerant solutions to eliminate such vulnerabilities and evaluate these solutions with proper dependability analysis techniques.
 

Learning outcomes

After completing the course, the student shall be able to:

1. describe the basic concepts of dependability as they are described in the classical literature, and illustrate these concepts with examples from real systems
2. describe the most common fault-tolerance techniques for software systems, particularly redundancy-based techniques, and contrast them in terms of dependability improvement
3. describe and apply the most common evaluation techniques for dependability analysis of embedded systems
4. analyze and identify dependability vulnerabilities in a given embedded system
5. choose and implement a fault-tolerant solution to adequately solve/mitigate the dependability vulnerabilities of a given system and justify, both qualitatively and quantitatively, the suitability of this solution

 

Course content

1. Dependability fundamentals
a. Dependability concepts and terminology.
b. Fault tolerance fundamentals and principles

2. Design of fault-tolerant systems
a. Redundancy management
b. Techniques to tolerate software faults
c. Fault-tolerant communication

3. Verification techniques for dependable systems
a. Reliability analysis
b. Fault injection

4. Analysis and design of fault-tolerant embedded systems
a. Examples
b. Case study (project-based)

Teaching methods

Video lectures.

Specific entry requirements

100 credits, of which 70 credits in engineering or informatics, including at least 30 credits in programming or software development.
In addition, Swedish B/Swedish 3 and English A/English 6 are required. For courses given entirely in English exemption is made from the requirement in Swedish. B/Swedish 3.

 

Examination

Written assignment (INL1), 1 credit, (examines the learning objective 1), Marks Fail (U) or Pass (G)
Written assignment (INL2), 1 credit, (examines the learning objective 2), Marks Fail (U) or Pass (G)
Written assignment (INL3), 1 credit, (examines the learning objective 3), Marks Fail (U) or Pass (G)
Project (PRO1), 4 credits, (examines the learning objectives 4 and 5, Marks Fail (U), 3, 4 or 5
 

A student who has a certificate from MDH 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 (2016/0601). 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.

Rules and regulations for examinations

Marks

TK

Course literature is preliminary until 15 days before the course starts.

Valid from: Autumn semester18

Decision date: 2018-06-21

Last update: 2018-06-21

Other materials

There is no textbook for this course. Links to reading material and videos will be provided within the course website.