Experiential Learning of Runtime Monitoring Using Pachinko

항공 및 자율 비행의 고위험 세계에서 엔지니어들은 복잡한 기계가 실시간으로 작동할 때 어떻게 올바르게 동작하도록 보장할 것인가라는 막중한 과제에 직면해 있습니다. 대규모 팀에 의해 구축되는 경우가 많은 이러한 시스템은 전원을 켜기 전에 완벽하게 점검하기에는 너무나 복합적입니다. 이를 해결하기 위해 전문가들은 런타임 모니터링(runtime monitoring)이라 불리는 기술을 사용합니다. 데이터 스트림을 지켜보며 숫나와 이벤트가 엄격한 규칙과 일치하는지 끊임없이 확인하는 전담 안전 요원이 기계 옆에 서 있다고 상상해 보십시오. 만약 기계가 안전한 경로에서 벗어나기 시작하면, 이 요원은 재앙이 발생하기 전에 경보를 울리거나 교정 조치를 취합니다. 이 개념은 항공기와 드론의 안전을 유지하는 데 필수적이지만, 학생들에게 이를 가르치는 것은 어렵습니다. 시나리오들이 대개 너무 거대하고 추상적인 시스템을 다루고 있어 강의실에서 시각화하기 어렵고, 이로 인해 학습자들이 왜 그러한 엄격한 규칙이 필요한지 체감하기 어렵게 만들기 때문입니다.

바너드 칼리지와 컬럼비아 대학교의 교육자 팀은 일본 게임인 파칭코(Pachinko)를 위한 워크숍으로 강의실을 변모시킴으로써 이 추상적인 개념을 구체화하는 방법을 찾아냈습니다. 최근 연구에서 그들은 학생들이 실시간으로 컴퓨터 시스템에 의해 모니터링되는 인터랙티브 파칭코 보드를 제작하는 수업 과제를 설계했습니다. 목표는 단순히 게임을 만드는 것이 아니라, 학생들이 컴퓨터가 무엇을 감시하고 어떻게 반응해야 하는지를 정확하게 알려주는 정밀하고 논리적인 규칙인 '형식적 명세(formal specifications)'를 작성하는 법을 배우는 것이었습니다. 수천 개의 못 사이로 강철 공이 예측 불가능하게 튀어 오르는 물리적인 게임을 사용함으로써, 연구진은 안전 모니터의 필요성이 즉각적이고 실제적으로 느껴지는 시나리오를 만들어냈습니다. 학생들은 작은 컴퓨터 칩이 공을 관찰하고, 패턴을 감지하며, 그 패턴에 따라 소리나 모터 움직임을 유발하도록 프로그래밍하는 법을 배웠으며, 결과적으로 게임을 안전 필수 소프트웨어 수업으로 탈바꿈시켰습니다.

이 프로젝트는 수백 개의 황동 못이 박힌 나무판과 강철 공이 굴러 내려가는 경로를 중심으로 진행됩니다. 이 보드의 바닥에는 게임의 두뇌이자 안전 요원 역할을 하는 작은 전자 장치가 놓여 있습니다. 이 장치는 구리 테이프의 미세한 간극을 연결하는 특정 채널을 공이 통과할 때 이를 감지할 수 있는 센서를 갖추고 있습니다. 연구진은 이 중앙 장치가 내부 프로세서에서 두 가지 별개의 작업을 동시에 실행하도록 설정했습니다. 한 프로세서는 센서를 읽고 다른 장치들과 통신하는 물리적인 작업을 처리하고, 두 번째 프로세서는 '모니터'를 실행합니다. 이 모니터는 학생들이 작성한 규칙 세트를 바탕으로 공의 움직임 스트림을 끊임없이 확인하는 소프트웨어 조각입니다.

학생들은 소그룹으로 나뉘어 시간 기반 이벤트를 설명하기 위해 설계된 특수 언어를 사용하여 이러한 규칙을 작성하는 과제를 수행했습니다. 그들은 어떤 공의 움직임 패턴이 반응을 유발할지 결정해야 했습니다. 예를 들어, 한 학생은 "만약 공이 이 특정 채널을 연속으로 두 번 통과하면, 모터에 신호를 보내라"라는 규칙을 작성할 수 있습니다. 모니터가 해당 규칙이 충족되었음을 감지하면, 즉시 보드의 다른 장치들로 무선 메시지를 보냅니다. 이 장치들은 게임의 부품을 물리적으로 움직이거나 빛과 소리를 유발하는 스테퍼 모터를 제어합니다. 전체 과정은 실시간으로 일어나며, 학생들이 정의한 논리적 규칙에 따라 게임의 동작이 변화하는 역동적인 루프를 생성합니다.

연구진은 학생들이 게임의 동작을 제어하기 위한 이러한 형식적 규칙을 작성하는 데 있어 놀라울 정도로 성공적이었다는 것을 발견했습니다. 학생들이 겪은 주요 어려움은 논리나 코드의 문제가 아니라 게임의 물리적 구성에 있었습니다. 센서를 연결하고, 모터를 배선하며, 서로 다른 전자 보드 간의 무선 통신이 원활하게 작동하도록 보장하는 것이 가장 어려운 부분이었습니다. 이 결과는 그 자체로 가치 있는 교훈이었습니다. 현실 세계에서 런타임 모니터링은 하드웨어와 소프트웨어가 완벽하게 함께 작동해야 하는 복잡한 시스템에서 자주 사용됩니다. 배선과 물리적 설정을 통해 고군분투함으로써, 학생들은 전문 엔지니어들이 드론이나 항공기를 위한 안전 시스템을 구축할 때 직면하는 것과 같은 종류의 통합 과제를 경험했습니다.

제공된 도구들로 달성할 수 있는 기술적 한계도 일부 존재했습니다. 학생들이 규칙을 작성하는 데 사용한 소프트웨어는 장기간 동안의 총 공의 개수를 세는 것과 같은 특정 복잡한 시간 기반 연산을 지원하지 않았습니다. 이를 해결하기 위해 학생들은 창의력을 발휘하여 메인 프로세서가 공의 개수를 세게 한 뒤 그 합계를 모니터로 보내는 방식을 사용해야 했습니다. 비록 이것이 특정 개념을 가르치기에 이상적인 방법은 아니었지만, 학생들이 문제를 해결하기 위해 여전히 형식적 논리의 관점에서 생각할 수 있음을 보여주었습니다. 연구진은 향후 이러한 더 복잡한 연산을 처리할 수 있도록 소프트웨어를 개선할 계획이라고 언급했습니다.

이 프로젝트의 성공은 고급 안전 개념을 가르치는 데 거창한 시뮬레이션이나 대규모 산업 설비가 필요하지 않다는 것을 시사합니다. 교육자들은 수업을 물리적이고 인터랙티브한 게임에 접목함으로써 런타임 모니터링의 필요성을 명확하고 흥미롭게 만들었습니다. 프로젝트에 사용된 재료는 보드당 약 75달러로 비교적 저렴했으며, 설정 또한 다른 강의실에서 쉽게 복제할 수 있도록 설계되었습니다. 시스템은 센서와 모터의 수를 변경할 수 있을 만큼 유연하여, 학급 규모나 창의적인 목표에 따라 과제를 조정할 수 있습니다. 궁극적으로 이 프로젝트는 학생들이 규칙이 실제로 작동하는 모습을 볼 수 있는 구체적이고 직접적인 방법을 제공받을 때, 형식 검증(formal verification)과 실시간 안전 모니터링의 원리를 이해할 수 있음을 입증했습니다.