Subject
Вградлив софтвер за критични апликации во реално време
| 1. | Course Title |
Вградлив софтвер за критични апликации во реално време Embedded software for critical real-time applications |
||||||||||||
| 2. | Code | SVSS004 | ||||||||||||
| 3. | Study Programme | Софтвер за вградливи системи | ||||||||||||
| 4. | Organizer of the study programme (unit, institute, department or division) | Faculty of Computer Science and Engineering | ||||||||||||
| 5. | Degree level (first, second, third cycle) | Second cycle | ||||||||||||
| 6. | Academic year / semester | 10 / Summer | ||||||||||||
| 7. | Number of ECTS credits | 6 | ||||||||||||
| 8. | Teacher | Моника Симјаноска Мишева, Андреја Наумоски | ||||||||||||
| 9. | Prerequisites for enrolling in the course | — | ||||||||||||
| 10. | Objectives of the course programme (competences) | По завршувањето на курсот се очекува студентот да знае да изгради системи за моделирање на физички системи со проблеми во реално време. Да изврши интеграција на пресметките и комуникацијата со физичкиот процес. Да врши Мониторирање и контролирање на физички процес во реално време преку вградливи системи. |
||||||||||||
| 11. | Course content | Принципи, методи и техники за градење на високонадежни физички системи. Моделирање, ментални модели, квалитативна анализа, анализа на ризик. Програмирање во реално време и комуникација, распоредување во реално време и виртуелни машини. Временски ограничувања при програмирањето. Брза реконфигурација. Повратна врска во компјутерските системи. Верификација и валидација и сертификација врз база на доказ. Формални методи за спецификација и анализа. Тестирање базирано на моделот. Градење на вградливи системи, критични во однос на безбедноста (пр. Пејсмејкер, инфузиона пумпа). |
||||||||||||
| 12. | Learning methods | Предавања поддржани со презентации преку слајдови, интерактивни предавања, вежби (користење на опрема и софтверски пакети), тимска работа, пример случаи, поканети гости предавачи, самостојна изработка и одбрана на проектна задача и семинарска работа, учење во електронско опкружување (форуми, консултации). | ||||||||||||
| 13. | Total available time | 6 ECTS x 30 hours = 180 hours | ||||||||||||
| 14. | Distribution of available time | 30 + 15 + 0 + 0 + 0 = 180 часа | ||||||||||||
| 15. | Forms of teaching activities |
|
||||||||||||
| 16. | Other forms of activities |
|
||||||||||||
| 17. | Assessment method |
|
||||||||||||
| 18. | Grading criteria (points / grade) |
|
||||||||||||
| 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 |
|