ogma
Runtime monitor generator
A tool for generating runtime monitors to ensure the safety and autonomy of complex systems
Generator of runtime monitors for flight and robotics applications.
338 stars
13 watching
26 forks
Language: Haskell
last commit: 4 months ago
Linked from 1 awesome list
assuranceautonomycfsembedded-systemsflight-softwarefprimerobot-operating-systemroboticsrosros2runtime-monitoringruntime-monitoring-systemruntime-verificationrvspace-rosspacecraft
matiassingers/awesome-readmeRelated projects:
| Repository | Description | Stars |
|---|---|---|
 spacemonkeygo/monitor | A tool for monitoring system resources and performance in real-time. | 174 |
| nasa/nasaaccess | Generates gridded ascii tables of climate and weather data needed to drive hydrological models | 83 |
 plasma-umass/doppio | A JVM written in TypeScript designed to run on any device with a POSIX-compatible runtime system | 2,167 |
 nicepkg/gpt-runner | An AI-powered tool for managing and running AI presets in various software development environments. | 351 |
 henriwahl/nagstamon | A desktop monitoring tool that connects to multiple Nagios and other monitoring systems | 429 |
 maxcnunes/gaper | A tool that monitors and restarts a Go project after it crashes or when specific files change. | 81 |
 g-sam/polly | A microcontroller-based air pollution sensor project that uses serial communication with an ESP-based board to monitor particulate levels. | 12 |
 rggen/rggen | Automatically generates source code for control and status registers (CSRs) from human-readable register map specifications. | 341 |
 pesos/grofer | A system and resource monitoring tool written in Golang. | 357 |
 nannyml/nannyml | An open-source Python library that enables post-deployment model performance estimation and monitoring without access to target labels. | 1,998 |
 getsavvyinc/savvy-cli | Automates workflows from terminal commands and shell history | 320 |
 simonwaldherr/fsagent | Automates file system actions in response to changes | 15 |
 tevjef/go-runtime-metrics | A tool for collecting and reporting Go runtime metrics to InfluxDB or other systems | 286 |
 delta456/ascii_robot | A library that generates ASCII art robots based on random inputs. | 13 |
 mkorpela/robomachine | Automates test generation based on user input and system behavior models. | 101 |