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
Certification-ready UI library for safety-critical products. ISO 26262, IEC 62304, IEC 61508, DO-178C. Available for preview, full release in 2026 Q4.
IEC-61508 implementation for ESP32 freeRTOS
Generates event tree graph from the components failure modes.
A deterministic, zero-dynamic-memory, and MISRA-C:2012 compliant FIFO queue implementation written in pure C.
AI-Native CPS Safety Framework | Constrained Architecture | Deterministic Compiler | Safety-Critical Systems | symbolic ai | IoT Security | Embedded Systems | Formal Verification | YAML-driven | VETO-first
To associate your repository with the iec61508 topic, visit your repo's landing page and select "manage topics."