1261.55 로봇 행동 제어에서의 이벤트 구동 아키텍처

1. 이벤트 구동 아키텍처의 정의

이벤트 구동 아키텍처(Event-Driven Architecture, EDA)는 시스템의 동작이 외부 또는 내부에서 발생하는 이벤트(event)에 의해 촉발(trigger)되는 소프트웨어 아키텍처 패턴이다. 이벤트란 시스템 내에서 의미 있는 상태 변화(significant change in state)를 나타내는 불변 사실(immutable fact)이며, 센서 데이터의 도착, 타이머의 만료, 사용자 명령의 수신, 내부 상태의 전이 등이 이에 해당한다.

로봇 행동 제어 시스템에서 이벤트 구동 아키텍처는 센서-인지-결정-행동(Sense-Perceive-Decide-Act) 루프를 구성하는 자연스러운 패러다임이다. 로봇은 본질적으로 외부 환경의 변화에 반응하여 행동을 결정하고 실행하는 시스템이므로, 이벤트에 의해 구동되는 아키텍처가 로봇 소프트웨어의 구조적 특성에 부합한다.

2. 이벤트 구동과 시간 구동의 비교

로봇 행동 제어 시스템의 실행 모델은 크게 이벤트 구동(event-driven)과 시간 구동(time-driven)으로 분류된다.

실제 로봇 시스템에서는 두 모델이 혼합적으로 사용된다. 센서 데이터의 수신은 이벤트 구동으로 처리하고, 제어 명령의 발행은 고정 주기 타이머에 의해 시간 구동으로 수행하는 것이 전형적인 구성이다.

3. ROS2에서의 이벤트 구동 구현

ROS2의 실행자(Executor) 기반 콜백 모델은 본질적으로 이벤트 구동 아키텍처의 구현이다. 각 통신 엔티티(구독, 서비스, 액션, 타이머)에 연결된 콜백 함수가 해당 이벤트의 발생 시 실행자에 의해 호출되며, 이벤트 부재 시에는 rcl_wait() 호출에서 스레드가 휴면 상태에 놓여 자원을 소비하지 않는다.

3.1 이벤트 유형과 콜백 매핑

ROS2에서 행동 제어와 관련된 주요 이벤트 유형과 대응하는 콜백은 다음과 같다.

3.2 이벤트 기반 행동 전환의 구현 예시

센서 이벤트에 의해 행동이 전환되는 시나리오를 C++로 구현하면 다음과 같다.

#include "rclcpp/rclcpp.hpp"
#include "sensor_msgs/msg/laser_scan.hpp"
#include "geometry_msgs/msg/twist.hpp"

enum class BehaviorState { EXPLORE, AVOID_OBSTACLE, STOP };

class EventDrivenController : public rclcpp::Node
{
public:
  EventDrivenController() : Node("event_driven_controller"),
    state_(BehaviorState::EXPLORE)
  {
    // 센서 이벤트 구독 (이벤트 구동)
    scan_sub_ = this->create_subscription<sensor_msgs::msg::LaserScan>(
      "scan", rclcpp::SensorDataQoS(),
      std::bind(&EventDrivenController::on_scan_received, this,
                std::placeholders::_1));

    // 제어 출력 발행자
    cmd_pub_ = this->create_publisher<geometry_msgs::msg::Twist>(
      "cmd_vel", 10);

    // 주기적 제어 루프 (시간 구동)
    control_timer_ = this->create_wall_timer(
      std::chrono::milliseconds(50),
      std::bind(&EventDrivenController::on_control_cycle, this));
  }

private:
  void on_scan_received(
    const sensor_msgs::msg::LaserScan::SharedPtr msg)
  {
    // 이벤트 기반 상태 전이
    double min_range = *std::min_element(
      msg->ranges.begin(), msg->ranges.end());

    if (min_range < 0.5) {
      state_ = BehaviorState::AVOID_OBSTACLE;
    } else {
      state_ = BehaviorState::EXPLORE;
    }
  }

  void on_control_cycle()
  {
    // 시간 구동 제어 출력 생성
    auto cmd = geometry_msgs::msg::Twist();
    switch (state_) {
      case BehaviorState::EXPLORE:
        cmd.linear.x = 0.5;
        break;
      case BehaviorState::AVOID_OBSTACLE:
        cmd.angular.z = 1.0;
        break;
      case BehaviorState::STOP:
        break;
    }
    cmd_pub_->publish(cmd);
  }

  BehaviorState state_;
  rclcpp::Subscription<sensor_msgs::msg::LaserScan>::SharedPtr scan_sub_;
  rclcpp::Publisher<geometry_msgs::msg::Twist>::SharedPtr cmd_pub_;
  rclcpp::TimerBase::SharedPtr control_timer_;
};

위 구현에서 on_scan_received()는 센서 데이터 도착 이벤트에 의해 비동기적으로 호출되며, 장애물 감지 상태에 따라 행동 상태를 전환한다. on_control_cycle()는 50ms 주기의 타이머에 의해 시간 구동으로 호출되며, 현재 행동 상태에 따른 제어 명령을 발행한다.

4. 이벤트 구동 아키텍처의 설계 패턴

4.1 이벤트-조건-행동(Event-Condition-Action, ECA) 패턴

ECA 패턴은 이벤트 구동 행동 제어의 기본적인 구조화 패턴이다. 이벤트가 발생하면 조건을 검사하고, 조건이 충족되면 행동을 실행한다.

Event: 장애물 감지 센서 값 < 임계값
Condition: 현재 상태가 EXPLORE
Action: 상태를 AVOID_OBSTACLE로 전환, 회피 행동 개시

4.2 이벤트 필터링(Event Filtering) 패턴

모든 이벤트가 동일한 중요도를 갖지는 않으므로, 이벤트 필터링을 통해 불필요한 이벤트를 걸러내고 의미 있는 이벤트만 처리한다. ROS2에서는 DDS의 Content-Filtered Topic 또는 콜백 내부의 조건 검사를 통해 구현한다.

4.3 이벤트 집약(Event Aggregation) 패턴

복수의 이벤트를 수집하여 하나의 상위 수준 이벤트로 합성하는 패턴이다. 예를 들어, 라이다 스캔과 카메라 영상을 모두 수신한 후에 장애물 감지 판정을 수행하는 경우, message_filters 패키지의 ApproximateTimeSynchronizer를 사용하여 시간적으로 근접한 이벤트를 동기화한다.

#include "message_filters/subscriber.h"
#include "message_filters/time_synchronizer.h"

message_filters::Subscriber<sensor_msgs::msg::LaserScan> scan_sub(
  node, "scan", rmw_qos_profile_sensor_data);
message_filters::Subscriber<sensor_msgs::msg::Image> image_sub(
  node, "camera/image", rmw_qos_profile_sensor_data);

message_filters::TimeSynchronizer<
  sensor_msgs::msg::LaserScan, sensor_msgs::msg::Image> sync(
  scan_sub, image_sub, 10);

sync.registerCallback(
  [](const%20sensor_msgs::msg::LaserScan::ConstSharedPtr%20&%20scan,
%20%20%20%20%20const%20sensor_msgs::msg::Image::ConstSharedPtr%20&%20image) {
    // 동기화된 센서 융합 처리
  });

4.4 이벤트 우선순위 패턴

안전 관련 이벤트(비상 정지 등)가 일반 이벤트보다 우선적으로 처리되어야 하는 경우, 콜백 그룹의 분리와 멀티 스레드 실행자의 조합을 통해 사실상의 우선순위 처리를 구현한다.

5. 이벤트 구동 아키텍처의 장점과 한계

5.1 장점

5.2 한계

이벤트 폭풍에 대한 대비책으로는 이벤트 드롭(event dropping), 이벤트 디바운싱(debouncing), 속도 제한(rate limiting) 등의 기법이 적용된다. ROS2에서는 KEEP_LAST(1) QoS 정책을 통해 최신 이벤트만 유지하고 이전 이벤트를 자동으로 폐기하는 방식이 사용된다.

6. 행동 제어 프레임워크와의 관계

이벤트 구동 아키텍처는 행동 트리(Behavior Tree), 유한 상태 머신(FSM) 등 상위 수준의 행동 제어 프레임워크의 기반 실행 모델로 기능한다. 행동 트리의 틱(tick)은 타이머 이벤트에 의해 구동되며, 각 행동 노드의 실행 과정에서 발생하는 센서 데이터 수신, 액션 피드백 수신 등은 이벤트 구동으로 처리된다. 이러한 혼합 구동 방식에 의해 행동 제어 시스템은 주기적 의사결정과 비동기적 환경 반응을 동시에 수행할 수 있다.

7. 참고 문헌

• S. Macenski, T. Foote, B. Gerkey, C. Lalancette, W. Woodall, “Robot Operating System 2: Design, architecture, and uses in the wild,” Science Robotics, vol. 7, no. 66, eabm6074, 2022.
• R. A. Brooks, “A Robust Layered Control System for a Mobile Robot,” IEEE Journal on Robotics and Automation, vol. 2, no. 1, pp. 14–23, 1986.
• Open Robotics, “ROS 2 Executors,” ROS 2 Documentation, https://docs.ros.org/en/rolling/Concepts/Intermediate/About-Executors.html.
• M. Fowler, “Event-Driven Architecture,” martinfowler.com, 2017.
• D. Casini, T. Blaß, I. Lütkebohle, B. B. Brandenburg, “Response-Time Analysis of ROS 2 Processing Chains Under Reservation-Based Scheduling,” in Proceedings of the 31st Euromicro Conference on Real-Time Systems (ECRTS), 2019.