Skip to main content
SpringerLink
Log in

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

  • Published:
Real-Time Systems Aims and scope Submit manuscript

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Alavi, M. 1984. An assessment of prototyping approach to information systems development.Communication of the ACM, 27(6): 91–98.

    Google Scholar 

  • Athena Systems. 1989. Foresight: Modeling and Simulation Toolset for Real-Time System Development, User's Manual. Athena Systems Inc.

  • Blum, B. 1982. The life cycle—A debate over alternate models.ACM Sigsoft Software Engineering Notes, 7(4): 18–20.

    Google Scholar 

  • Blumofe, R. and Hecht, A. 1989. Executing real-time structured analysis specifications.ACM Sigsoft Software Engineering Notes, 13(3): 32–40.

    Google Scholar 

  • Boehm, B., Gray, T., and Seewalt, T. (1984). Prototyping versus specifying: A multiproject experiment.IEEE Transactions on Software Engineering, 10(3): 290–302.

    Google Scholar 

  • Boehm, B. 1988. A spiral model of software development and enhancement.IEEE Computer, 21(5): 61–72.

    Google Scholar 

  • Brooks, F.P. Jr. 1987. No silver bullet: Essence and accidents of software engineering.IEEE Computer, 20(4): 10–19.

    Google Scholar 

  • Cadre Technologies. 1990. Teamwork/SIM. User's Guide. Release 4.0. Cadre Technologies, Inc., Part Number D048XX4A.

  • Canning, R. 1981. Developing systems by prototyping,EDP Analyzer, 19(9): 1–14.

    Google Scholar 

  • Dähler, J., Gerber, B., Gisinger, H.-P., and Kündig, A. 1987. A graphical tool for the design and prototyping of distributed systems.ACM Software Engineer Notes, 7(12): 25–36.

    Google Scholar 

  • Diaz-Gonzales, J.P. and Urban, J.E. 1987. ENVISAGER: A visual, object-oriented specification environment for Real-Time Systems.Proceedings of the Fourth International Workshop on Software Specification and Design, Monterey, CA. Washington, D.C.: IEEE Computer Society Press, pp. 13–20.

    Google Scholar 

  • Elmstrøm, R., Lintulampi, R. and Pezzé, M. 1993. Giving semantics to SA/RT by means of high-level timed Petri nets.Real-Time Systems, 5(2/3): 249–271.

    Google Scholar 

  • Elmstrøm, R., Lassen, P.B., and Andersen, M. 1993. An executable subset of VDM-SL, in an SA/RT framework.Real-Time Systems, 5(2/3): 197–211.

    Google Scholar 

  • Felder, M., Ghezzi, C., and Pezzé, M. 1993. High-level timed Petri nets as a kernel for executable specification.Real-Time Systems, 5(2/3): 235–248.

    Google Scholar 

  • Floyd, C. 1984. A systematic look at prototyping. In (Budde, R., Kuhlenkamp, K., Mathiassen, L., and Züllinghoven, H. eds.),Approaches to Prototyping, Berlin: Springer-Verlag, pp. 1–18.

    Google Scholar 

  • Gabriel, R.P. (editor). 1989. Draft report on requirements for a common prototyping system.ACM Sigplan Notices, 24(3): 93–165.

    Google Scholar 

  • Ghezzi, G., Mandrioli, D., Morasca, S., and Pezzé, M. 1991. A unified high-level Petri net model for time-critical systems.IEEE Transactions on Software Engineering 17(2): 160–172.

    Google Scholar 

  • Gomaa, H. and Scott, D. 1981. Prototyping as a tool in the specification of user requirements.Proceedings of the 5th International Conference on Software Engineering, San Diego, California. Washington, DC: IEEE Computer Society Press, pp. 333–342.

    Google Scholar 

  • Gomaa, H. 1989. A software design method for distributed real-time applications.The Journal of Systems and Software, 9(2): 81–94.

    Google Scholar 

  • Harel, D. 1987. StateCharts: A visual formalism for complex systems.Science of Computer Programming, 8(3): 231–274.

    Google Scholar 

  • Harel, D., Lachover, H., Naamad, A., Pnueli, A., Politi, M., Sherman, R., Shtull-Trauring, A., and Trakhtenbrot, M. 1990. STATEMATE: A working environment for the development of complex reactive systems.IEEE Transactions on Software Engineering, 16(4): 403–414.

    Google Scholar 

  • Harel, D. 1992. Biting the silver bullet—Towards a brighter future for system development.IEEE Computer, 25(1): 8–20.

    Google Scholar 

  • Hatley, D.J. and Pirbhai, I.A. 1987.Strategies for Real-Time System Specification. New York: Dorset House.

    Google Scholar 

  • Hekmatpour, S. and Ince, D. 1988.Software Prototyping, Formal Methods and VDM. Reading, MA: Addison-Wesley.

    Google Scholar 

  • León, G., de la Puente, J.A., Dueñas, J.C., Alonso, A., and Zakhama, N. 1993. The IPTES environment: Support for incremental, heterogeneous and distributed prototyping.Real-Time Systems, 5(2/3): 153–171.

    Google Scholar 

  • Lintulampi, R. and Pulli, P. 1992. Graphical prototyping of tasking behavior. In: (Halang, W.A. and Ramamritham, K. eds.).Real-Time Programming, pp. 45–49, IFAC Workshop Series, Oxford: Pergamon Press.

    Google Scholar 

  • Mayr, H.C., Bever, M., and Lockemann, P.C. 1984. Prototyping interactive application systems. In: (Budde, R., Kuhlenkamp, K., Mathiassen, L., and Züllinghoven, H. eds.),Approaches to Prototyping, pp. 105–121, Berlin: Springer-Verlag.

    Google Scholar 

  • de la Puente, J.A., Alonso, A., León, G., and Dueñas, J.C. 1993. Distributed execution of specifications.Real-Time Systems, 5(2/3): 213–234.

    Google Scholar 

  • Pulli, P., Elmstrøm, R., León, G., and de la Puente, J.A. 1991. IPTES—Incremental Prototyping Technology for Embedded Real-Time Systems. InESPRIT Information Processing Systems and Software, Results and Progress of Selected Projects 1991. pp. 497–512, Esprit, Commission of the European Communities.

  • Pulli, P. and Elmstrøm, R. 1993. IPTES: A concurrent engineering approach for real-time software development.Real-Time Systems, 5(2/3): 139–152.

    Google Scholar 

  • Vonk, R. 1990.Prototyping—The Effective Use of CASE Technology. Englewood Cliffs, NJ: Prentice Hall.

    Google Scholar 

  • Ward, P.T. and Mellor, S.J. 1985–1986.Structured Development of Real-Time Systems. Volumes 1–3, New York: Yourdon Press.

    Google Scholar 

  • Ward, P.T. 1986. The transformation schema: An extension of the data flow diagram to represent control and timing.IEEE Transactions on Software Engineering, SE-12(2): 198–210.

    Google Scholar 

  • Wassermann, A.I, Pircher, P.A., and Muller, R.J. 1990. The object-oriented structured design notation for software design representation.IEEE Computer, 23(3): 50–63.

    Google Scholar 

  • Weiser, M. 1982. Scale models and rapid prototyping.ACM Sigsoft Software Engineering Notes, 7(5): 181–185.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Technology Laboratory, Technical Research Centre of Finland (VTT), P.O. Box 201, SF-90571, Oulu, Finland

    P. Pulli, M. Heikkinen & R. Lintulampi

Authors
  1. P. Pulli
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. M. Heikkinen
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. R. Lintulampi
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Pulli, P., Heikkinen, M. & Lintulampi, R. Graphical animation as a form of prototyping real-time software systems. Real-Time Syst 5, 173–195 (1993). https://doi.org/10.1007/BF01088587

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01088587

Keywords

Search

Navigation