ThreadX
ThreadX(スレッドエックス)は、アメリカ合衆国カリフォルニア州サンディエゴのExpress Logic社によって開発・販売されている、高度に決定論的な組み込みリアルタイムオペレーティングシステム (RTOS)であり、主にC言語で書かれている。 Express Logic社は、2019年4月18日に非公開の買収金額でマイクロソフト社に買収された。
ThreadXとFileX、NetX Duoは、IEC 61508 SIL 4とIEC 62304 Class C、ISO 26262 ASIL D、EN 50128 SW-SIL 4の各安全基準についてSGS-TUV Soarにより事前に認証済みである。
ThreadXとFileX、NetX Duoは、UL/IEC 60730とUL/IEC 60335,UL 1998についても事前に認証済みである。
ThreadXとFileX、NetX Duoは、様々な軍事企業と宇宙航空企業により、DO-178標準の認証済みでもある。wolfSSLといった著名にSSL/TLSライブラリーのサポートもある。