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

  • Giovanni Cantone
Conference paper
Part of the NATO ASI Series book series (NATO ASI F, volume 127)

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).

Keywords

Migration Tempo Como Exter 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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. 2.
    L. Bic, A.C. Shaw, Logical Design of Operating Systems, Prentice Hall, 1988.Google Scholar
  3. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 18.
    G. Forte, Tools Fair: Out of the Lab, Onto the Shelf, IEEE Software, May, 1992.Google Scholar
  19. 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.CrossRefGoogle Scholar
  20. 20.
    W.A. Halang, Predictable HRT Software, Proc. of the 1st Euromicro RT Workshop, Como, Italy, September 1989.Google Scholar
  21. 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. 22.
    W.A. Halang, A.D. Stoyenko, Real Time Systems, Kluwer Acad. Press, 1991.Google Scholar
  23. 23.
    INMOS Limited, Occam 2 Reference Manual, Prentice-Hall Int, Hertfordshire, UK, 1988.Google Scholar
  24. 24.
    INMOS Limited, The Transputer Application Notebook, Redwood Burn Ltd., Trowbridge, UK, 1989.Google Scholar
  25. 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. 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. 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. 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. 29.
    T. Murata, Petri Nets: Properties, Analysis and Applications, Proc. of the IEEE, Vol. 77, No. 4, 1989.Google Scholar
  30. 30.
    J.L. Peterson, Petri Net Theory and the Modeling of Systems, Prentice-Hall, 1981.Google Scholar
  31. 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. 32.
    A. Pnueli, Specification and Development of Reactive Systems, Information processing 86, H. Kugher (Ed.), 1986.Google Scholar
  33. 33.
    A.A. Rizzi, L.L. Witcomb, D.E. Koditschek, Distributed Real-Time Control of Spatial Robot Juggler, Computer, May 1992.Google Scholar
  34. 34.
    A.C. Shaw, Reasoning about Time in Higher Level Language Software, IEEETSE, Vol. 15, No. 7, 1989.Google Scholar
  35. 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. 36.
    J.A. Stankovich, K. Ramamritham, What is Predictability for Real-Time Systems?, Real-Time Systems, Vol. 2, No. 2, 1990.Google Scholar
  37. 37.
    J.A. Stankovich, Real-Time Computing Systems: The Next Generation, TR 8806, Dep. of COINS, Univ. of Massachusetts, January 1988.Google Scholar
  38. 38.
    J.A. Stankovich, Misconceptions about Real-Time Computing, IEEE Computer, October 1988.Google Scholar
  39. 39.
    A.D. Stoyenko, Analyzing PEARL Programs for Timely Executability and Schedulability, Unpubl. Rep. UCLA, April 1990.Google Scholar
  40. 40.
    R.K. Shyamasundar, L. Yuhsiang, Static Analysis of Real-Time Distributed Systems, IEEE-TSE, Vol. 16, No 4, 1990.Google Scholar
  41. 41.
    R.N. Taylor, Steps to an Advanced Ada Programming Environments, IEEETSE, Vol. 11, No. 3, 1985.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • Giovanni Cantone
    • 1
  1. 1.Laboratorio di Informatica Dipartimento di Ingegneria Elettronica Via della Ricerca ScientificaUniversita di Roma “Tor Vergata”RomaItaly

Personalised recommendations