Skip to content

NAFEMS Americas 2026

UofA is being presented at NAFEMS Americas 2026 in the Simulation Process and Data Management track.

When
Wednesday, May 27, 2026 — 11:30 AM
Where
Room 102, SPDM Session 1
Conference
NAFEMS Americas 2026, St. Charles, MO
Track
Simulation Process and Data Management

The talk demonstrates UofA as the atomic evidence object inside simulation evidence pipelines. The session opens with two adjacent talks (Saha on PLM-driven CAE data governance, Ratsep on data-to-decision backbone for multidisciplinary CAE) that prime the audience with digital-thread and infrastructure framings. UofA is positioned as the per-COU artifact that flows through those pipelines with cryptographic integrity and machine-verifiable completeness.

The live demo runs from the frozen v0.7.1 tag against the bundled Morrison UofA packages (hand-authored from Morrison et al. 2019). Two uofa rules invocations and a uofa diff reproduce the slide-16 output: COU 1 = 11 weakeners across 5 patterns, COU 2 = 18 weakeners across 6 patterns including 2 COMPOUND-01 firings. Optional round-trip of the uofa extractuofa import pipeline against a synthetic evidence folder.

Composition of COU 1’s eleven, measured 2026-08-16 at catalog v0.5.15.1. Nine of the eleven are vacuous: COU 1 references its validation results as bare IRIs, and W-AL-01, W-AR-05 and W-EP-02 each test noValue(?result, …), so all three fire on every result for want of any property to read. COU 2 inlines its results and carries none of these — its 18 are substantive. The counts reproduce exactly as printed; the composition is stated because the COU1-vs-COU2 contrast is partly serialization rather than evidence adequacy. See /demo/nafems/.

The NASA-STD-7009B HPT-blade step has been withdrawn — the files it used are stored weakener reports, not UofA packages, so the command read back annotations rather than detecting them.

Step-by-step at /demo/.

The Simulation Process and Data Management track attracts attendees whose job is evidence flow, data governance, lifecycle integration, and digital thread — practitioners directly responsible for the last-mile problem UofA addresses. Cross-track networking targets include the Simulation Quality Assurance track and the Simulation Governance and Management Working Group.

Terminal window
git clone https://github.com/cloudronin/uofa
cd uofa
git checkout v0.7.1
pip install -e '.[excel]'
uofa rules packs/vv40/examples/morrison/cou1/uofa-morrison-cou1.jsonld --build
uofa rules packs/vv40/examples/morrison/cou2/uofa-morrison-cou2.jsonld
uofa diff packs/vv40/examples/morrison/cou1/uofa-morrison-cou1.jsonld \
packs/vv40/examples/morrison/cou2/uofa-morrison-cou2.jsonld

Slides will be posted here after the talk. The most-asked-likely questions and their prepared answers are tracked in the praxis presentation outline in the repository.

If you are attending NAFEMS and want to meet during the conference, the best path is to reach out via GitHub Discussions or the email listed on the speaker page.