Validation and Verification (V&V) is an inherent and crucial part of model-based development (MBD). The inputs of V&V tools are typically design models specified by the domain experts in the form of block diagrams in model editors such as MATLAB/Simulink. Because V&V tools work only with the design models themselves, not with their graphical block diagram representation, it can be difficult to analyze the results of the V&V tasks and debug them in case of failures.

The goal of this work is to develop a viewer for BALROG (Block Abstraction Library Represented as Object Graph) models which shall visualize the underlying model data as block diagrams similar to the ones originally designed by the domain experts in the existing model editors such as MATLAB/Simulink. The viewer shall support visualization of various kinds of data such as V&V results and/or intermediate results internally produced by the V&V methods. The viewer shall be evaluated on a set of public BLADE (Block Library for Analysis and Design Evaluation) models and well as real-world models provided by Honeywell.