All software
Aviator
Aviator is a web service facilitating easy surveillance of scientific online tools. It currently checks more than 13,000 websites twice a day for availability and saves numerous features (response time, RAM usage security certificates, analytic tools / trackers, etc.) in a FAIR data repository.
- Data Visualization
- FAIR Data
- FAIR Software
- + 8
- Python
- HTML
- JavaScript
- + 5
SARvey - survey with SAR
Open-source InSAR time series analysis software developed within the project SAR4Infra. SARvey aims to analyze InSAR displacement time series for engineering applications.
- displacement
- engineering
- InSAR
- + 6
- Python
- Makefile
- Shell
TBT-Segmentation
Our tool uses Temporal Behavior Trees (TBT), a novel formalism for monitoring specifications, to segment traces provided as CSVs. Developers input a trace, and the tool analyzes it using a TBT to identify which parts of the software worked and which didn’t, aiding in system analysis and debugging.
- CPS
- Formal Specification
- monitoring
- + 2
- Rust
- Python
- Shell
- + 2
LLview
LLview is a set of software components to monitor clusters that are controlled by a resource manager and a scheduler system.
- High performance computing
- hpc
- monitoring
- + 2
- Perl
- Python
- Shell
RTLola Frontend
A frontend to parse and analyze RTLola specifications
- Formal Methods
- Frontend
- monitoring
- + 2
- Rust
- Shell
RTLola Interpreter
An interpreter for RTLola specifications
- Formal Methods
- Interpreter
- monitoring
- + 1
- Rust
- Python
- Shell