Benda apa pula ini ? kalau menurut wikipedia sih merupakan spesifikasi software untuk pemisahan space dan time dalam sistem kritis pada aplikasi real time untuk penerbangan. Maksud space dan time disini nampaknya berkaitan dengan alokasi memori dan alokasi waktu/penjadwalan. Di dalam OS yang umum