Adds needs/requirements to sphinx
This repository contains CodeQL queries and libraries which support various Coding Standards.
NaiveSystems Analyze is a static analysis tool for code security and compliance.
Traceable specifications based on Doxygen
AutonomousGuy — AI skill prompts for embedded automotive engineers (AUTOSAR, MISRA, ISO 26262, ECU)
A portfolio & reference project demonstrating safety-critical development using DO-178C workflow. Includes planning docs, requirements, traceability, MISRA-C code, tests, and certification evidence.
DIY PKI server: RK3328 ARM64 (Linux) + STM32 hardware TRNG via USB HID. CA ceremony, X.509 certs, FIPS 140-2 KAT, SDD contracts, REST API. Deployed on real hardware. Educational
Computation of minimal cutsets using MOCUS Algorithm
A beginner-friendly guide to ISO 26262 and functional safety in the automotive industry. This repo summarizes the core concepts, key processes, and safety activities from the standard in a clear and structured way.
A deep dive into automotive functional safety (ISO 26262:2018), from its philosophical foundations (Gödel incompleteness, Turing halting problem, Therac-25) to production-grade AUTOSAR C code. Built around an immune-system metaphor that maps every safety mechanism to a biological counterpart.
Certification-ready UI library for safety-critical products. ISO 26262, IEC 62304, IEC 61508, DO-178C. Available for preview, full release in 2026 Q4.
An virtual adaptive cruise control project that conforms to the ISO26262 standard
AUTOSAR Classic BSW concepts (COM, DEM, SchM, RTE) implemented from scratch on STM32F4 + FreeRTOS. Demonstrates EPS race condition and its implicit RTE solution.
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.
Sphinx-Needs Functions for enterprise users
This repository holds work completed by myself and the research group at McSCert to bring to life our idea of modelling safety engineering process to generate assurance cases directly from engineering process
To associate your repository with the iso26262 topic, visit your repo's landing page and select "manage topics."