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.
335 stars
13 watching
25 forks
Language: Haskell
last commit: 9 days 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 | 82 |
 plasma-umass/doppio | A JVM written in TypeScript designed to run on any device with a POSIX-compatible runtime system | 2,165 |
 nicepkg/gpt-runner | An AI-powered tool for managing and running AI presets in various software development environments. | 348 |
 henriwahl/nagstamon | A desktop monitoring tool that connects to multiple Nagios and other monitoring systems | 424 |
 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 | Automates code generation for control and status registers from human-readable specifications | 334 |
 pesos/grofer | A system and resource monitoring tool written in Golang. | 356 |
 nannyml/nannyml | An open-source Python library that enables post-deployment model performance estimation and monitoring without access to target labels. | 1,971 |
 getsavvyinc/savvy-cli | Automates creation and management of runbooks using natural language input and AI-powered generation | 310 |
 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. | 100 |