Skip to main content
SpringerLink
Log in

Temporal modelling of real-time communication protocols based on a process/channel approach

  • Published:
Real-Time Systems Aims and scope Submit manuscript

Abstract

The design of temporally-predictable real-time software is a major issue in a wide range of computer applications. This paper focuses on the temporal modelling of communication protocols in real-time OSI-based computer networks, and discusses a method which can form the foundation of a tool which gives true temporal representations of such systems. The proposed approach, implemented using the power of a concurrent object-oriented programming language (STRAND), utilises a modelling methodology based on an advanced process/channel model. The paper suggests that the techniques can be applied to a range of problems, illustrated here by an example of an OSI protocol.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • AL-Rowaihi, S., and Rodd, M. G. 1990. An object-oriented approach to the modelling of real-time software.Proc. 3rd IEE Int. Conf. on Soft. Eng. for Real-Time Systems, 69–72.

  • Barry, B. 1989. Prototyping a real-time embedded system in Smalltalk.Proc. Conf. on Object-Oriented Programming Systems, Languages and Applications, October 1–6: 255–265.

  • Booch, G. 1986. Object-oriented development.IEEE Trans. on Soft. Eng., SE-12(2).

  • Cox, B. 1984. Message/object programming: An evolutionary change in programming technology.IEEE Software, 1(1):149–161.

    Google Scholar 

  • ISO 4649, Information Processing Systems—Open systems Relation—Service Definitions for the Association Control service Element.

  • ISO 7498-1, Information Processing Systems—Open systems Interconnection—Basic Reference Model.

  • ISO 8650, Information Processing Systems—Open Systems Interconnection—Protocol Specification for the Association Control Service Element.

  • Motus, L., and Kaaramees, K. 1983. A model based design of distributed control system software.Proc. 4th IFAC Workshop on DCCS, 93–101. Pergamon Press.

  • Pascoe, G. 1986. Elements of object-oriented programming.Byte Magazine, August.

  • Pehrson, B. 1990. Protocol verification for OSI computer networks and ISDN systems, Vol. 18, No. 3, April 1990, pp. 185–201.

  • Peterson, James L. 1981.Petri Net & Modelling of Systems. Prentice-Hall.

  • Quirk, W., and Gilbert, R. 1977. The formal specification of the requirements of complex real-time systems, Harwell, AERE, Report No. 8602.

  • Rodd, M. G., Izikowitz, I., and Muller, K. D. 1988. Real-time distributed control systems—A realistic perspective.Proc. 8th IFAC Workshop on DCCS, pp. 1–9. Pergamon Press.

  • Sajkowski, M. 1987.Protocol Verification in the Presence of Time, Protocol Specification, Testing, and Verification, VI, pp. 269–280. Elsevier Science Publishers B.V. (North-Holland).

  • Sidhu, D. P. 1983.Protocol Verification via Executable Logic Specification, Protocol Specification, Testing, and Verification, III. Elsevier Science Publishers B.V. (North-Holland).

  • STRAND88 1990.Users Manual. Buckingham Edition, AI Ltd, London.

  • Suzuki, T., Shatz, S., and Murata, T. 1990. A protocol modelling and verification approach based on a specification language and petri nets.IEE Trans. on Soft. Eng., 16(5):523–536.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Electrical and Electronic Engineering, University of Wales, Swansea, UK

    M. G. Rodd & S. F. Al-Rowaihi

  2. Petromin Lubricating Oil Co., PO Box 1432, Jeddah, Saudi Arabia

    M. G. Rodd & S. F. Al-Rowaihi

Authors
  1. M. G. Rodd
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. S. F. Al-Rowaihi
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Rodd, M.G., Al-Rowaihi, S.F. Temporal modelling of real-time communication protocols based on a process/channel approach. Real-Time Syst 6, 243–262 (1994). https://doi.org/10.1007/BF01088627

Download citation

  • Issue Date:

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

Keywords

Search

Navigation