Resolving Conflicts Between RTOS Timekeeping and Uninterruptable Trusted Computing

"RTOS 시간 유지 관리와 중단 불가능한 신뢰 컴퓨팅 간의 충돌 해결"에 대한 상세한 기술 요약입니다.

1. 문제 제기

이 논문은 저전력 마이크로컨트롤러 (특히 ARM TrustZone-M) 의 **신뢰 실행 환경 (TEE)**과 실시간 운영 체제 (RTOS) 간의 치명적인 충돌을 다룹니다.

• 충돌: TEE(보안 월드) 는 변조를 방지하기 위해 암호화 작업, 원격 증명, 핫패칭과 같은 특정 보안 서비스가 원자적으로 실행되어야 합니다. 원자성을 보장하기 위해 보안 월드는 실행 중 모든 비보안 중단을 비활성화합니다.
• 결과: RTOS 가 위치한 비보안 월드 는 내부 시간 개념 유지, 작업 스케줄링 구동, 그리고 타임아웃 관리를 위해 주기적인 SysTick 중단에 의존합니다. 보안 월드 가 중단을 비활성화하면 SysTick 이벤트가 차단됩니다.
• 고장 메커니즘: 중첩 벡터화된 중단 컨트롤러 (NVIC) 는 대기 중인 중단 하나만 버퍼링할 수 있습니다. 보안 서비스가 하나의 SysTick 주기 ($T_{tick}$) 보다 길게 지속되면, 첫 번째 누락된 틱은 버퍼링되지만 해당 구간 동안의 모든 후속 틱은 조용히 폐기됩니다.
• 영향: 이로 인해 RTOS 가 시간을 과소 계측하는 시간 드리프트가 발생합니다. 이는 단순한 시계 오차가 아니라 다음과 같은 문제를 초래합니다.
  • 작업 릴리스 누락 및 실행 지연.
  • 동기화 원시 연산에서의 잘못된 타임아웃 만료.
  • 소프트웨어 타이머의 고장.
  • 컨트롤러 논리와 물리적 현실 간의 조용한 타이밍 불일치로 인한 제어 시스템 (예: 모터 제어) 의 성능 저하.

이전 연구들은 대부분 이 문제를 간과하여, 빠른 원자적 작업이 시간 유지 관리에 큰 영향을 미치지 않는다고 가정하거나, 다중 도메인 환경에서 틱 손실의 누적 효과를 모델링하지 못했습니다.

2. 방법론: 보안 주도 시간 동기화

저자들은 보안 월드가 누락된 SysTick 틱을 추적하고 보상하여 비보안 RTOS 가 일관된 상태로 복귀하도록 하는 경량 메커니즘을 제안합니다.

핵심 설계 원칙

1. RTOS 수정 없음: 이 솔루션은 기본 RTOS 커널이나 애플리케이션 로직에 변경을 요구하지 않습니다.
2. 보안 월드 실행: 보안 월드 는 원자적 서비스가 실행되는 동안 SysTick 이벤트를 가로챕니다.
3. 상태 재구성: 단순히 카운터를 수정하는 대신, 보안 월드 는 누락된 틱이 RTOS 커널에 미치는 의미론적 효과를 재구성합니다.

기술적 구현

• 중단 리디렉션: 보안 서비스가 시작되면 보안 월드 는 NVIC 를 재구성하여 비보안 SysTick 중단을 보안 월드 핸들러( "Secure NS SysTick Handler") 로 라우팅합니다.
• 틱 가로채기:
  • 보안 핸들러는 원자적 서비스 도중 발생하는 모든 SysTick 만료 시 실행됩니다.
  • 누락된 틱 수를 나타내는 내부 카운터 ($n$) 를 증가시킵니다.
  • 사전 추출된 주소를 사용하여 비보안 틱 카운터 변수를 직접 업데이트합니다.
• 재구성 스윕 (서비스 후): 보안 서비스가 완료되고 중단이 다시 활성화되면, 보안 월드 는 누락된 $n$개의 틱의 누적 효과를 비보안 커널에 적용하기 위해 단일 "스윕"을 수행합니다.
  • 지연된 작업: 깨어날 시간이 (현재 틱 + $n$) 이하인 차단된 작업을 준비 목록으로 승격시킵니다.
  • 소프트웨어 타이머: 누락된 구간 동안 트리거되었을 모든 만료된 타이머를 발동하도록 비보안 타이머 작업 큐에 명령을 게시합니다.
  • 라운드 로빈 스케줄링: 발생해야 했던 시간 조각 회전 수를 계산하고 준비 목록 포인터를 이에 따라 전진시킵니다.
  • 재스케줄링: 더 높은 우선순위의 작업이 준비 상태가 된 경우, 복귀 시 즉시 컨텍스트 전환을 강제하기 위해 PendSV 를 트리거합니다.
• 보안성: 핸들러는 비보안 메모리를 역참조하기 전에 모든 포인터를 검증하여, 손상된 비보안 월드 가 포인터를 보안 메모리로 리디렉션하는 것을 방지합니다.

3. 주요 기여

1. 교차 월드 시간 드리프트 특성화:
   • 원자적 서비스 지속 시간 ($A_i$), SysTick 주기 ($T_{tick}$), 실행 빈도에 기반한 틱 손실에 대한 수학적 모델을 공식화했습니다.
   • 드리프트가 선형적으로 누적되며, 빈번하게 발생하는 경우 짧은 원자적 작업이라도 중요할 수 있음을 입증했습니다.
2. 교차 월드 시간 조정 메커니즘:
   • 원자적 구간 동안 보안 월드 가 비보안 월드 를 위한 "시간 관리자"로 작용하는 새로운 아키텍처를 제안했습니다.
   • RTOS 를 수정하지 않고도 (단순 카운터 수정이 아닌) 완전한 상태 일관성을 달성합니다.
3. 실증 검증 및 사례 연구:
   • ARM Cortex-M33 하드웨어 (Raspberry Pi Pico 2 및 STM32L552) 에서 실행되는 FreeRTOS 및 Zephyr에서 모델을 검증했습니다.
   • 수정되지 않은 드리프트의 안전성 영향을 입증하기 위해 폐루프 제어 시스템 사례 연구 (DC 모터 속도 및 위치 제어) 를 수행했습니다.

4. 결과

• 드리프트 제거: 제안된 메커니즘은 시간 드리프트를 완전히 제거했습니다. 실험에서 비보안 틱 카운터는 수천 번의 원자적 서비스 호출 후에도 단일 틱 범위 내에서 보안 월드 기준 시간과 정렬된 상태를 유지했습니다.
• 오버헤드:
  • CPU 사이클: 보안 핸들러는 최소한의 오버헤드만 추가합니다 (FreeRTOS 에서 약 120 사이클, Zephyr 에서 약 172 사이클).
  • 코드 크기: 구현은 보안 월드 에 FreeRTOS 의 경우 약 118 줄, Zephyr 의 경우 약 280 줄의 코드만 추가합니다.
  • 지연 시간: 공유 SysTick 을 가진 플랫폼에서는 관찰 가능한 중단 지연 시간 증가가 없습니다.
• 제어 시스템 영향:
  • 보상되지 않은 경우: DC 모터 속도 제어 실험에서 수정되지 않은 드리프트로 인해 Root Mean Square Error (RMSE) 가 6.55 에서 8.02 rad/s 로 증가했습니다. 위치 제어 실험에서는 단일 릴리스 누락으로 인해 최대 위치 편차가 56 mrad (3.21°) 발생했습니다.
  • 보상된 경우: 메커니즘이 활성화되면 제어 시스템 성능이 기준선 (간섭 없음) 과 정확히 일치하여 메커니즘이 실시간 보장을 유지함을 입증했습니다.

5. 의의

이 연구는 안전 필수 실시간 임베디드 시스템에서 TEE 배포의 중요한 간극을 해소한다는 점에서 의미가 있습니다.

• 안전 보장: TEE 가 시스템 안전이나 제어 루프 안정성을 훼손하지 않고 하드 실시간 요구 사항과 공존할 수 있음을 입증합니다.
• 실용성: 하드웨어 수정이 필요 없고 기존 RTOS 커널 변경이 없으므로, 현재 TrustZone-M 장치에서 즉시 배포 가능합니다.
• 패러다임 전환: 보안 원자적 실행이 시스템 나머지 부분에 대해 "투명하다"는 가정에 도전하며, 시간 유지 관리가 보안 도메인 간 명시적 동기화가 필요한 공유 자원임을 강조합니다.

결론적으로, 이 논문은 TrustZone-M 아키텍처에서 이전에 다루지 않았던 취약점에 대한 강력하고 저오버헤드 솔루션을 제공하여, 보안 서비스가 실시간 애플리케이션의 시간적 정확성을 부주의하게 저하시키지 않도록 보장합니다.