Apollo 11 유도 컴퓨터 코드에서 문서화되지 않은 버그 발견
(juxt.pro)
AI 기반의 사양 압축 기술로 아폴로 11호 유도 컴퓨터 코드 내 미발견 버그를 식별해냄으로써, 자율주행과 항공우주 등 안전이 핵심인 분야에서 AI가 소프트웨어 검증 패러다임을 바꿀 수 있음을 증명했습니다.
이 글의 핵심 포인트
- 1130,000줄의 AGC 어셈블리 코드를 12,500줄의 사양으로 압축하여 분석
- 2Claude(LLM)와 Allium(사양 언어)을 결합한 새로운 검증 방법론 사용
- 3IMU(관성 측정 장치)의 gyro 제어 코드 내 리소스 락(LGYRO) 누수 버그 발견