Оспособљавање студената за процес валидације и верификације дигиталних система високе поузданости.

Након успешног завршетка овог курса, студенти ће бити у стању да самостално учествују у процесу спецификације, валидације, верификације и документације дигиталних система.

Део 1: Упознавање са процесом развоја дигиталних система високе поузданости по ДО-254 стандарду. Писање и валидација спецификације. Писање тестних случајева. Део 2: Поуздан дизајн дигиталног система. Означавање кода. Део 3: Методе формалне верификације. БФМ. УВМ. Део 4: Технике анализе покривености кода. Верификација на хардверу. Емулација на хардверу. Део 5: Рецензија резултата верификације ради сертификације дигиталног система.

Предавања. Туторијали. Радови и рачунарске вежбе (60%). Консултације. Завршни испит је тест из теорије (40%).