TEMPORAL MODELING OF REAL-TIME COMMUNICATION PROTOCOLS BASED ON A PROCESS CHANNEL APPROACH

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.