[논문 리뷰] Prototype of Fault Adaptive Embedded Software for Large-Scale Real-Time Systems

Derek Messie, Min-A Jung외 4명|ArXiv.org|2005. 04. 29.

Embedded Systems and FPGA Design인용 수 6

한 줄 요약

이 논문은 페르미랩의 BTeV 고에너지 물리 실험을 대상으로 하며, 대규모 실시간 시스템에서 고장에 적응하는 임베디드 소프트웨어의 프로토타입을 제시한다. Very Lightweight Agents (VLAs)와 Adaptive, Reconfigurable, and Mobile Objects for Reliability (ARMOR)를 활용하여 16개의 DSP에서 고장에 대한 자가 치유, 자가 보호, 자가 최적화 능력을 갖춘 분산형 실시간 고장 내성 기능을 실현한다. 이는 고속 데이터 처리 환경에서 시스템 장애에 대해 확장 가능하고 분산형이며 실시간으로 적응하는 고장 내성을 입증한다.

ABSTRACT

This paper describes a comprehensive prototype of large-scale fault adaptive embedded software developed for the proposed Fermilab BTeV high energy physics experiment. Lightweight self-optimizing agents embedded within Level 1 of the prototype are responsible for proactive and reactive monitoring and mitigation based on specified layers of competence. The agents are self-protecting, detecting cascading failures using a distributed approach. Adaptive, reconfigurable, and mobile objects for reliablility are designed to be self-configuring to adapt automatically to dynamically changing environments. These objects provide a self-healing layer with the ability to discover, diagnose, and react to discontinuities in real-time processing. A generic modeling environment was developed to facilitate design and implementation of hardware resource specifications, application data flow, and failure mitigation strategies. Level 1 of the planned BTeV trigger system alone will consist of 2500 DSPs, so the number of components and intractable fault scenarios involved make it impossible to design an `expert system' that applies traditional centralized mitigative strategies based on rules capturing every possible system state. Instead, a distributed reactive approach is implemented using the tools and methodologies developed by the Real-Time Embedded Systems group.

연구 동기 및 목표

• BTeV 입자 물리 실험과 같은 대규모 고속 데이터 처리 실시간 시스템에서 고장 내성을 달성하는 데 도전한다.
• 중앙집중식 전문가 시스템의 한계를 극복하기 위해 고장 완화를 위한 분산형 적응형 소프트웨어 아키텍처를 설계한다.
• 실시간 오류 탐지, 진단, 복구를 가능하게 하기 위해 경량이고 자가 보호 기능을 갖춘 에이전트(VLAs)와 재구성 가능한 신뢰성 오브젝트(ARMOR)를 개발한다.
• 자기 구성, 이동성, 반응형 소프트웨어 컴포넌트를 통해 환경 변화에 동적으로 적응할 수 있도록 한다.
• DSP와 EPICS를 사용하여 고장 주입 및 모니터링을 수행하는 실제 하드웨어 프로토타입을 통해 고장 적응형 컴포넌트의 통합 및 확장성을 입증한다.

제안 방법

• DSP 예외 및 인터럽트 메커니즘을 활용하여 어셈블리어로 Very Lightweight Agents (VLAs)를 구현함으로써 고장 모니터링을 선제적이고 반응적으로 수행한다.
• 에러 탐지 및 완화를 유도하거나 상위 수준 컴포넌트에 알림을 전송하기 위해 필수적이고 선택적 선제적 구성 요소를 갖춘 VLAs를 설계한다.
• L2/L3 수준에서 신뢰성을 확보하기 위해 적응형, 재구성 가능하고 이동 가능한 소프트웨어 오브젝트인 ARMORs를 개발한다. 이는 동적 재구성과 고장 복구를 가능하게 한다.
• 시스템 설계 및 구현을 위해 하드웨어 자원, 데이터 흐름, 고장 완화 전략을 모델링하기 위해 Generic Modeling Environment (GME)를 사용한다.
• 고장을 주입하고 VLA 행동 및 전체 시스템 수준의 고장 완화를 모니터링하기 위해 Experimental Physics and Industrial Control System (EPICS)를 통합한다.
• 실시간 고속 데이터 처리 환경에서 분산형 적응형 고장 내성 기술을 검증하기 위해 16개의 Texas Instruments DSP 기반 프로토타입을 구축한다.

실험 결과

연구 질문

• RQ1 BTeV 트리거 시스템과 같이 수천 개의 처리 요소를 포함하는 대규모 실시간 시스템에서 고장 내성을 어떻게 달성할 수 있는가?
• RQ2 중앙집중식 제어 없이 분산형 경량 에이전트가 고장을 탐지하고 대응할 수 있도록 하는 메커니즘은 무엇인가?
• RQ3 고속 데이터 처리를 위한 실시간 임베디드 소프트웨어에 자가 치유 및 자가 보호 기능을 어떻게 통합할 수 있는가?
• RQ4 일반적인 모델링 환경(GME)이 고장 적응형 시스템의 확장 가능한 설계 및 구현을 어떻게 지원하는가?
• RQ5 고장 주입 및 모니터링을 프로토타입에 효과적으로 통합하여 적응형 고장 완화 행동을 검증할 수 있는가?

주요 결과

• 16개의 DSP를 사용한 프로토타입은 분산형 경량 에이전트 기반 고장 내성 기술의 실현 가능성을 성공적으로 입증하였다.
• VLAs는 예외 신호 및 인터럽트 처리를 통해 고장을 탐지하고 대응하여 실시간 오류 완화를 가능하게 하였다.
• ARMORs는 고도의 유연성과 자동 설정 기능을 제공하여 고급 처리 수준에서의 신뢰성을 확보하였으며, 시스템 변화에 동적으로 적응할 수 있도록 지원하였다.
• EPICS 통합을 통해 고장 주입 및 VLA 완화 조치의 실시간 모니터링이 효과적으로 수행되었으며, 시스템의 반응성과 신뢰성이 확인되었다.
• 버전 제어, 시스템 변경 기록, 대규모 협업 환경에서의 표준화된 개발 절차의 필요성에 대해 핵심적인 교훈을 도출하였다.
• 2,500개의 DSP로의 확장성은 여전히 주요 과제이며, 향후 연구는 대규모 환경에서의 성능과 고장 내성 기능을 입증하는 데 집중할 것이다.