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

ei muokkausyhteenvetoa
[katsottu versio][katsottu versio]
Ei muokkausyhteenvetoa
 
Voidaan myös vaatia ''formaalia todistetta'' ohjelmakoodin oikeellisuudesta ja kaikkien syötteiden ja tilojen huomioimisesta toteutuksen toiminnassa.
 
== Standardeja ==
Reaaliaikakäyttöjärjestelmiä koskevia standardeja:<ref>{{Kirjaviite | Nimeke = Hard Real-Time Computing Systems | Tekijä = Buttazzo, Giorgio C. | Selite = Third Edition | Julkaisija = Springer | Vuosi = 2011 | Isbn = 978-1-4614-0675-4}}</ref>
* [[POSIX]], etenkin RT-POSIX -laajennus
* [[OSEK/VDX]], autoteollisuus
* [[ARINC-APEX]], ARINC 653, ilmailu
* [[MICRO-ITRON]], ''Industrial TRON'', pienet sulautetut järjestelmät
 
== Reaaliaikakäyttöjärjestelmiä ==
163 386

muokkausta