Integrity RTOS

A secure, no royalty, for high reliability embedded systems; hardware memory protection to isolate and protect it and user tasks from incorrect operation by errors or tampering; object-oriented design allows verification of data security/integrity, communications, individual components, and whole system; strict adherence to provable resource requirements. Ин Green Hills Software, Inc.