항공기 소프트웨어의 건전성 관리시스템은 소프트웨어의 잘못된 상태를 탐지, 진단, 예측, 그리고 완화한다. 항공기 소프트웨어의 실패는 재해적 비행 상태를 발생할 수 있기 때문에 안전필수 항공기 시스템에서 건전성 관리시스템은 특히 중요하다. 하지만 이전 연구는 동시성 결함을 고려하지 않고 안전필수기능으로 건전성 관리시스템을 개발하였다. 그 결과 동시성 결함에 의해 건전성 관리시스템이 실패하면 항공기 소프트웨어는 의도하지 않은 비결정적인 실행을 초래할 수 있다. 본 논문은 동시성 결함을 고려하여 안전한 건전성 관리시스템을 개발하기 위해 준비물, 관련 설계절차, 산출물이 정의된 설계지침을 제안한다. 제안된 설계지침은 비행제어 계통의 기본모형에 적용하여 그 타당성을 보인다.