Graphical animation as a form of prototyping real-time software systems

An analysis of prototyping of embedded Real-Time Systems by means of graphical animation techniques is presented. We analyze the fundamental characteristics of prototyping and their relation to animation mechanisms. We show that animation strongly inherits certain benefits of prototyping while at the same time animation is able to alleviate some of the drawbacks of prototyping. A survey of known visualization techniques for real-time system animation is presented with an assessment to their relative strengths and weaknesses. Finally, the animation approach taken in Esprit project no. 5570, IPTES, is described. Our approach is unique in enabling animation of heterogeneous system models, i.e., combinations of submodels belonging to different levels of abstraction.

[1]  Michael Andersen,et al.  An executable subset of VDM-SL in an SA/RT framework , 2005, Real-Time Systems.

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

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

[4]  Frederick P. Brooks,et al.  No Silver Bullet: Essence and Accidents of Software Engineering , 1987 .

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

[6]  Alejandro Alonso,et al.  The IPTES environment: Support for incremental, heterogeneous and distributed prototyping , 2005, Real-Time Systems.

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

[8]  R. Blumofe,et al.  Executing real-time structured analysis specifications , 1988, SOEN.

[9]  Alejandro Alonso,et al.  Distributed execution of specifications , 2005, Real-Time Systems.

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

[11]  Anthony I. Wasserman,et al.  The object-oriented structured design notation for software design representation , 1990, Computer.

[12]  Darrel C. Ince,et al.  Software prototyping, formal methods, and VDM , 1988 .

[13]  Roland Vonk.  Prototyping - the effective use of CASE technology , 1989 .

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

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

[16]  Carlo Ghezzi,et al.  High-Level Timed Petri Nets as a kernel for executable specifications , 1993, Real-Time Systems.

[17]  Heinrich C. Mayr,et al.  Prototyping Interactive Application Systems , 1984 .

[18]  Paul Ward,et al.  Structured Development for Real-Time Systems , 1986 .

[19]  Bruce I. Blum.  The life cycle: a debate over alternate models , 1982, SOEN.

[20]  Maryam Alavi,et al.  An assessment of the prototyping approach to information systems development , 1984, CACM.

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

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

[23]  Hassan Gomaa.  A software design method for distributed real-time applications , 1989, J. Syst. Softw..

[24]  Mark Weiser.  Scale models and rapid prototyping , 1982 .

[25]  C. Floyd.  A Systematic Look at Prototyping , 1984 .

[26]  Barry W. Boehm,et al.  Prototyping Versus Specifying: A Multiproject Experiment , 1984, IEEE Transactions on Software Engineering.

[27]  Hassan Gomaa,et al.  Prototyping as a tool in the specification of user requirements , 1981, ICSE '81.

[28]  Carlo Ghezzi,et al.  A Unified High-Level Petri Net Formalism for Time-Critical Systems , 1991, IEEE Trans. Software Eng..

[29]  Petri Pulli,et al.  IPTES: A concurrent engineering approach for real-time software development , 1993, Real-Time Systems.

[30]  Dennis Shasha,et al.  The many faces of consensus in distributed systems , 1992, Computer.

[31]  W. J. Kubitz,et al.  Biting the silver bullet: toward a brighter future for system development , 1992 .

[32]  Carlo Ghezzi,et al.  A Unified High-level Petri Net Model for Time Critical Systems , 1991 .

[33]  Mauro Pezzè,et al.  Giving semantics to SA/RT by means of high-level timed Petri nets , 1993, Real-Time Systems.