search menu icon-carat-right cmu-wordmark

MBAL—The Model-based Assurance Lab

Model-based testing reference environment for real-time reactive systems.

Software Engineering Institute


The Model-based Assurance Lab is a reference environment expected to improve cyber-physical system reliability by 10x and cut testing cycle time by half.

Although hardware-in-the-loop (HIL) is widely used for virtualization, testing is often limited to hand-coded test scripts and primitive test asset management. MBAL integrates MBT (model-based testing), HIL, and model-based systems engineering (MBSE).