PyRank

Safety Critical Systems Python Packages

Python packages with the GitHub topic safety-critical-systems. Sorted by relevance, with stars and monthly downloads.
PKU-Alignment
safety-gymnasium

NeurIPS 2023: Safety-Gymnasium: A Unified Safe Reinforcement Learning Benchmark

8K 570 80
modelint
mi-mx

Model execution engine

5K 1 0
modelint
make-xuml-repo

Creates a model repository database from a Shlaer-Mellor Executable UML metamodel

3K 1 0
modelint
mi-flatland

Model text file + layout text file -> beautiful diagram

2K 4 0
modelint
xuml-populate

Populate your modeled system into an Executable UML metamodel repository

2K 1 1
CommonRoad
commonroad-crime

🚧 🚔 ⚠ Toolbox to compute Criticality Measures for Automated Vehicles

1K 15 2
modelint
mi-mdb

A modeling language independent model debugger

164 0 0