Subject
Вградлив софтвер за критични апликации во реално време
| 1. | Наслов на наставниот предмет |
Вградлив софтвер за критични апликации во реално време Embedded software for critical real-time applications |
||||||||||||
| 2. | Код | SVSS004 | ||||||||||||
| 3. | Студиска програма | Софтвер за вградливи системи | ||||||||||||
| 4. | Организатор на студиската програма (единица, односно институт, катедра, оддел) | Faculty of Computer Science and Engineering | ||||||||||||
| 5. | Степен (прв, втор, трет циклус) | Second Cycle | ||||||||||||
| 6. | Академска година / семестар | 10 / Летен | ||||||||||||
| 7. | Број на ЕКТС кредити | 6 | ||||||||||||
| 8. | Наставник | Моника Симјаноска Мишева, Андреја Наумоски | ||||||||||||
| 9. | Предуслови за запишување на предметот | — | ||||||||||||
| 10. | Цели на предметната програма (компетенции) | По завршувањето на курсот се очекува студентот да знае да изгради системи за моделирање на физички системи со проблеми во реално време. Да изврши интеграција на пресметките и комуникацијата со физичкиот процес. Да врши Мониторирање и контролирање на физички процес во реално време преку вградливи системи. |
||||||||||||
| 11. | Содржина на предметната програма | Принципи, методи и техники за градење на високонадежни физички системи. Моделирање, ментални модели, квалитативна анализа, анализа на ризик. Програмирање во реално време и комуникација, распоредување во реално време и виртуелни машини. Временски ограничувања при програмирањето. Брза реконфигурација. Повратна врска во компјутерските системи. Верификација и валидација и сертификација врз база на доказ. Формални методи за спецификација и анализа. Тестирање базирано на моделот. Градење на вградливи системи, критични во однос на безбедноста (пр. Пејсмејкер, инфузиона пумпа). |
||||||||||||
| 12. | Методи на учење | Предавања поддржани со презентации преку слајдови, интерактивни предавања, вежби (користење на опрема и софтверски пакети), тимска работа, пример случаи, поканети гости предавачи, самостојна изработка и одбрана на проектна задача и семинарска работа, учење во електронско опкружување (форуми, консултации). | ||||||||||||
| 13. | Вкупен расположив фонд на време | 6 ЕКТС x 30 часа = 180 часа | ||||||||||||
| 14. | Распределба на расположивото време | 30 + 15 + 0 + 0 + 0 = 180 часа | ||||||||||||
| 15. | Форми на наставните активности |
|
||||||||||||
| 16. | Други форми на активности |
|
||||||||||||
| 17. | Начин на оценување |
|
||||||||||||
| 18. | Критериуми за оценување (бодови/ оценка) |
|
||||||||||||
| 19. | Услов за потпис и полагање на завршен испит | реализирани активности 15.1 и 15.2 | ||||||||||||
| 20. | Јазик на кој се изведува наставата | македонски и англиски | ||||||||||||
| 21. | Метод на следење на квалитетот на наставата | механизам на интерна евалуација и анкети | ||||||||||||
| 22. | Literature |
|
