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

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

This repository houses my PhD Thesis work

Julia framework for bowtie risk modeling with event-chains, escalation factors, and Monte Carlo simulation

A fast, elegant & free Event Tree Analysis (ETA) utility powered by 🤖 Godot and 🦀 Rust.

NLP pipeline for classifying unstructured "Near-Miss" (Hiyari-Hatto) reports. Uses TF-IDF & statistical classification to structure ambiguous safety data for risk analysis. ⚠️ 📊

Curated failure patterns for code review, architecture decisions, and incident analysis. Claude Code Skill compatible.

A fast, elegant & free ETA analysis utility

A practical safety and recovery design package for AI / LLM-based control systems. Defines where AI can be used, where it must be stopped, and how systems recover.

Agentic AI using Gemini 2.0 Flash Function Calling, enforcing 100% human-in-the-loop approval.

Toy governance CLI demo: deny-by-default “danger actions” gated by signed, expiring capability leases (global revoke-all + nonce revoke) plus guarded memory quarantine. Simulation-only: no real network/shell/files. Includes tripwire + tests to prevent misuse.

A multi-agent safety engineering framework that subjects systems to adversarial audit. Orchestrates specialized agents (Engineer, Psychologist, Physicist) to find process risks and human factors.

Foundational architecture and doctrine for interoperable, autonomous cyber-physical production systems.

Modular middleware for emotional safety, symbolic transparency, and real-time drift prevention. From bind-aware routing to EU-ready ethics, LLOYD Preserver protects behavior, motifs, and trust in language systems.