Subject

Embedded Software for Critical Real-Time Applications

Course Title

Embedded Software for Critical Real-Time Applications
Embedded software for critical real-time applications

Code

Small Vessel Sizing and Sealing

Study Programme

Embedded Systems Software

Organizer of the study programme (unit, institute, department or division)

Faculty of Computer Science and Engineering

Degree level (first, second, third cycle)

Second cycle

Academic year / semester

10 / Summer

Number of ECTS credits

Teacher

Monika Simjanoska Misheva, Andreja Naumoski

Prerequisites for enrolling in the course

—

10.

Objectives of the course programme (competences)

Upon completing the course, students are expected to be able to build systems for modelling
physical systems involving real-time challenges; to integrate computation and
communication with the physical process; and to monitor and control a physical
process in real time through embedded systems.

11.

Course content

Principles, methods and techniques for building highly dependable physical systems. Modelling,
mental models, qualitative analysis and risk analysis. Real-time programming and
communication, real-time scheduling and virtual machines. Timing constraints
in programming. Rapid reconfiguration. Feedback in computer systems.
Verification, validation and evidence-based certification. Formal methods for
specification and analysis. Model-based testing. Building embedded systems
that are safety-critical (e.g. pacemakers and infusion pumps).

12.

Learning methods

Lectures supported by slide presentations, interactive lectures, practical exercises (using equipment and software packages), teamwork, case studies, invited guest lecturers, independent preparation and defence of a project assignment and seminar paper, and learning in an electronic environment (forums and consultations).

13.

Total available time

6 ECTS x 30 hours = 180 hours

14.

Distribution of available time

30 + 15 + 0 + 0 + 0 = 180 hours

15.

Forms of teaching activities

15.1.	Lectures - theoretical instruction	30 hours
15.2.	Exercises (laboratory, auditory), seminars, teamwork	15 hours

16.

Other forms of activities

16.1.	Project assignments	0 hours
16.2.	Independent assignments	0 hours
16.3.	Home study	0 hours

17.

Assessment method

17.1.	Tests	45 points
17.2.	Seminar paper / project (presentation: written and oral)	0 points
17.3.	Activities and learning	10 points
17.4.	Final exam	0 points

18.

Grading criteria (points / grade)

up to 50 points	5 (five) (F)
from 51 to 60 points	6 (six) (E)
from 61 to 70 points	7 (seven) (D)
from 71 to 80 points	8 (eight) (C)
from 81 to 90 points	9 (nine) (B)
from 91 to 100 points	10 (ten) (A)

19.

Requirement for obtaining a signature and taking the final exam

completed activities 15.1 and 15.2

20.

Language of instruction

Macedonian and English

21.

Method for monitoring the quality of teaching

internal evaluation and survey mechanism

22.

Literature

22.1.	Required literature 1. Chris Hobbs \| Embedded Software Development for Safety-Critical Software \| Taylor & Francis \| 2020 2. ARM \| ARM® Cortex®-R Series \| ARM \| 2014 3. Leanna Rierson \| Developing safety-critical software \| Taylor & Francis \| 2013
22.2.	Additional literature No. Author Title Publisher Year