Project Description

ReLiANT is a specification-driven testing workflow for NVMe validation. The project combines formal modeling, executable trace generation, and controlled hardware execution into one repeatable pipeline.

Problem and motivation. NVMe devices expose complex behaviors, and the most important edge cases are often the hardest to reach and reproduce. Our client needs a way to describe intended behavior precisely and test real hardware consistently.

Our approach. We write formal specifications that capture valid sequences and constraints. We generate concrete traces from those specifications, translate them into NVMe commands, and execute them with logging and safeguards so each run is repeatable and easy to analyze.

The initial concept for this project was provided by our client, in the form of a Capstone project proposal. This site explains what we actually designed and produced through collaboration.

Context

ReLiANT supports a workflow that starts with correctness and ends with useful device feedback. The focus is on confidence, reproducibility, and operator safety while keeping the tooling simple to operate.