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.

[1]  Richard P. Gabriel.  Draft report on requirements for a common prototyping system , 1989, SIGP.

[2]  H.-P. Gisiger,et al.  Execution of Ward's transformation schema on the graphic specification and prototyping tool specs , 1988, [Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools.

[3]  Dennis W. Leinbaugh.  Guaranteed Response Times in a Hard-Real-Time Environment , 1980, IEEE Transactions on Software Engineering.

[4]  P. Pulli,et al.  Graphical Prototyping of Tasking Behaviour , 1991 .

[5]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[6]  Paul T. Ward,et al.  The transformation schema: An extension of the data flow diagram to represent control and timing , 1986, IEEE Transactions on Software Engineering.

[7]  P. J. Pulli.  Real-time pattern matching technique for executable SA/RT specifications , 1990, COMPEURO'90: Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering@m_Systems Engineering Aspects of Complex Computerized Systems.

[8]  Petri Pulli,et al.  IPTES - Incremental Prototyping Technology for Embedded real-time Systems , 1992, Microprocess. Microprogramming.

[9]  Petri Pulli,et al.  Hard real-time prototyping of SA/RT specifications , 1991, Proceedings. EUROMICRO `91 Workshop on Real-Time Systems.

[10]  Petri Pulli.  Execution of structured analysis specifications with an object oriented Petri net approach , 1988, Proceedings. 1988 International Conference on Computer Languages.

[11]  V. Gafni.  A model for a hard real time system executive , 1988 .

[12]  Derek J. Hatley,et al.  Strategies for Real-Time System Specification , 1987 .

[13]  J. Dähler,et al.  A graphical tool for the design and prototyping of distributed systems , 1987, SOEN.

[14]  A. Pnueli,et al.  STATEMATE: a working environment for the development of complex reactive systems , 1988, [1988] Proceedings. The Third Israel Conference on Computer Systems and Software Engineering.

[15]  R. Budde,et al.  Approaches to Prototyping , 1984, Springer Berlin Heidelberg.