Haskell 프로젝트의 NASA 요구사항 준수 간소화에 대하여

안녕하세요, 혹시 관심 있으실 분들을 위해 “Towards Streamlining Auditing for Compliance with Requirements in Open-source Software at NASA”라는 논문을 공유드립니다. 이 논문은 지난 9월 AIAA/IEEE Digital Avionics Systems Conference(DASC)에서 발표했습니다. 논문은 여기에서 보실 수 있습니다: https://ntrs.nasa.gov/citations/20250006564

논문에서는 Copilot 프로젝트에서 NASA 소프트웨어 공학 요구사항을 준수하기 위해 자동화 도구를 어떻게 활용하는지 다룹니다. Copilot에서 따르는 프로세스는 Ogma 프로젝트에도 동일하게 적용되므로, 그 도구들은 Ogma에서도 사용할 수 있습니다. 논문에서 논의한 몇몇 세부사항(예: 이슈에서 코드까지의 추적성, 이슈 할당·리뷰·종결에 이르는 절차)은 저희 Github 페이지에 공개되어 있습니다(https://github.com/Copilot-Language/copilot, https://github.com/nasa/ogma). Copilot과 Ogma는 모두 Haskell로 작성되었고, 두 프로젝트의 진행 상황을 정기적으로 공유하고 있습니다.

논문의 요지는 git + GitHub 데이터를 결합해 최소한 제대로 일을 하고 있는지 자동으로 점검할 수 있다는 것입니다. 모든 소프트웨어 공학 요구사항을 전부 검사할 수는 없지만, 많은 유용한 점검을 자동으로 수행할 수 있습니다. 다소 곁가지이긴 하지만, Copilot과 Ogma를 개발할 때 우리가 얼마나 엄격해야 하는지, 그리고 이 Haskell 프로젝트들이 실제 비행에 사용될 수 있도록 어떤 프로세스가 필요한지 감을 드릴 수 있기를 바랍니다.

의견이 있으시면 contact@ivanperez.io 로 직접 연락 주시거나 Copilot 저장소의 디스커션을 통해 남겨 주세요: https://github.com/Copilot-Language/copilot/discussions

즐거운 하스켈링 되세요!

Ivan

첨부파일: