Formal Specification and Simulation of a Real-Time Concurrency Control Protocol

  • P. V. D. Stok
  • L. Somers
  • P. Thijssen
Conference paper
Part of the Dependable Computing and Fault-Tolerant Systems book series (DEPENDABLECOMP, volume 7)


The executable specification tool ExSpect is presented. A concurrency algorithm for a real-time distributed system is specified in the language of this tool. Parts of the specification are shown and it is demonstrated how the executable specification can assist in the concurrency control development.


Execution Time Concurrency Control Read Request Executable Specification Request Manager 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    D.K. Hanomer, E.J. Luit, O. van Roosmalen and P.D.V. van der Stok, “The Dependable Distributed Operating System DEDOS: an overview”, TUE computer Note, (in preparation).Google Scholar
  2. [2]
    J.C. Laprie, “Dependability: an unifying concept for rehable computing and fault- tolerance”, T Anderson, (ed.), Blackwell Scientific Publications, Oxford, 1989.Google Scholar
  3. [3]
    J.P.C. Verhoosel, E.J. Luit, D.K. Hammer, “A static scheduling algorithm for Distributed hard Real-Time systems”, The Journal of Real-Time systems, Vol 3, pp. 227–246, 1991.CrossRefGoogle Scholar
  4. [4]
    B. Meyer, “From structured programming to object-oriented design: The road to Eiffel”, Structured programming, Springer Verlag, 1989.Google Scholar
  5. [5]
    P.D.V. van der Stok and A. Engel, “Shared data concepts for DE- DOS”, Proc. of the 10th IFAC workshop of Dist. Comp. Control Systems, Semmering, Austria, 9–11 Sept. 1991, IFAC Workshop series, Ed. H. Kopetz and M.G. Rodd, No 3, Pergamon Press, 1992.Google Scholar
  6. [6]
    P.D.V. van der Stok, O.S. van Roosmalen, E.J. Luit and D.K. Hammer, “An object-oriented approach to edependable responsive systems”, 1st Int. Workshop on Responsive Systems, Golfe-Juan, France, 3–4 Oct. 1991.Google Scholar
  7. [7]
    D.P. Reed, “Implementing atomic actions on decentralized data”, ACM Transactions on Computer Systems, Vol 1, pp 3–23, 1983.CrossRefGoogle Scholar
  8. [8]
    K.M. van Hee, L.J. Somers, M. Voorhoeve, “Executable specifications for distributed information systems”, E.D. Falkenberg, P. Lindgreen (eds.). Information system concepts: an in-depth analysis, North-Holland, 1989.Google Scholar
  9. [9]
    K. Jensen, “Colored Petri Nets: A High Level Language for System Design and Analysis”, G. Rozenberg (ed.). Advances in Petri Nets 1990, Lecture Notes in Computer Science 483, Springer Verlag, 1991.Google Scholar
  10. [10]
    F. Cristian, “Understanding fault-tolerant distributed systems”, Communications of the ACM, Vol 34, no 2, pp 57–78, 1991.CrossRefGoogle Scholar
  11. [11]
    P.T.A. Thijssen, “Specification of DEDOS Concurrency Control with ExSpect”, EUT master’s thesis, Dec. 1991.Google Scholar
  12. [12]
    C.B. Jones, “Systematic software development using VDM”, Prentice-Hall, 1986.MATHGoogle Scholar
  13. [13]
    CCITT, Recommendations Z.100-Z.104, Vol VI, Ease VLIO, 1984.Google Scholar
  14. [14]
    ISO, DP8807rev, “LOTOS: A formal descrition tecnique based on temporal ordering of observational behavior”, Geneva, 1988.Google Scholar

Copyright information

© Springer-Verlag/Wien 1993

Authors and Affiliations

  • P. V. D. Stok
    • 1
  • L. Somers
    • 1
  • P. Thijssen
    • 1
  1. 1.Dept. of Math and Comp. ScienceEindhoven University of TechnologyEindhovenNetherlands

Personalised recommendations