search menu icon-carat-right cmu-wordmark

MBAL—The Model-based Assurance Lab

Poster
Model-based testing reference environment for real-time reactive systems
Publisher

Software Engineering Institute

Abstract

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.