Modeling and analysing DART systems through high-level Petri nets

  • Libero Nigro
  • Francesco Pupo
Full Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1091)


The work described in this paper is concerned with modeling and analysing distributed object-oriented real time (RT) systems, developed according to DART — Distributed Architecture for Real Time — which provides an object-oriented life cycle for RT systems. The paper first gives an overview of DART, then discusses the usefulness of mapping DART systems onto high level Petri nets as part of an iterative design process. The resultant framework is a modular operational model, based on a powerful Petri nets tool which delivers both the user-interface utilised for animation purposes and a set of mechanisms suited for the analysis of time-dependent behaviour.


real time scheduling analysis distributed systems object-orientation Petri nets animation executable specifications 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Bellettini C, Felder M Pezzè M. MERLOT: A Tool for Analysis of Real-Time Specifications, Proc. of 7th International Workshop on Software Specification and Design, Redondo Beach, CA, pp 110–119, 1993.Google Scholar
  2. 2.
    Beraldi R, Nigro L. Distributed Object oriented Simulation Environment: An implementation of Time Warp using PVM, Proc. of EUROSIM 95, Software Tools and Products Volume, Vienna, September, 1995.Google Scholar
  3. 3.
    Bruno G., Marchetto G. Process-Translatable Petri Nets for the Rapid Prototyping of Process Control Systems, IEEE Transactions on Software Engineering, vol. SE-12(2), 346–357, 1986.Google Scholar
  4. 4.
    Burns A., Wellings A J. Hrt-Hood: A Structured Design Method for Hard Real-Time Systems, Real Time Systems, 6(1):73–114, 1994.Google Scholar
  5. 5.
    Colnaric M. Real-Time System Architecture Design Guidelines, Proc. of Real Time '95, Ostrava (Cz Rep), 103–111, 1995.Google Scholar
  6. 6.
    Colnaric M, Verber D, Gumzei R, Halang W. Implementation of Hard Real-Time Embedded Control Systems, to appear on Real Time Systems.Google Scholar
  7. 7.
    Faulk S R, Parnas D L. On Synchronisation in Hard-Real-Time Systems, Communications of ACM, 31(3):274–287, 1988.Google Scholar
  8. 8.
    Gentleman W M. Message Passing Between Sequential Processes: the Reply Primitive and the Administrator Concept, Software-Practice and Experience, 11, 435–466, 1981.Google Scholar
  9. 9.
    Ghezzi C., Mandrioli D., Morasca S., Pezzè M. A. Unified High-Level Petri Net Model for Time Critical Systems, IEEE Transactions on Software Engineering, 17(2):160–172, 1991.Google Scholar
  10. 10.
    Ghezzi C., Morasca S., Pezzè M. Timing analysis of time basic nets, Journal of Systems and Software, 27(7):97–117, 1994.Google Scholar
  11. 11.
    Kemmerer R A. Testing formal specifications to detect design errors, IEEE Transactions on Software Engineering, vol. SE-11, 1985.Google Scholar
  12. 12.
    Kirk B. Real Time Protocol Design for Control Area Networks, Proc. of Real Time '95, Ostrava (Cz Rep), 251–268, 1995.Google Scholar
  13. 13.
    Kirk B., Nigro L. Distributed Architecture for Real Time, in Oberon-2, in Advances in Modular Languages, P. Shulthess (ed.), Universitatsverlag Ulm GmbH, Germany, 325–366, 1994.Google Scholar
  14. 14.
    Locke C D. Software architecture for hard real-time applications: cyclic executive vs. fixed priority executives, Real Time Systems, 4(1):37–53, 1992.Google Scholar
  15. 15.
    Nigro L.. A real time architecture based on Shlaer Mellor object lifecycles, Journal of Object Oriented Programming, 8(1):20–31, 1995.Google Scholar
  16. 16.
    Nigro L. Distributed Architecture for Real Time: an example using distributed measurement control, Proc. of Real Time '95, Ostrava (Cz Rep), 1–14, 1995.Google Scholar
  17. 17.
    Nigro L., Tisato F. RTO++: a framework for building hard real-time systems, Journal of Object Oriented Programming, 6(2):35–47, 1993.Google Scholar
  18. 18.
    Nigro L., Veneziano G., Control abstractions in Modula-2: a case study using advanced backtracking, Informatica, 18(2):229–243, 1994.Google Scholar
  19. 19.
    Pezzè M. Cabernet: A Customizable Environment for the Specification and Analysis of Real-Time Systems, Tech. Rep. 54-94, Polytechnic of Milan, 1994.Google Scholar
  20. 20.
    Reiser M., Wirth N. Programming in Oberon, Addison Wesley, ACM Press, 1992.Google Scholar
  21. 21.
    Shlaer S, Mellor S J. object Lifecycles — Modeling the world in states, Yourdon Press, 1992.Google Scholar
  22. 22.
    Stankovic J A. Misconceptions about real-time computing, IEEE Computer, 21(10):10–19, 1988.Google Scholar
  23. 23.
    Stankovic J A, Ramamritham K. Real-time computing systems: The next generation, Tutorial on Hard Real-Time Systems, Stankovic J A (ed.), IEEE Press, 14–37, 1988.Google Scholar
  24. 24.
    Tindell K., Burns A., Wellings A J. Analysis of Hard Real-Time Communications, Real Time Systems, 9(2):147–171, 1995.Google Scholar
  25. 25.
    Wirth N. A plea for lean software, IEEE Computer, 28(2):64–68, 1995.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Libero Nigro
    • 1
  • Francesco Pupo
    • 1
  1. 1.Dipartimento di Elettronica, Informatica e SistemisticaUniversità della CalabriaRendeItaly

Personalised recommendations