Standard-agnostic compliance checker engine. 8-layer NLP pipeline (TF-IDF, graph analysis, ensemble classification, fuzzy matching) that maps any safety standard to any work product and generates compliance reports. Electron desktop app included.
A portfolio & reference project demonstrating safety-critical development using DO-178C workflow. Includes planning docs, requirements, traceability, MISRA-C code, tests, and certification evidence.
Free, open-source, browser-based tool for CE marking of machinery under the Machinery Regulation (EU) 2023/1230.
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
vismod is a highly configurable content scanning pipeline that aims to lower the setup and scanning cost of visual media scanning. It is intended to empower Trust and Safety teams to scan visual media quickly, efficiently, and to allow organizations to cast as wide of a proactive detection net as possible.
Autonomous self-improving multi-swarm AI platform with CRDT state, memory, simulation, execution governance, and verified repair loops.
The PSA Control Standard defines governance controls for deployed agentic systems.
LUMINA-30: non-binding boundary framework for preserving effective human refusal before irreversible AI consequences.
Concept-stage harbor-vessel retrofit architecture for berth-powered hydrogen generation from treated seawater, 350-bar storage, fuel-cell + battery hybrid power, layered safety/interlocks, and an auditable proof path for marine decarbonization decisions.
This repository houses my PhD Thesis work
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.
Governed AI abuse detection gateway for prompt-decomposition, policy-bypass, cross-session coordination, and capability-assembly attacks. Detects when low-risk fragments combine into restricted output, preserving evidence for human review.
FRAM (Functional Resonance Analysis Method) OWL2 Ontology - Formal semantic vocabulary for modeling socio-technical systems
Control-theoretic threat modeling for software. STPA/STPA-Sec applied to a repo or a design doc — control structure, countable UCA grid, loss scenarios, and a ranked backlog with probes. Offline, no keys, no telemetry.
Formal specification of the Event Tree Definition Language (ETDL) v1.0.0 — a declarative design-time DSL for reliability-aware event-driven business processes, modeling event trees (IEC 62502) and fault trees (IEC 61025) over AsyncAPI 3.0.
Architecture-complete green-hydrogen validation repo: safety-gated bench testing, gas verification, carbon/source accounting, BOMs, assembly walkthroughs, Gankyil-A A/B tests, and evidence receipts.
Engineering laws, principles and mental models for software developers — each with its counter-force, a field guideline, and a primary source. English / 日本語.
A React-based internship guidance and peer resource platform for students in the School of Resources and Safety Engineering, Central South University.
Agent-based simulation of emergency evacuation in university lecture halls — Master's Thesis, TU Clausthal 2025
Synthetic fail-closed execution gateway for paper/live boundary, risk gates, and human confirmation checks.
To associate your repository with the safety-engineering topic, visit your repo's landing page and select "manage topics."