Reaalajasüsteemid
erinevast ajakomplektist. Kõik programmid on omavahel seotud ja neid on võimalik
jälgida, sest programmide arv on lõplik. Omavaheliste interaktsioonide kirjeldamiseks
tuleb teada kõigi interaktsioonis osalevate programmide ajakomplekte. Ajamudel peaks
olema nii lihtne ja loetav kui võimalik.
Reaalajasüsteemid
Ajastamist iseloomustavad jõudlushinnangud, muutujate ja sündmuste kehtivusaegade
hindamine ja üksikute huvipakkuvate osade interaktsioonide ajalise korrektsuse hindamine.
Kogu süsteemi on lihtne projekteerida pidevas ajas, sest inimesed on sellega igapäevaselt
harjunud, kuid ühel hetkel on vaja minna diskreetsesse aega. Sellisel juhul kaotavad aga
paljud matemaatilised teooriad kehtivuse ning see ei ole programmeerija teha, sest tal
puudub vastav haridus ja kogemus.
Aeg võib olla:
· meetriline, millega saab mõõta kahe ajapunkti vahelist kaugust, sõltumata