PyRank

Functional Safety Python Packages

Python packages with the GitHub topic functional-safety. Sorted by monthly downloads, with stars and forks.
QuantumLeaps
spexygen

Traceable specifications based on Doxygen

456 41 2
modelint
mi-flatland

Model text file + layout text file -> beautiful diagram

415 4 0
modelint
xuml-populate

Populate your modeled system into an Executable UML metamodel repository

349 1 1
WinterLabsHQ
maishac

Free & open-source MISRA C / CERT C / BARR-C compliance for embedded C — the vendor-neutral alternative to Polyspace, Helix QAC & Coverity's paid workflow. Agentic fix loop + MISRA Compliance:2020 audit evidence, from any IDE via MCP.

149 6 1
iamumairs
cutsets

Computation of minimal cutsets using MOCUS Algorithm

112 11 3
modelint
mi-mdb

A modeling language independent model debugger

95 0 0
modelint
xcm-populate

Populate your modeled system into an Executable UML metamodel repository

0 1 1