소프트웨어 결함 허용 범위

Question

누구든지 소프트웨어 내결함성이 항공 교통 관제 시스템에서 어떻게 구현되는지 알고 있습니까?

일부 URL은 매우 유용합니다.

Answer 1

록히드가 잠시 동안이 기사를 게시했습니다. 보십시오 here.

많은 시스템에서 명제 및 기타 공식 논리 아이디어의 검증을 명시 적으로 지원하여 시스템 일관성을 보장 할 수있는 Ada를 사용합니다. 그것에 대해 자세히 알아보기 here.

당신은 또한 (매우)의 천천히 미국에서 현재 출시되고있는 새로운 시스템의 이름 인 "En Route Automation Modernization"를, ERAM의 약어를 검색 할 것입니다. 이것은 En Route Host System을 대체하는 것으로, 충돌하는 모든 것을 서로 유지하는 기존 레거시 시스템입니다.

Answer 2

software fault tolerance 링크는 여기에 포함 :

• 제한 시간
• 감사
• 예외
• 롤백
처리
• 증분 재부팅
• 투표