Realaus laiko sistemų modeliavimo programinė įranga

Įvadas. Realaus laiko sistemų programinės įrangos projektavimas. Realaus laiko sistemos modelis. Jutiklio/judiklio procesas. Aparatūros ir programinės įrangos projektavimas. Realaus laiko sistemų modeliavimo procesas. Realaus laiko programavimas. Realaus laiko vykdikliai. Proceso valdymas. Vykdiklių valdymas. Stebėjimo ir valdymo sistemos. Realaus laiko sistemų projektavimo procesas. Valdymo sistemos. Programinės įrangos be defektų kūrimas. Klaidas sąlygojančios (error-prone) struktūros. Esminiai aspektai.