자율 우주 소프트웨어를 위한 에이전트 기반 설계

본 논문은 위성 제어와 같은 우주 소프트웨어 시스템에서 기존의 피드백 제어기 기반 설계가 제어 로직 자체의 적응성 부족으로 한계에 봉착한다는 문제를 제기한다. 특히, 급격한 오류(예: 추진기 고장) 발생 시 기존 시스템은 새로운 제어기를 설계·배포하는 과정이 복잡하고 비투명하며, 진화적 제어 방식은 이해와 검증이 어려워 실제 운용에 위험을 초래한다. 이러한 배경에서 저자들은 두 가지 상이한 계산 영역을 결합한 하이브리드 아키텍처를 제안한다. 첫 번째 영역은 연속적인 물리 모델링과 수치 해석을 담당하는 MATLAB/Simulink 기반 실시간 제어 시스템이다. 이 부분은 기존의 피드백 제어기와 위성 궤도 시뮬레이션을 구현하며, 고속 데이터 흐름과 실시간 응답을 제공한다. 그러나 MATLAB 자체가 멀티스레딩을 지원하지 않기 때문에, 실시간 제어와 연속적인 에이전트 계산을 별도 프로세스로 분리하고 파일 시스템을 공유 영역으로 활용해 파라미터를 교환한다는 구현상의 제약이 있다. 두 번째 영역은 고수준 의사결정을 담당하는 BDI(Belief‑Desire‑Intention) 기반 에이전트이다. 저자들은 Gwendolen이라는 BDI 언어를 선택했으며, 이는 Java 위에서 실행된다. 에이전트는 ‘추상화 엔진’과 ‘추론 엔진’으로 명확히 구분된다. 추상화 엔진은 실시간 제어 시스템이 제공하는 연속적인 상태 정보(stateinfo)를 받아, MATLAB 함수 comp_distance 를 호출해 위성이 목표 궤도 내에 있는지를 판단한다. 판단 결과는 proximity_to_centre 신념으로 변환되어 공유 신념 베이스에 저장된다. 추론 엔진은 이러한 신념을 기반으로 목표를 생성하고, 필요 시 연속 부분에 새로운 경로 계산이나 피드백 제어기 재생성을 요청한다. 예를 들어, 위성이 궤도 밖으로 벗어났다는 신념이 발생하면 +!get_to_centre 라는 목표를 선언하고, plan_approach_to_centre 함수를 통해 구체적인 제어 플랜을 얻는다. 이후 apply_controls 를 호출해 시뮬레이션에 적용함으로써 위성을 다시 궤도 내로 복귀시킨다. 이러한 구조는 전통적인 상태 머신이나 복잡한 진화적 제어와 달리, 의사결정 로직을 명시적인 BDI 규칙으로 표현함으로써 가독성과 유지보수성을 크게 향상시킨다. 논문은 정지궤도(Geostationary Orbit) 유지 사례를 통해 구현된 시스템을 시연한다. 코드 조각에서는 상태 정보가 들어올 때마다 추상화 엔진이 신념을 업데이트하고, 추론 엔진이 목표와 플랜을 선택하는 과정을 보여준다. 특히, 목표 기반 프로그래밍(+!goal)과 신념 기반 조건(B belief) 사용을 통해 복잡한 경우의 수를 일일이 코딩하지 않아도 되는 장점을 강조한다. 향후 연구 과제로는 제안된 하이브리드 아키텍처를 기존의 유한 상태 머신 기반 제어와 비교 평가하고, 시간 논리(temporal logic)와 모델 체킹을 이용해 자동 계획 생성 및 형식적 검증을 확대하는 것이 있다. Kloetzer와 Belta가 제시한 선형 시스템에 대한 시간 논리 기반 제어 프레임워크를 에이전트와 결합함으로써, 복잡한 임무 시나리오에서도 자동으로 안전한 제어 전략을 도출하고 검증할 수 있을 것으로 기대한다. 또한, 현재는 파일 시스템을 통한 파라미터 교환이 비효율적이므로, 보다 효율적인 통신 메커니즘(예: 메시지 큐, 공유 메모리) 도입이 필요하다. 결론적으로, 이 논문은 우주 시스템 제어에 있어 ‘하이브리드 에이전트’라는 새로운 설계 패러다임을 제시하고, 초기 프로토타입을 통해 개념 검증을 수행했다는 점에서 학술적·실용적 의의가 크다.