Navigacija

19D111SSR - Softverski sistemi za rad u realnom vremenu

Specifikacija predmeta
Naziv Softverski sistemi za rad u realnom vremenu
Akronim 19D111SSR
Studijski program Elektrotehnika i računarstvo
Modul modul Softversko inženjerstvo
Tip studija doktorske akademske studije
Nastavnik (predavač)
Nastavnik/saradnik (vežbe)
    Nastavnik/saradnik (DON)
      Broj ESPB 9.0 Status predmeta izborni
      Uslovljnost drugim predmetima
      Ciljevi izučavanja predmeta Osposobiti studente za napredno razumevanje softverskih sistema za rad u realnom vremenu. Fokus je na kritičkoj analizi postojećih rešenja, identifikaciju otvorenih istraživačkih problema i razvoj inovativnih pristupa za obezbeđivanje vremenske ispravnosti u složenom, bezbednosno-kritičnom softveru. Cilj je podsticanje originalnog naučnog doprinosa.
      Ishodi učenja (stečena znanja) Studenti će kritički analizirati napredno raspoređivanje u realnom vremenu, formalnu verifikaciju i WCET analizu. Projektovaće pouzdane sisteme u realnom vremenu. Identifikovaće i predložiti rešenja za otvorene istraživačke probleme u mešovitoj kritičnosti, VI u realnom vremenu i bezbednosti CPS-a.
      Sadržaj predmeta
      Sadržaj teorijske nastave Napredne teme: raspoređivanje u realnom vremenu (npr. višejezgarno, hijerarhijsko), formalne metode za verifikaciju (npr. vremenski automati, provera modela), operativni sistemi/hipervizori u realnom vremenu, WCET analiza, tolerancija na greške, komunikacija u realnom vremenu. Istražuju se sistemi mešovite kritičnosti, VI u realnom vremenu i izazovi bezbednosti sajber-fizičkih sistema.
      Sadržaj praktične nastave Značajan istraživački projekat (teorijski, implementacioni ili pregledni) koji se bavi otvorenim problemima. Studenti će prezentovati i kritički diskutovati o najsavremenijim istraživačkim radovima. Praktično istraživanje specijalizovanih alata za analizu i verifikaciju u realnom vremenu. Fokus je na razvoju originalnih istraživačkih doprinosa primenljivih u oblasti.
      Literatura
      1. C. L. Liu and James W. Layland. - Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
      2. Liu, J. W. S. - Real-Time Systems
      3. Burns, A., and Davis, R. I. - Mixed Criticality Systems - A Review
      Broj časova aktivne nastave nedeljno tokom semestra/trimestra/godine
      Predavanja Vežbe DON Studijski i istraživački rad Ostali časovi
      8
      Metode izvođenja nastave Mentorska nastava
      Ocena znanja (maksimalni broj poena 100)
      Predispitne obaveze Poena Završni ispit Poena
      Aktivnosti u toku predavanja Pismeni ispit
      Praktična nastava Usmeni ispit 30
      Projekti 70
      Kolokvijumi
      Seminari 0