Sticanje znanja iz oblasti projektovanja ugrađenih elektronskih uređaja na sistemskom nivou. Korišćenje standardnih jezika, tehnika i alaza za uspešno projektovanje uređaja na sistemskom nivou.

- sposobnost razvijanja modela celokupnog elektronskog sistema u nekom od standardnih jezika za modelovanje na nivou sistema - sposobnost progilisanja i optimizovanja perfomansi sistema u skladu sa zadatim ciljevima - sposobnost verifikacije projektovanog sistema na sistemskom nivou

Metodologije dizajna na sistemskom nivou. Modeli izračunljivosti koji se koriste na sistemskom nivou: konačni automati, tokovi podataka, mreže procesa. Jezici koji se koriste za modelovanje na sistemskom nivou: MATLAB, SystemC, SpecC. Modelovanje na sistemskom nivou: modelovanje na nivou transakcija (TLM) za komunikaciju, modelovanje procesora i operativnih sistema za rad u realnom vremenu. Specifikacija, profilisanje i analiza HW/SW sistema. Kodizajn hardvera i softvera. System-Level dizajn metodologije i alati za: deljenje, vremensko raspoređivanje zadataka i sintezu komunikacionih kanala. Sinteza hardvera na visokom nivou. System-Level dizajn uređaja sa niskom potrošnjom energije. Verifikacija sistema na sistemskom nivou: verifikacija bazirana na simulaciji, verifikacija bazirana na formalnim tehnikama, koverifikacija hardvera i softvera.

Predavanja. Računarske vežbe. Konsultacije.