Skip to main content
SpringerLink
Log in

REAL92: A combined specification language for real-time concurrent systems and properties

  • Conference paper
  • First Online:
Formal Methods in Programming and Their Applications

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

Abstract

Real 92 is a new combined specification language for concurrent processes based on nondeterministic dialect of Specification and Design Language (SDL) and on dynamic version of Computation Tree Logic (CTL), both — SDL and CTL — with a real time. The paper includes a survey of syntax and sketch of operational semantics of Real 92, specification examples of systems and properties of concurrent communicating real-time processes.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Specification and Description Language // CCITT, Recomendation Z.100, 1988.

    Google Scholar 

  2. Barzdin J.M. et al. Specification Language SDL/PLUS and its applications // Computer Center of Latvian State University, Riga, 1988.

    Google Scholar 

  3. Ostroff J.S. Automated Verification of Timed Transition Models // Lecture Notes in Computer Science, v. 407, 1990, p. 247–256.

    Google Scholar 

  4. Nepomniaschy V.A., Shilov N.V. A Language for Specifing Systems and Properties of Real-Time Communicating Processes // Methods of Theoretical and Systems Programming // Novosibirsk, 1991, p. 32–45 (in Russian).

    Google Scholar 

  5. Broy M. Towards a Formal Foundation of the Specification and Description Language SDL // Formal Aspects of Computing, v. 3, 1991, n. 1, p. 21–57.

    Google Scholar 

  6. Orava F. Formal Semantics of SDL Specifications // Proc. Conf. on Protocol Specification, Testing, and Verification — VIII, North-Holland, 1988, p. 143–157.

    Google Scholar 

  7. Mery D., Mokkedem A. CROCOS: An Integrated Environment for Interactive Verification of SDL Specifications // Lecture Notes in Computer Science, v. 663, 1993, p. 343–356.

    Google Scholar 

  8. Plotkin G.D. A Structure Approach to Operational Semantics // Technical report FN-19, Aarhus University, DAIMI, Denmark, 1981.

    Google Scholar 

  9. Covalli A.R., Horn F. Proof of Specification properties by using finite state machines and temporal logic // Proc. IFIP Conf. on Protocol Specifications, Testing and Verification-VII, 1987, p. 221–233.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Siberian Division of the Russian Academy of Sciences, Institute of Informatics Systems, 630090, Novosibirsk, Russia

    V. A. Nepomniaschy & N. V. Shilov

Authors
  1. V. A. Nepomniaschy
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. N. V. Shilov
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Dines Bjørner Manfred Broy Igor V. Pottosin

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Nepomniaschy, V.A., Shilov, N.V. (1993). REAL92: A combined specification language for real-time concurrent systems and properties. In: Bjørner, D., Broy, M., Pottosin, I.V. (eds) Formal Methods in Programming and Their Applications. Lecture Notes in Computer Science, vol 735. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0039721

Download citation

  • DOI: https://doi.org/10.1007/BFb0039721

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57316-6

  • Online ISBN: 978-3-540-48056-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation