QNX

1982年にカナダでGordon BellとDan Dodgeが作った。当初の社名はQuantum Software Systemsだった。QNXはマイクロカーネルを中心に設計され、ドライバ、ファイルシステム、ネットワークスタックは、カーネルの外で普通のプロセスとして動く。そのため、ドライバが落ちてもシステム全体は止まらない。

この特性により、医療機器、原子力発電所、ルーター、そして何より自動車など、稼働し続けることが必須の分野で重宝されている。世界の車載インフォテインメントや運転支援の大きな部分がQNXで動いている。BlackBerryは2010年に同社を買収し、BlackBerry 10の基盤にした。POSIX準拠で、動作は決定論的である。