19Д111ССР - Софтверски системи за рад у реалном времену
| Спецификација предмета | ||||
|---|---|---|---|---|
| Назив | Софтверски системи за рад у реалном времену | |||
| Акроним | 19Д111ССР | |||
| Студијски програм | Електротехника и рачунарство | |||
| Модул | модул Софтверско инжењерство | |||
| Тип студија | докторске академске студије | |||
| Наставник (предавач) | ||||
| Наставник/сарадник (вежбе) | ||||
| Наставник/сарадник (ДОН) | ||||
| Број ЕСПБ | 9.0 | Статус предмета | изборни | |
| Условљност другим предметима | ||||
| Циљеви изучавања предмета | Оспособити студенте за напредно разумевање софтверских система за рад у реалном времену. Фокус је на критичкој анализи постојећих решења, идентификацију отворених истраживачких проблема и развој иновативних приступа за обезбеђивање временске исправности у сложеном, безбедносно-критичном софтверу. Циљ је подстицање оригиналног научног доприноса. | |||
| Исходи учења (стечена знања) | Студенти ће критички анализирати напредно распоређивање у реалном времену, формалну верификацију и WCET анализу. Пројектоваће поуздане системе у реалном времену. Идентификоваће и предложити решења за отворене истраживачке проблеме у мешовитој критичности, ВИ у реалном времену и безбедности CPS-а. | |||
| Садржај предмета | ||||
| Садржај теоријске наставе | Напредне теме: распоређивање у реалном времену (нпр. вишејезгарно, хијерархијско), формалне методе за верификацију (нпр. временски аутомати, провера модела), оперативни системи/хипервизори у реалном времену, WCET анализа, толеранција на грешке, комуникација у реалном времену. Истражују се системи мешовите критичности, ВИ у реалном времену и изазови безбедности сајбер-физичких система. | |||
| Садржај практичне наставе | Значајан истраживачки пројекат (теоријски, имплементациони или прегледни) који се бави отвореним проблемима. Студенти ће презентовати и критички дискутовати о најсавременијим истраживачким радовима. Практично истраживање специјализованих алата за анализу и верификацију у реалном времену. Фокус је на развоју оригиналних истраживачких доприноса применљивих у области. | |||
| Литература | ||||
| ||||
| Број часова активне наставе недељно током семестра/триместра/године | ||||
| Предавања | Вежбе | ДОН | Студијски и истраживачки рад | Остали часови |
| 8 | ||||
| Методе извођења наставе | Менторска настава | |||
| Оцена знања (максимални број поена 100) | ||||
| Предиспитне обавезе | Поена | Завршни испит | Поена | |
| Активности у току предавања | Писмени испит | |||
| Практична настава | Усмени испит | 30 | ||
| Пројекти | 70 | |||
| Колоквијуми | ||||
| Семинари | 0 | |||