O laboratoriju
Osebje
Objave
Raziskave
Pravila
Predmeti / vaje
Izpitni roki
Rezultati
Diplome
Informacije
Real-time Systems Laboratory

PROFIL RAZISKOVALNEGA DELA

V Laboratoriju za sisteme v realnem času se ukvarjamo s snovanjem vgrajenih sistemov, ki delujejo v domeni strogega realnega časa. Glavni cilj je, da opravila končajo svoje naloge v predvidenem časovnem intervalu.

Da bi zagotovili za to potrebno napovedljivost njihovega časovnega obnašanja, se na holistični način ukvarjamo z vsemi nivoji, ki nastopajo pri njihovem snovanju:

dot z arhitekturami strojne opreme in procesorjev,
dot z operacijskimi sistemi z delovanjem v realnem času,
dot z ustreznimi programskimi jeziki in prevajalniki zanje,
dot z analizo časovnega obnašanja vgrajenih sistemov,
dot s snovanjem aplikacij,
dot z njihovimi specifikacijami, verifikacijo in validacijo ter
dot z njihovim varnostno-kritičnim aspektom.

Projekti

Na vrh | Prva stran | O laboratoriju | Osebje | Inštitut za informatiko | E-pošta

 

RTS UM Inštitut za informatiko FERI FERI