iec61508 话题在 GitHub 上没有填写简介，这里按 Star 数汇总最相关的热门仓库。
Deterministic semantic linter and PR reviewer for IEC 61131-3 Structured Text. 80 checks across diff-based, static integrity, FB-instance, PLCopen, MISRA-C, IEC 61508/62443 mappings. Plus --metrics mode (complexity, nesting, dead code). CI-native, vendor-neutral, no LLM. Runs as a GitHub Action, GitLab CI job, or local CLI.
Using Naives Bayes Classifier to predict Safeguard Categories in Industrial Risk Study, like HAZOP and LOPA.
Certification-ready UI library for safety-critical products. ISO 26262, IEC 62304, IEC 61508, DO-178C. Available for preview, full release in 2026 Q4.
使用MOCUS算法计算最小割集
Functional safety software framework for AVR SD microcontrollers. ISO 26262 ASIL C and IEC 61508 SIL 2 compliant, supports IEC 60730 Class B and Class C. Free source code.
IEC-61508 implementation for ESP32 freeRTOS
Generates event tree graph from the components failure modes.
ZenOS – A C++11 deterministic RTOS for ARM Cortex‑M with a 100μs tick, zero heap. Purpose‑built for medical (IEC 62304) and industrial (IEC 61508) safety‑critical systems with compile‑time enforcement and hardware protection.
A deterministic, zero-dynamic-memory, and MISRA-C:2012 compliant FIFO queue implementation written in pure C.