METHOD AND SYSTEM FOR HEALING RACES OF A MULTI-THREAD PROGRAM IN AN ARINC-653 BASED COMPUTER SYSTEM FOR AIRCRAFT

摘要

The present invention relates to a method and system for healing races of a multi-thread program in an ARINC-653 based computer system for aircraft. The healing method comprises the steps of: detecting a data race of the multi-thread program using a race detector; and healing the data race using a healer. The healing system comprises: the detector for detecting a data race; ARINC-653 including a health monitor for connecting the detector and the healer; and the healer for healing data when a data race occurs. According to the present invention, errors caused by data races in the multi-thread program can be detected, and the detected errors can be immediately healed. Thus, program execution delay caused by a system shutdown can be prevented, and the multi-thread program can be reliably used.