Skip to main content
SpringerLink
Log in
Book cover

International Conference on Application and Theory of Petri Nets

ICATPN 1996: Application and Theory of Petri Nets 1996 pp 420–439Cite as

Modeling and analysing DART systems through high-level Petri nets

  • Full Papers
  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1091))

Abstract

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.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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. 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. 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. 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. Colnaric M. Real-Time System Architecture Design Guidelines, Proc. of Real Time '95, Ostrava (Cz Rep), 103–111, 1995.

    Google Scholar 

  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. Faulk S R, Parnas D L. On Synchronisation in Hard-Real-Time Systems, Communications of ACM, 31(3):274–287, 1988.

    Google Scholar 

  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. 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. 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. Kemmerer R A. Testing formal specifications to detect design errors, IEEE Transactions on Software Engineering, vol. SE-11, 1985.

    Google Scholar 

  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. 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. 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. 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. 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. 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. Nigro L., Veneziano G., Control abstractions in Modula-2: a case study using advanced backtracking, Informatica, 18(2):229–243, 1994.

    Google Scholar 

  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. Reiser M., Wirth N. Programming in Oberon, Addison Wesley, ACM Press, 1992.

    Google Scholar 

  21. Shlaer S, Mellor S J. object Lifecycles — Modeling the world in states, Yourdon Press, 1992.

    Google Scholar 

  22. Stankovic J A. Misconceptions about real-time computing, IEEE Computer, 21(10):10–19, 1988.

    Google Scholar 

  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. Tindell K., Burns A., Wellings A J. Analysis of Hard Real-Time Communications, Real Time Systems, 9(2):147–171, 1995.

    Google Scholar 

  25. Wirth N. A plea for lean software, IEEE Computer, 28(2):64–68, 1995.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Elettronica, Informatica e Sistemistica, Università della Calabria, I-87036, Rende, CS, Italy

    Libero Nigro & Francesco Pupo

Authors
  1. Libero Nigro
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Francesco Pupo
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jonathan Billington Wolfgang Reisig

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Nigro, L., Pupo, F. (1996). Modeling and analysing DART systems through high-level Petri nets. In: Billington, J., Reisig, W. (eds) Application and Theory of Petri Nets 1996. ICATPN 1996. Lecture Notes in Computer Science, vol 1091. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61363-3_23

Download citation

  • DOI: https://doi.org/10.1007/3-540-61363-3_23

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61363-3

  • Online ISBN: 978-3-540-68505-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation