ベーシックOSとしての安全性・セキュリティの確保

INTEGRITYは次のような国際規格に対応して開発されており、各種認証を取得しています。

  • DO-178B (Level-A合致)認証
  • ARINC-653 Application/Executive Interface (APEX)
  • DO-255/RTCA SC-182 Requirements Specification for Avionics Computer Resource
  • RTCA SC-182 Minimum Operational Standard for Avionics Computer Resource (MOPS for ACR)
  • Ministry of Defense OO-55/OO-56
  • Air Force Manual AFI 91-119 Nuclear Weapons System Software Certification
  • Cenelec Railway Standard
  • ISO/IEC 61508 Safety Integrity Level 3認証
  • Common Criteria (ISO/IEC 15408) EAL6+ SKPP認証
  • POSIX (IEEE1003.1-2003)