Research
UofA is the subject of a Doctor of Engineering praxis at George Washington University. The praxis defends three contributions:
- C1 — Credibility decision as a verifiable artifact (tamper-evident, PROV-DM provenance)
- C2 — Machine-enforceable evidence completeness via SHACL profiles
- C3 — Computable quality gates via Jena forward-chaining rules with weakener detection
A coverage methodology, validated against four published defeater taxonomies (Khakzad-Shahandashti, Gohar, Greenwell, Jarzębowicz-Wardziński), establishes that the catalog systematically engages with the prior art rather than assembling patterns ad hoc.
Case studies
Section titled “Case studies”| Case | Standard | Status |
|---|---|---|
| Morrison et al. (2019) — centrifugal blood pump | ASME V&V 40, FDA OSEL co-authored | Encoded. 2 COUs (CPB, VAD). 11 + 18 weakeners on v0.7.1; COU2 includes 2 compound firings. |
| HPT blade conjugate heat transfer | NASA-STD-7009B | Encoded. 2 COUs (take-off transient, cruise steady-state). |
| Nagaraja et al. (2024) — pedicle screw FEA | ASME V&V 40 | In progress. Target May 2026. |
| FDA VICTRE pipeline | ASME V&V 40 | Deferred post-defense. |
Defense and book
Section titled “Defense and book”| Milestone | Target |
|---|---|
| Praxis defense | October 2026 |
| JVVUQ paper(s) | September 2026 / January 2027 |
| Book — Credible Simulation: Machine-Verifiable Evidence for Regulated Industries | 2027 |
All project content — the tool, the methodology, and the book companion materials — lives at uofa.net.
Upcoming presentations
Section titled “Upcoming presentations”| Event | Date | Topic |
|---|---|---|
| NAFEMS Americas 2026 | May 27–29, 2026 | UofA construct + Morrison + aerospace cross-domain |
| INCOSE Seattle chapter | Post-NAFEMS, with Debra Coleman (Boeing) | Aerospace and DO-178C |
Acknowledgments
Section titled “Acknowledgments”Advisor: Dr. Fredrick A. Turman (GWU adjunct, Systems Engineering / Engineering Management; INCOSE CSEP, licensed PE, PMP).