| Abstract | IMA(Integrated Modular Avionics)를 위한 ARINC-653 표준은 항공 소프트웨어 응용의 수행에 대한 명세이며, 이는 이식성이 있는 응용의 개발을 가능하게 한다. 특히, ARINC-653은 소프트웨어 및 하드웨어 동작의 오류를 위해 Health Monitoring을 통해 시스템의 신뢰성을 높일 수 있다. 본 발명은 이러한 ARINC-653의 Health Monitor를 위하여 멀티 스레드 프로그램에서 발생하는 치명적인 오류인 경합조건(Race Condition)을 수행 중에 탐지하고 이를 치유(Healing)하는 기법이다. 개발된 기법은 기존 ARINC-653의 Health Monitor Table에 경합조건 오류를 정의하고, 이를 탐지하였을 때 프로그램을 수행하는 스레드에 동기화를 추가하여 경합이 발생하지 않도록 만든다. 본 발명은 멀티코어 또는 멀티프로세서 임베디드 시스템에 사용될 멀티 스레디드 프로그램의 신뢰성있는 실행을 위해 반드시 제공되어야 하며, 향후 항공기와 같은 고신뢰성을 요구하는 시스템과 같이 폭 넓은 소프트웨어 영역에 적용될 수 있다. |