MidGARD

Model‑Initiated di-Graph Analysis for Regression Deployment

MidGARD is a model-driven test-generation system designed in collaboration with SanDisk to support regression testing for storage firmware. The system analyzes formal TLA+ specifications and converts model behavior into structured, reproducible test sequences. By helping automate part of the test-creation process, MidGARD is intended to reduce manual engineering effort, improve coverage consistency, and support stronger firmware validation workflows.

View Full Project Description

Project Progress

MidGARD is currently in the requirements, architecture, and early implementation phase. The team has completed initial planning and feasibility work and is preparing for full pipeline development and sponsor testing.

50%

Current status: Requirements and design completed; implementation and integration work in progress.

Project At a Glance

Team

Odin
Northern Arizona University

Sponsor

SanDisk
Storage firmware validation and testing

Project Focus

Generating structured regression test sequences from formal TLA+ specifications.