search menu icon-carat-right cmu-wordmark

MBAL—The Model-based Assurance Lab

October 2016 Poster
Robert V. Binder

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.