Ero sivun ”Reaaliaikainen käyttöjärjestelmä” versioiden välillä

[katsottu versio][katsottu versio]
 
Tehtävät osioidaan kriittisestä vähemmän kriittiseen siten, että alemman kriittisyystason epäonnistuminen ei voi keskeyttää korkeamman kriittisyystason tehtäviä. Menetelmää käytetään ilmailun ohjelmistojen toteuttamisessa.
 
Voidaan myös vaatia ''formaalia todistetta'' ohjelmakoodin oikeellisuudesta ja kaikkien syötteiden ja tilojen huomioimisesta toteutuksen toiminnassa.
 
== Reaaliaikakäyttöjärjestelmiä ==
159 153

muokkausta