fret vs cFS

fret

A framework for the elicitation, specification, formalization and understanding of requirements. (by NASA-SW-VnV)

Suggest topics

Source Code

Suggest alternative

Edit details

cFS

The Core Flight System (cFS) (by nasa)

Suggest topics

Source Code

Suggest alternative

Edit details

SurveyJS - Open-Source JSON Form Builder to Create Dynamic Forms Right in Your App

With SurveyJS form UI libraries, you can build and style forms in a fully-integrated drag & drop form builder, render them in your JS app, and store form submission data in any backend, inc. PHP, ASP.NET Core, and Node.js.

surveyjs.io

featured

InfluxDB - Power Real-Time Data Analytics at Scale

Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

www.influxdata.com

featured

fret		cFS
	Project
6	Mentions	8
256	Stars	688
2.0%	Growth	2.2%
8.7	Activity	7.4
2 months ago	Latest Commit	9 days ago
JavaScript	Language	CMake
GNU General Public License v3.0 or later	License	Apache License 2.0

The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.

fret

Posts with mentions or reviews of fret. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-03-23.

[ANN] NASA's Ogma -- now with FPrime support
7 projects | /r/haskell | 23 Mar 2023

[5] https://github.com/NASA-SW-VnV/fret
[ANN] Copilot 3.12
3 projects | /r/haskell | 14 Nov 2022

Among others, Copilot has been used at the Safety Critical Avionics Systems Branch of NASA Langley Research Center for monitoring test flights of drones. It also serves as a runtime monitoring backend for the requirements elicitation tool FRET (https://github.com/NASA-SW-VnV/fret/), via Ogma (https://github.com/nasa/ogma).
FRET: A framework for the elicitation, specification, formalization and understanding of requirements
1 project | /r/tlaplus | 12 Dec 2021
Hacker News top posts: Dec 12, 2021
3 projects | /r/hackerdigest | 12 Dec 2021

Formal Requirements Elicitation Tool\ (3 comments)
Formal Requirements Elicitation Tool
1 project | news.ycombinator.com | 12 Dec 2021
ANN: NASA's Ogma
4 projects | /r/haskell | 3 Dec 2021

cFS

Posts with mentions or reviews of cFS. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-03-24.

NASA CoreFlight System (CFS)
1 project | news.ycombinator.com | 23 May 2023
Examples of excellently-written projects.
4 projects | /r/embedded | 24 Mar 2023
[ANN] NASA's Ogma -- now with FPrime support
7 projects | /r/haskell | 23 Mar 2023

[4] https://github.com/nasa/cFS
C programming jobs?
1 project | /r/C_Programming | 10 Jan 2023

I definitely recommend looking at https://github.com/nasa/cFS for some great pure C coding.
Resources for Space sector embedded programming
6 projects | /r/embedded | 30 Jun 2022

Nowadays there's a trend towards openness and reusability. There's frameworks like the NASA Core Flight System (cFS) and the NASA JPL F Prime framework. There's also workshops where all of us flight software engineers get together and discuss new research, trends etc: https://www.youtube.com/c/FlightSoftwareWorkshop
Ask HN: What open source projects go to space?
4 projects | news.ycombinator.com | 23 Feb 2022

Core Flight System (cFS) https://github.com/nasa/cFS
NASA has a lot of open source projects including a bunch that don't "go to space" but are used in space related projects (check each project for contributor guidelines):
https://github.com/nasa/openmct - web based mission control software
ANN: NASA's Ogma
4 projects | /r/haskell | 3 Dec 2021

Your best bet is probably to read the documentation of the project itself, as well as documentation from the associated projects FRET, Copilot (https://copilot-language.github.io/documentation.html, https://ntrs.nasa.gov/citations/20200003164), and cFS (https://github.com/nasa/cFS).

What are some alternatives?

When comparing fret and cFS you can also consider the following projects:

copilot - A stream-based runtime-verification framework for generating hard real-time C code.

fprime - F´ - A flight software and embedded systems framework

ogma

Open MCT - A web based mission control framework.

rust-brotli - Brotli compressor and decompressor written in rust that optionally avoids the stdlib

bnfc - BNF Converter

luos_engine - Open-source and real-time orchestrator for cyber-physical-systems, to easily design, test and deploy embedded applications and digital twins.

kubos - An open source platform for satellites

trick - Trick Simulation Environment. Trick provides a common set of simulation capabilities and utilities to build simulations automatically.