Temporal modelling of an OSI-based communications protocol
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 p...
Main Author: | Aboul Hamid, I. |
---|---|
Published: |
Swansea University
1991
|
Subjects: | |
Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.635841 |
Similar Items
-
Formal modelling and analysis of an asynchronous communication mechanism
by: Henderson, Neil
Published: (2005) -
Temporal partitioning of flexible real-time systems
by: Zabos, Attila
Published: (2011) -
A visual framework for formal systems development using interval temporal logic
by: Chakrapani Rao, Arun
Published: (2002) -
Flexibility in dependable real-time communication
by: Broster, Ian
Published: (2004) -
Techniques for enhancing the temporal predictability of real-time embedded systems employing a time-triggered software architecture
by: Maaita, Adi Abdelhalim
Published: (2009)