Functional safety (ISO-26262) and ADAS

Project: Functional Safety of a Lane Assistance System | Udacity: Self-Driving Car Engineer Nanodegree

Ultimate Autonomous Driving Systems Safety Engineering free tool which covers UL 4600, ISO/TR 5083, ISO 26262, ISO 21448, ISO 21434 and ISO/PAS 8800 qualitative and quantitative analyses with an additional method to assess the risk on prototypes, called PAL from PAL 1 to PAL5

Udacity Self-Driving Car Nanodegree - Functional Safety Project

An ongoing & curated collection of awesome software best practices and techniques, libraries and frameworks, E-books and videos, websites, blog posts, links to github Repositories, technical guidelines and important resources about ISO 26262: Functional Safety Standard for Modern Road Vehicles in Cybersecurity.

Deterministic, bit-perfect AI inference for safety-critical systems

A production-grade battery prognostics framework integrating Physics-Informed Neural Networks (PINNs), Conformal Prediction, and Semi-Implicit Solvers.

Functional safety toolkit for AI-assisted development — ISO 26262, IEC 61508, IEC 60730, Automotive SPICE, MISRA-C:2012

Pipeline verification for certifiable-* ecosystem. Validates complete provenance chain from data through deployment with cryptographic binding verification. Hash-only and full replay modes.

Real-time tire-road friction identification for ABS/ESC using a physics-informed Burckhardt estimator (ESC-gradient analytic + Brent refinement) from sensor time-series data.

Portable MBSE domain agents for AI-assisted systems engineering

Deterministic runtime monitoring for safety-critical ML. Hash-chained audit ledger, drift detection (TV/JSD/PSI), COE policy enforcement, and tamper-evident logging. 253 tests passing.

Deterministic model packaging and cryptographic attestation for safety-critical ML deployment

Advanced multi-modal system for detecting falling humans using LWIR, NIR, and Ultrasonic fusion.

AI-powered code assistant for automotive embedded C/C++ development. Fine-tuned on AUTOSAR, CAN, and ISO 26262 standards.

Performance benchmarking for deterministic ML inference. Measures latency, throughput, WCET with cryptographic verification of bit-identity across platforms. 11,840 test assertions. Pure C99, no dynamic allocation. Part of the certifiable-* ecosystem for safety-critical AI.

Deterministic, certifiable model quantization (FP32→Q16.16) with formal error bounds and cryptographic proof certificates. Pure C99. Zero malloc. DO-178C/IEC 62304/ISO 26262 ready.

Deterministic data pipeline for safety-critical ML systems. Fixed-point arithmetic, Feistel shuffling, Merkle audit trails. Zero dynamic allocation. Certifiable for DO-178C, IEC 62304, ISO 26262. 142 tests passing.

The cryptographically proven ML pipeline.

Repository containing mixed files and archives