Abstract

Simulation results form basis for the validation and verification of Real-Time Reactive systems design. The high complexity of such systems brings sophisticated simulation results that are difficult to understand. The way of presenting those results will have a great effect on the usability of the simulation tools. This thesis addresses the design and implementation of a visualization animation tool that will improve the usability of TROMLAB Framework, a rigorous real-time reactive systems development environment being built in the Department of Computer Science, Concordia University. The new tool uses graphical representation and animation to present the simulation results produced by TROMLAB tools. Also, The thesis introduces new guidelines for improving the understandability of real-time reactive simulation results. Furthermore, the thesis presents a solution for the Steam Boiler Controller case study, a benchmark problem for Real-Time Reactive studies, far the first time using TROMLAB formalism.