Вградлив софтвер за критични апликации во реално време

Вградлив софтвер за критични апликации во реално време

1.

Наслов на наставниот предмет

Вградлив софтвер за критични апликации во реално време

Embedded software for critical real-time applications

2.

Код

SVSS004

3.

Студиска програма

Софтвер за вградливи системи, Пресметување во облак, Data science in computer science and engineering, Управување во информатички технологии, Биоинформатика, Безбедност, криптографија и кодирање, Едукација со ИКТ, Еко-информатика, Интелигентни системи, Интернет технологии и сајбер безбедност, Компјутерски науки, Статистика и аналитика на податоци, Софтверско инженерство, Пресметување во облак, Управување во информатички технологии, Биоинформатика, Безбедност, криптографија и кодирање, Статистика и аналитика на податоци, Софтверско инженерство,

4.

Организатор на студиската програма (единица, односно институт, катедра, оддел)

Факултет за информатички науки и компјутерско инженерство

5.

Степен (прв, втор, трет циклус)

Втор циклус

6.

Академска година / семестар

5 / Летен

7. Број на ЕКТС кредити

6.0

8.

Наставник

доц. д-р Моника Симјаноска проф. д-р Андреја Наумоски

9.

Предуслови за запишување на предметот

10.

Цели на предметната програма (компетенции):


По завршувањето на курсот се очекува студентот да знае да изгради системи за моделирање на физички системи со проблеми во реално време. Да изврши интеграција на пресметките и комуникацијата со физичкиот процес. Да врши Мониторирање и контролирање на физички процес во реално време преку вградливи системи.

11.

Содржина на предметната програма:


Принципи, методи и техники за градење на високонадежни физички системи. Моделирање, ментални модели, квалитативна анализа, анализа на ризик. Програмирање во реално време и комуникација, распоредување во реално време и виртуелни машини. Временски ограничувања при програмирањето. Брза реконфигурација. Повратна врска во компјутерските системи. Верификација и валидација и сертификација врз база на доказ. Формални методи за спецификација и анализа. Тестирање базирано на моделот. Градење на вградливи системи, критични во однос на безбедноста (пр. Пејсмејкер, инфузиона пумпа).

12.

Методи на учење:


Предавања поддржани со презентации преку слајдови, интерактивни предавања, вежби (користење на опрема и софтверски пакети), тимска работа, пример случаи, поканети гости предавачи, самостојна изработка и одбрана на проектна задача и семинарска работа, учење во електронско опкружување (форуми, консултации).

13.

Вкупен расположив фонд на време

6.0 ЕКТС x 30 часа = 180 часа

14.

Распределба на расположивото време

30 + 15 + 0 + 0 + 0 = 180 часа

15.

Форми на наставните активности

15.1.

Предавања- теоретска настава

30 часови

15.2.

Вежби (лабораториски, аудиториски), семинари, тимска работа

15 часови

16.

Други форми на активности

16.1.

Проектни задачи

0 часови

16.2.

Самостојни задачи

0 часови

16.3.

Домашно учење

0 часови

17.

Начин на оценување

17.1.

Тестови

45 бодови

17.2.

Семинарска работа/ проект ( презентација: писмена и усна)

0 бодови

17.3.

Активности и учење

10 бодови

17.4.

Завршен испит

0 бодови

18.

Критериуми за оценување (бодови/ оценка)

до 50 бода

5 (пет) (F)

од 51 до 60 бода

6 (шест) (E)

од 61 до 70 бода

7 (седум) (D)

од 71 до 80 бода

8 (осум) (C)

од 81 до 90 бода

9 (девет) (B)

од 91 до 100 бода

10 (десет) (A)

19.

Услов за потпис и полагање на завршен испит

реализирани активности 15.1 и 15.2

20.

Јазик на кој се изведува наставата

македонски и англиски

21.

Метод на следење на квалитетот на наставата

механизам на интерна евалуација и анкети

22.

Литература

22.1.

Задолжителна литература

Ред.бр.

Автор

Наслов

Издавач

Година

7972

Chris Hobbs

Embedded Software Development for Safety-Critical Software

Taylor & Francis

2020

7973

ARM

ARM® Cortex® -R Series

ARM

2014

7974

Leanna Rierson

Developing safety-critical software

Taylor & Francis

2013

22.2.

Дополнителна литература

Ред.бр.

Автор

Наслов

Издавач

Година