NASA의 Haskell 기반 임무 보증 도구 Ogma 1.10.0 릴리스 공지. Apache 라이선스 전환, ROS 2/cFS 템플릿 개선과 예제 추가, cFS CI 테스트, 여러 버그 수정. Hackage 및 Ubuntu/Debian 공식 저장소에서 이용 가능.
안녕하세요! Ogma 1.10.0 릴리스를 발표하게 되어 매우 기쁩니다! NASA의 Ogma는 로보틱스 및 비행 애플리케이션을 생성하는 임무 보증(mission assurance) 도구입니다. Ogma가 지원하는 사용 사례에는 Robot Operating System(ROS 2) 패키지 [3], NASA Core Flight System(cFS) 애플리케이션 [4], 그리고 FPrime [1](화성 헬리콥터에 사용된 소프트웨어 프레임워크)의 컴포넌트 생성이 포함됩니다. Ogma는 Space ROS 애플리케이션 [2]에서 모니터링을 위해 권장되는 솔루션 중 하나이기도 합니다. Ogma는 전적으로 Haskell로 작성되었으며, Copilot 언어 [5](NASA가 지원)와 BNFC [6] 등 기존 Haskell 생태계의 성과를 활용합니다. 모니터가 생성되어 시뮬레이터에서 비행하는 영상 등 더 자세한 내용은 다음을 참고하세요: https://github.com/nasa/ogma
릴리스에 대한 자세한 내용은 다음을 참고하세요: https://github.com/nasa/ogma/releases/tag/v1.10.0
릴리스 Ogma는 Hackage에서 여러 패키지 모음으로 배포됩니다. 진입점은 https://hackage.haskell.org/package/ogma-cli 입니다. 또한 Ubuntu와 Debian(testing)의 새로운 릴리스에서 해당 배포판의 공식 패키지 저장소를 통해 사용할 수 있습니다. Scott Talbert와 Debian Haskell Group 여러분께 감사드립니다.
코드 GitHub 저장소: https://github.com/nasa/ogma
앞으로의 계획 다음 릴리스는 2025년 11월 21일에 예정되어 있습니다. 현재 우리는 Ogma를 위한 GUI를 개발하고 있습니다. 이 GUI는 설계, 다이어그램, 요구사항, 배포와 관련된 모든 임무 데이터를 수집하고, 사용자가 설계와 요구사항을 정제하며, 정확성을 검증하고, 모니터와 전체 애플리케이션을 생성하고, 라이브 임무를 추적하며, 리포트를 생성하는 일을 쉽게 해 줄 것입니다. 또한 이제 Ogma와 Copilot 모두 외부 사용자의 기여를 받을 수 있음을 다시 한 번 알리고자 합니다. 학생들이 학업 프로젝트, 졸업 프로젝트와 학위 논문, 기타 연구에 이를 활용해 주시길 기대합니다. 협업에 관심이 있으시면 ivan.perezdominguez@nasa.gov 로 연락해 주세요.
여러분도 우리만큼 설레기를 바라며, 올바른 지원만 있다면 Haskell이 우리가 생각했던 것보다 훨씬 더 멀리 도달할 수 있음을 우리의 작업이 보여주길 바랍니다.
즐거운 하스켈링! Ivan
[1] https://github.com/nasa/fprime [2] https://space.ros.org/ [3] https://www.ros.org/ [4] https://github.com/nasa/cFS [5] https://github.com/Copilot-Language/copilot [6] https://github.com/BNFC/bnfc