Course syllabus - Embedded systems II

Objectives

The objective with this course is to provide deeper theoretical, state-of-the-art, knowledge and methods for development and verification of advanced embedded systems. It provides a more diversified view on what an embedded system is, and which types of requirements can be put on such systems.

Learning outcomes

Upon successful completion of this course, student will be able to:

- Describe different requirements of an advanced embedded system and identify obstacles and engineering challenges with such systems.
- Analyze, verify and fulfill timing requirements of embedded real-time systems.
- Design safety-critical applications for embedded system based on application requirements and system limitations.
- Use different models, such as task models, state machines, UML models etc, to abstract from low-level details when designing complex embedded systems.
- communicate in real-time between embedded devices via field busses in a distributed application.
- Evaluate how the choice of a certain hardware can influence functional and temporal behavior of an embedded system.

Course content

This course extends the Embedded Systems I course, which focuses on state-of-the-practice (SOTP), with a deeper theoretical knowledge, i.e., state-of-the-art (SOTA) methodology, for developing embedded systems. It starts by introducing the problems and the limitations of SOTP used today in industrial systems, and presents available theory and tool support to address those problems. Some of the advanced methods covered in this course are developed and mostly used in the academic domain, but they are expected to be used in industrial systems in a near future. The course contents include, but it is not limited to, advanced formal methods for functional and temporal verification, such as schedulability analysis, hazard analysis, fault tolerance, advanced tool support for development of complex embedded systems, as well as the methods for development of complex distributed real-time applications, with several processing nodes connected through an advanced communication bus, such as CAN, TTP, FlexRay, etc.

Tuition

Lectures and programming exercises.

Specific requirements

Embedded systems I 7,5 credits or corresponding. 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

Exercise (INL1), 4,5 credits, marks 3, 4 or 5
Examination (TEN1), 3 credits, marks 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

Interim Regulations and Other Regulations

Students that have previously taken the MDH course "Real-time Systems I" should not take this course, since they overlap significantly.