Abstract
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.
Original language | English |
---|---|
Title of host publication | 4th Euromicro Workshop on Real-Time Systems |
Publisher | IEEE Institute of Electrical and Electronic Engineers |
Pages | 168-173 |
ISBN (Print) | 0-8186-2815-4 |
DOIs | |
Publication status | Published - 1992 |
MoE publication type | A4 Article in a conference publication |
Event | 4th Euromicro Workshop on Real-Time Systems - Athens, Greece Duration: 3 Jun 1992 → 5 Jun 1992 |
Conference
Conference | 4th Euromicro Workshop on Real-Time Systems |
---|---|
Country/Territory | Greece |
City | Athens |
Period | 3/06/92 → 5/06/92 |