Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Poster

MBAL—The Model-based Assurance Lab

  • October 2016
  • By Robert V. Binder
  • 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.

  • Download