Color-based visualisation of hard real-time prototyping

Experiments with color-based visualisation of hard-real time system execution with deadline scheduling discipline are reported. We have built two tools for execution of Ward&Mellor Structured Analysis for Real-Time Systems (SA/RT) specifications. A graphical animaiion tool is used for building the model, for logically validating the model, and for attaching physical attributes to the model. A hard real-time prototyper tool is used for executing and monitoring the model at real-time speeds. The computational model underlying the toolset is based on mapping SA/RT modeling elements to high level Petri nets.