Skip to main content
SpringerLink
Log in

Static Models and Simulation Engine for Time-Analysis and Verification of Mission-Critical Distributed Systems

  • Conference paper
Real Time Computing

Part of the book series: NATO ASI Series ((NATO ASI F,volume 127))

  • 214 Accesses

Abstract

A method and a simulation engine for predicting temporal behaviours of time-life critical distributed processes are suggested in the following. Dynamic systems and the maximum parallel model are specially considered while the concept of local time is emphasized. The proposed method is based on timed concurrent direct graphs as a model for representing task objects and types. Some arcs of such a graph are labelled by duration values. These values depend on both the assumed behaviour paradigm and the hard/soft execution platforms. The proposed simulation engine is a tool for extracting timeliness from a system of timed concurrent d-graphs. For this aim, graphs are concurrently explored by the simulator and a virtual local time is associated with each graph exploration. Duration labels of explored arcs are then used to update local times and to predict the expected behaviours of the application system. Relevant information produced by the simulator includes timing of events, and the partitioning of the application behaviours into initial, periodic, transient and completion phases (both in the worst and the best behaviour paradigms).

This work was partially supported by the “Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo” of CNR (I) under grant No. 90.00705.PF69

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. C. Andre, M. Peraldi, Hard Real-Time System Implementation on a Microcontroller, Proc. of IFAC-IFIP Int. Workshop Real-Time Programming, Bruges, Belgium, June 1992.

    Google Scholar 

  2. L. Bic, A.C. Shaw, Logical Design of Operating Systems, Prentice Hall, 1988.

    Google Scholar 

  3. V.R. Basili, G. Caldiera, and G. Cantone, A Reference Architecture for the Component Factory, ACM-TOSEM, Vol. 1, No. 1, 1992.

    Google Scholar 

  4. G. Bruno, M. Marchetto, Process-translable Petri Nets for the Rapid Prototyping of Process Control Systems, IEEE-TSE, Vol. 12, No. 2, 1986.

    Google Scholar 

  5. G. Cantone, Predicting Timeliness of Distributed Processes, Technical Report RI-90. 12, DIE-University of Rome at Tor Vergata, Italy, December 1990.

    Google Scholar 

  6. G. Cantone, Reusing Temporal Properties of Real-Time Software, Proc.s of the 3rd IEE Int. Conf. on Software Engineering for Real-Time Systems, Cirencester, UK, September 1991.

    Google Scholar 

  7. G. Cantone, Reasoning about Time Properties and Simulation of Hard Real-Time Distributed Dynamic Processes, Technical Report RI-92. 08, DIE-University of Rome at Tor Vergata, Italy, October 1992.

    Google Scholar 

  8. G. Cantone, E. Ciancamerla, M. Minichino, A Method for Computing HOL SW Time Response and its Validation, Proc. of IFAC/IFIP SAFECOMPO91 Symposium, Trondeim, Norway, October 1991.

    Google Scholar 

  9. G. Cantone, B. Ciciani, Inserting State Restoration Requests in Systems of Distributed Processes, Microprocessing and Microprogramming, Vol. 19, No. 1–5, December 1987.

    Google Scholar 

  10. B. Ciciani, G. Cantone, Comments on “Design and Evaluation of a Fault-Tolerant Multiprocessor Using Hardware Recovery Blocks”, IEEE TOC, Vol. 38, No. 9, 1989.

    Google Scholar 

  11. G. Cantone, A. Esposito, An Initial Approach to Response Time Verification of Critical Programs, Proc. of CSCI-CNR Int. Conf. on Massively Parallel Systems, Naples, Italy, December 1987.

    Google Scholar 

  12. G. Cantone, A. Esposito, A D-Graph based Approach for Verifying Response Times of Critical Programs, Microprocessing and Microprogramming, Vol. 27, No. 1–5, 1989.

    Google Scholar 

  13. G. Cantone, F.S. Gragnani, A Reuse Based Environment to Develop and Verify Hard Real-Time Distributed Applications, Proc. of the 2nd Eurospace Int. Symposium “Ada in Aerospace”, Rome, Italy, November 1991.

    Google Scholar 

  14. G. Cantone, F.S. Gragnani, Software Methods for the Assessment of the Temporal Behaviours of Programs and Fragments. An Approach Based on the Theory of Measurement Errors, TR-92. 09, DIE-URMTV, University of Rome at Tor Vergata, Italy, October 1992.

    Google Scholar 

  15. G. Cantone, C. Iapicca, Temporal Properties of Ada Critical Applications, Proc. of the 1st Eurospace Int. Symposium on “Ada in Aerospace”. Barcelona, Spain, January 1991.

    Google Scholar 

  16. F. Fuggetta, C. Ghezzi, D. Mandrioli, Some Consideration on Real-Time Behavior of Programs, IEEE-TSE, Vol. 15, No. 3, 1989.

    Google Scholar 

  17. M. Felder, D. Mandrioli, A. Morzenti, Proving Properties of Real-Time Systems trough Logical Specifications and Petri Net Models, Rep. No. 91–072, DIEIPolitecnico di Milano, Italy, 1991.

    Google Scholar 

  18. G. Forte, Tools Fair: Out of the Lab, Onto the Shelf, IEEE Software, May, 1992.

    Google Scholar 

  19. W.A. Halang, On Real-Time Features Available in High-Level Languages and Yet to be Implemented, Microprocessing and Microprogramming, Vol. 12, 1983, 79–87.

    Article  Google Scholar 

  20. W.A. Halang, Predictable HRT Software, Proc. of the 1st Euromicro RT Workshop, Como, Italy, September 1989.

    Google Scholar 

  21. T.A. Henzinger, Z. Manna, A. Pnueli, An Interleaving Model for Real Time, Proc. of Jerusalem Conf. on Information Technology, Jerusalem, Israel, October 1990.

    Google Scholar 

  22. W.A. Halang, A.D. Stoyenko, Real Time Systems, Kluwer Acad. Press, 1991.

    Google Scholar 

  23. INMOS Limited, Occam 2 Reference Manual, Prentice-Hall Int, Hertfordshire, UK, 1988.

    Google Scholar 

  24. INMOS Limited, The Transputer Application Notebook, Redwood Burn Ltd., Trowbridge, UK, 1989.

    Google Scholar 

  25. F. Jahanian, A.K. Mok, A Graph Theoretic Approach for Timing Analysis and its Implementation, IEEE-TC, Vol. 36, No 8, 1987.

    Google Scholar 

  26. H. Kopetz, R. Zainlinger, G. Fahler, H. Kantz, P. Puschner, W. Shutz, An Engineering Approach Towards Hard Real-Time System Design, Proc. of ECSE ‘81, Milano, Italy, LNCS 550, Springer Verlag, 1991.

    Google Scholar 

  27. E. Kligerman, A.D. Stoyenko, Real-time Euclid: A Language for Reliable Real-Time Systems, IEEE TSE, Vol. 12, No. 9, 1986.

    Google Scholar 

  28. D. Mandrioli, R. Zicari, C. Ghezzi, F. Tisato, Modeling an Ada Task System by Petri Nets. Computer Languages, Vol. 10, No. 1, 1985.

    Google Scholar 

  29. T. Murata, Petri Nets: Properties, Analysis and Applications, Proc. of the IEEE, Vol. 77, No. 4, 1989.

    Google Scholar 

  30. J.L. Peterson, Petri Net Theory and the Modeling of Systems, Prentice-Hall, 1981.

    Google Scholar 

  31. P. Puchner, C. Koza, Calculating the Maximum Execution Time of Real-Time Programs, Real-Time Systems, Vol. 1, No. 3, Kluwer Acad. Press, 1989.

    Google Scholar 

  32. A. Pnueli, Specification and Development of Reactive Systems, Information processing 86, H. Kugher (Ed.), 1986.

    Google Scholar 

  33. A.A. Rizzi, L.L. Witcomb, D.E. Koditschek, Distributed Real-Time Control of Spatial Robot Juggler, Computer, May 1992.

    Google Scholar 

  34. A.C. Shaw, Reasoning about Time in Higher Level Language Software, IEEETSE, Vol. 15, No. 7, 1989.

    Google Scholar 

  35. A.D. Stoyenko, V.C. Hamacher, R.C. Holt, Analyzing Hard-Real-Time Programs For Guaranteed Schedulability, IEE TSE, Vol. 17, No. 8, 1991.

    Google Scholar 

  36. J.A. Stankovich, K. Ramamritham, What is Predictability for Real-Time Systems?, Real-Time Systems, Vol. 2, No. 2, 1990.

    Google Scholar 

  37. J.A. Stankovich, Real-Time Computing Systems: The Next Generation, TR 8806, Dep. of COINS, Univ. of Massachusetts, January 1988.

    Google Scholar 

  38. J.A. Stankovich, Misconceptions about Real-Time Computing, IEEE Computer, October 1988.

    Google Scholar 

  39. A.D. Stoyenko, Analyzing PEARL Programs for Timely Executability and Schedulability, Unpubl. Rep. UCLA, April 1990.

    Google Scholar 

  40. R.K. Shyamasundar, L. Yuhsiang, Static Analysis of Real-Time Distributed Systems, IEEE-TSE, Vol. 16, No 4, 1990.

    Google Scholar 

  41. R.N. Taylor, Steps to an Advanced Ada Programming Environments, IEEETSE, Vol. 11, No. 3, 1985.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Laboratorio di Informatica Dipartimento di Ingegneria Elettronica Via della Ricerca Scientifica, Universita di Roma “Tor Vergata”, 00133, Roma, Italy

    Giovanni Cantone

Authors
  1. Giovanni Cantone
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Vakgroep Informatica, Rijksuniversiteit Groningen, Postbus 800, 9700 AV, Groningen, The Netherlands

    Wolfgang A. Halang

  2. Fachbereich Elektrotechnik und Informationstechnik, FernUniversität Hagen, D-58084, Hagen, Germany

    Wolfgang A. Halang

  3. Department of Computer and Information Science, New Jersey Institute of Technology, 07102, Newark, NJ, USA

    Alexander D. Stoyenko

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cantone, G. (1994). Static Models and Simulation Engine for Time-Analysis and Verification of Mission-Critical Distributed Systems. In: Halang, W.A., Stoyenko, A.D. (eds) Real Time Computing. NATO ASI Series, vol 127. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-88049-0_16

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-88049-0_16

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-88051-3

  • Online ISBN: 978-3-642-88049-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation