Using Naives Bayes Classifier to predict Safeguard Categories in Industrial Risk Study, like HAZOP and LOPA.
-
Updated
Apr 21, 2026 - Jupyter Notebook
Using Naives Bayes Classifier to predict Safeguard Categories in Industrial Risk Study, like HAZOP and LOPA.
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.
Computation of minimal cutsets using MOCUS Algorithm
IEC-61508 implementation for ESP32 freeRTOS
A deterministic, zero-dynamic-memory, and MISRA-C:2012 compliant FIFO queue implementation written in pure C.
Generates event tree graph from the components failure modes.
AI-Native CPS Safety Framework | Constrained Architecture | Deterministic Compiler | Safety-Critical Systems | symbolic ai | IoT Security | Embedded Systems | Formal Verification | YAML-driven | VETO-first
Add a description, image, and links to the iec61508 topic page so that developers can more easily learn about it.
To associate your repository with the iec61508 topic, visit your repo's landing page and select "manage topics."