Use this URL to cite or link to this record in EThOS: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.635841
Title: Temporal modelling of an OSI-based communications protocol
Author: Aboul Hamid, I.
Awarding Body: University College of Swansea
Current Institution: Swansea University
Date of Award: 1991
Availability of Full Text:
Access from EThOS:
Abstract:
A central issue in significantly large industrial distributed computer control systems, but one largely ignored by systems designers, is the question of the real-time handling of data. Recently, though, it has become evident that many installed systems are not able to meet the requirements of full plant-wide integration and synchronization. It is becoming clear that future distributed control systems will only be capable of performing the very exacting tasks asked of them if they are supported by an inherently time-conscious communication system, together with an ability to handle data from a variety of different computer-based devices, in a cohesive fashion. A glimmer of hope appeared with the General Motors-inspired MAP initiative. Although a milestone in providing standardized computer interconnection, MAP does not adequately address the all-important issue of real time. When this issue is, however, fully understood, it is found that it invades all aspects of systems design, where a primary requirement is for the totally deterministic handling of data - both in transmitting the data and in processing it. As a consequence, in the development of an industrial communications system, all supporting components must be carefully designed to ensure completely predictable performance. This thesis tackles the design issue in the particular context of communication protocols. The thesis postulates that it is vital to design protocols which are not only logically incorrect, but also have a fully defined temporal behaviour. The question then becomes one of identifying suitable tools for use in the specification, design and verification of protocols - both logically and in the time-domain.
Supervisor: Not available Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID: uk.bl.ethos.635841  DOI: Not available
Share: