NASA 요구사항 준수를 위한 감사 자동화와 도구 활용을 주제로, Copilot 및 Ogma 같은 Haskell 오픈 소스 프로젝트에서의 실무 접근과 자료를 공유하는 Haskell-Cafe 게시글.
제목: Haskell 프로젝트의 NASA 요구사항 준수 간소화에 대하여 - Haskell-Cafe
Haskell 프로젝트의 NASA 요구사항 준수 간소화에 대하여 - Haskell-Cafe - Haskell.org
===============
×
j: 다음 읽지 않은 메시지k: 이전 읽지 않은 메시지j a: 모든 스레드로 이동j l: 메일링 리스트 개요로 이동![]()
2025년 11월 11일 ‘25년 11월 11일
오전 12:56
안녕하세요, 혹시 관심 있으실 분들을 위해 “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
첨부파일:

1
경과(일 전)
1
마지막 활동(일 전)
댓글 0개
참여자 1명
HyperKitty(http://hyperkitty.readthedocs.org/) 버전 1.3.9로 구동됩니다.