을 제안했다. 또한 신뢰성을 높이기 위한 응용 및 운영체제의 표준인 ARINC 653을 제정하였다. ARINC 653은 항공 전자기기운영체제와 응용 프로그램 간의 인터페이스를 제공 ... 한다. ARINC 653의 핵심 서비스는 시/공간 파티셔닝이며 총 3가지 파트로 나뉜다. 필수 서비스인 파트 1, 확장 서비스인 파트 2, 그리고 적합 테스트인 파트 3이 있다.파트 1 ... 은 ARINC 653 준수를 위한 필수 기능을 구성되어 있으며, 신뢰성을 위한 51개의 API를 정의하고 있다. 파트 1의 첫 기능은 파티션 관리이다. 파티션은 major time