Hard real-time prototyping of SA/RT specifications

Preliminary results with an experimental prototyping toolset are reported. The Espex toolset is designed for graphics-based animation and real-time execution of Ward & Mellor Structured Analysis for Real-Time Systems (SA/RT) specifications. The computational model underlying the toolset is based on mapping SA/RT modeling elements to high level Petri nets. For execution of these SA/RT models a variety of scheduling algorithms have been developed. The authors focus their attention on experiments with deadline-based scheduling. They have built two tools for execution of SA/RT models: a graphical animator and a hard real-time prototyper tool. The graphical animator tool is used for building the model, for logically validating the model, and for attaching physical attributes to the model. The hard real-time prototyper tool is used for execution of the model at real-time speeds with either a real or a simulated environment.<<ETX>>

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

[2]  Paul T. Ward.  Embedded behavior pattern languages: a contribution to a taxonomy of case languages , 1988, [1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track.

[3]  Luqi.  Rapid prototyping for large Ada software system design , 1986 .

[4]  Linda Shafer,et al.  Structured rapid prototyping - an evolutionary approach to software development , 1989, Yourdon Press Computing series.

[5]  Barry W. Boehm,et al.  Software Engineering Economics , 1993, IEEE Transactions on Software Engineering.

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

[7]  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.

[8]  Barry W. Boehm,et al.  A spiral model of software development and enhancement , 1986, Computer.

[9]  Vered Gafni.  A tasking model for reactive systems , 1989, [1989] Proceedings. Real-Time Systems Symposium.

[10]  Petri Pulli,et al.  Graphics based prototyping of real-time systems , 1990, [1990 Proceedings] The First International Workshop on Rapid System Prototying.

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

[12]  Stephen R. Savitzky.  Real-Time Microprocessor Systems , 1985 .

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

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

[15]  Aloysius K. Mok,et al.  Modeling and Scheduling of Dataflow Real-Time Systems , 1985, RTSS.

[16]  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.

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

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

[19]  Paul Ward,et al.  Structured development for real-time systems. Vol.3: Implementation modeling techniques , 1986 .

[20]  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.

[21]  Aloysius Ka-Lau Mok,et al.  Fundamental design problems of distributed systems for the hard-real-time environment , 1983 .

[22]  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.