Wiki - https://fedoraproject.org/wiki/Changes/Copilot_Runtime_Verification_Framework Discussion thread - https://discussion.fedoraproject.org/t/f42-change-proposal-copilot-runtime-verification-framework-self-contained/146848 This is a proposed Change for Fedora Linux. This document represents a proposed Change. As part of the Changes process, proposals are publicly announced in order to receive community feedback. In this instance, this proposal has been previewed by the Fedora Engineering Steering Committee and members of Fedora QA as it is a late change, https://pagure.io/fesco/issue/3367, and has been provisionally approved as acceptable for F42 release, pending community feedback. If any feedback is received that alters the change proposal in a significant way, it will be resubmitted to FESCo for a further review and vote. == Summary == [https://copilot-language.github.io/ Copilot Language and Runtime Verification System] is a stream-based runtime-verification framework for generating hard real-time C code. == Owner == * Name: [[User:fdedden|Frank Dedden]] * Email: <frank@xxxxxxxxxxx> * Name: [[User:Petersen|Jens Petersen]] * Email: <petersen@xxxxxxxxxx> == Detailed Description == Copilot is a realtime programming language and Runtime Verification framework, developed for NASA. It allows users to write concise programs in a simple but powerful way using a stream-based approach. Programs can be interpreted for testing, or translated C99 code to be incorporated in a project, or as a standalone application. The C99 backend ensures us that the output is constant in memory and time, making it suitable for systems with hard realtime requirements. == Feedback == == Benefit to Fedora == This is a new feature in Fedora which will of interest to those developing specific critical embedded systems requiring a high level of software assurance. == Scope == * Proposal owners: ** build the copilot stack for Rawhide/F42: version 3.19 is packaged [done] * Other developers: * Release engineering: [https://pagure.io/releng/issues #Releng issue number] * Policies and guidelines: N/A (not needed for this Change) * Trademark approval: N/A (not needed for this Change) * Alignment with the Fedora Strategy: == Upgrade/compatibility impact == == Early Testing (Optional) == == How To Test == * `sudo dnf install ghc-copilot-devel` * follow the documentation below for tutorial examples == User Experience == Users will be able to easily install the Copilot verification framework and test it. == Dependencies == == Contingency Plan == * Contingency mechanism: N/A (not a System Wide Change) * Contingency deadline: N/A (not a System Wide Change) * Blocks release? N/A (not a System Wide Change) == Documentation == * https://copilot-language.github.io/documentation.html * https://github.com/Copilot-Language/copilot * https://ntrs.nasa.gov/citations/20240010993 == Release Notes == -- Aoife Moloney Fedora Operations Architect Fedora Project Matrix: @amoloney:fedora.im IRC: amoloney -- _______________________________________________ devel-announce mailing list -- devel-announce@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-announce-leave@xxxxxxxxxxxxxxxxxxxxxxx Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/devel-announce@xxxxxxxxxxxxxxxxxxxxxxx Do not reply to spam, report it: https://pagure.io/fedora-infrastructure/new_issue -- _______________________________________________ devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/devel@xxxxxxxxxxxxxxxxxxxxxxx Do not reply to spam, report it: https://pagure.io/fedora-infrastructure/new_issue
