Our great sponsors
Understanding these properties can get hard. Using a high level language as opposed to just C is very helpful (we review the code of flight systems with sometimes 4-5 people in the room and it's not trivial at all what it is doing or to show that it is correct). But even streams can sometimes be hard to understand for very complex monitors. We've also built Ogma (https://github.com/nasa/ogma) so that people can write properties in structured natural language, or transform other languages into Copilot (and then C/whatever).
A stream-based runtime-verification framework for generating hard real-time C code.
We are very happy to announce the release of Copilot 3.10. Copilot is a runtime verification system implemented as a Haskell DSL that generates hard-realtime C99. You can learn more about it at , .
Access the most powerful time series database as a service. Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression.
[ANN] NASA's Ogma 1.0.7
2 projects | reddit.com/r/haskell | 25 Feb 2023
[ANN] Summer Internship at NASA Ames Research Center
2 projects | reddit.com/r/haskell | 16 Feb 2023
[ANN] Copilot 3.12
3 projects | reddit.com/r/haskell | 14 Nov 2022
[ANN] Copilot 3.11
2 projects | reddit.com/r/haskell | 7 Sep 2022
ANN: NASA's Ogma
4 projects | reddit.com/r/haskell | 3 Dec 2021