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:
- z arhitekturami strojne opreme in procesorjev,
- z operacijskimi sistemi z delovanjem v realnem času,
- z ustreznimi programskimi jeziki in prevajalniki zanje,
- z analizo časovnega obnašanja vgrajenih sistemov,
- s snovanjem aplikacij ter
- z njihovim varnostno-kritičnim aspektov