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.

Documents test-results inside Sphinx

Traceable specifications based on Doxygen

A process for Ada/SPARK software to meet ISO 26262

AutonomousGuy — AI skill prompts for embedded automotive engineers (AUTOSAR, MISRA, ISO 26262, ECU)

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

A portfolio & reference project demonstrating safety-critical development using DO-178C workflow. Includes planning docs, requirements, traceability, MISRA-C code, tests, and certification evidence.

Computation of minimal cutsets using MOCUS Algorithm

An virtual adaptive cruise control project that conforms to the ISO26262 standard

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 tox-plugin to document the setup of used virtual environments

Sphinx-Needs Functions for enterprise users

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.

Coveron code coverage instrumenter for C/C++ code.

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

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.