• 한국항공우주학회지
• /
• 제48권10호
• /
• pp.821-829
• /
• 2020

항공기 소프트웨어의 건전성 관리시스템은 수행 중에 발생하는 오류를 수리하여 안전성을 제공하고 유지보수 비용을 절감한다. 순서 위배 오류는 개발 단계에서 모두 제거하는 것이 어렵기 때문에 운용 단계에서 자율적으로 수리할 수 있어야 한다. 순서 위배를 자율 수리하기 위한 기존 연구는 각 접근사건의 수행 직전에 접근사건 순서를 비교하여 오류를 진단하기 때문에 접근사건 수에 비례하는 시간 오버헤드를 발생시킨다. 본 논문은 접근사건을 포함하는 함수의 올바른 순서 정보로 오류를 진단하고 해당 함수를 지연시켜 조치하는 기법인 ORS를 제시한다. ORS를 평가하기 위해, 순서 위배 오류를 포함하는 5가지의 합성 프로그램에 기존 연구와 ORS를 적용하여 시간 오버헤드를 측정하였다. 그 결과, 접근 횟수가 약 60번 이상일 때 기존 연구보다 효율적임을 확인하였다.

• 정보과학회 논문지
• /
• 제42권2호
• /
• pp.155-161
• /
• 2015

멀티 스레드 프로그램의 수행 중에 발생하는 자료경합과 원자성 위배 등과 같은 동시성 오류는 스레드들의 비결정적 수행으로 인해 다양한 수행 순서를 고려해야 하고 재생산 또한 어렵기 때문에 디버깅하기 어렵고 귀찮은 오류로 잘 알려져 있다. 이러한 자료경합을 디버깅하기 위해서는 스레드의 수행 순서와 메모리 접근 및 동기화 정보 등과 같은 프로그램의 수행 중에 발생한 정보를 수집 및 분석해야 한다. 본 논문에서는 멀티 스레드 프로그램의 수행 중에 벡터 클록 시스템을 기반으로 스레드의 병행성과 접근사건들 간의 순서관계를 생성 및 유지함으로써 정확하면서도 효율적인 감시와 분석이 가능한 도구인 VcTrace를 제시한다. 제시된 감시 도구를 사용하여 멀티 스레드 기반의 응용 프로그램을 대상으로 수행 중 발생한 스레드와 접근사건 등의 정보를 감시 및 유지하고, 자료경합을 탐지하는 기술과 접목하여 실용성을 분석한다.