Sciweavers

9 search results - page 1 / 2
» Cycle time properties of the PROFIBUS timed-token protocol
Sort
View
TC
2002
13 years 4 months ago
Cycle-Time Properties of the Timed Token Medium Access Control Protocol
We investigate the timing properties of the timed token protocol that are necessary to guarantee synchronous message deadlines. A tighter upper bound on the elapse time between the...
Sijing Zhang, Alan Burns, Tee-Hiang Cheng
COMCOM
1999
94views more  COMCOM 1999»
13 years 4 months ago
Cycle time properties of the PROFIBUS timed-token protocol
Eduardo Tovar, Francisco Vasques
ECRTS
2006
IEEE
13 years 10 months ago
Timing Analysis of the FlexRay Communication Protocol
FlexRay will very likely become the de-facto standard for in-vehicle communications. However, before it can be successfully used for safety-critical applications that require pred...
Traian Pop, Paul Pop, Petru Eles, Zebo Peng, Alexa...
IJCSA
2006
95views more  IJCSA 2006»
13 years 4 months ago
Modeling and Formal Verification of DHCP Using SPIN
The Dynamic Host Configuration Protocol (DHCP) is a widely used communication protocol. In this paper, a portion of the protocol is chosen for modeling and verification, namely th...
Syed M. S. Islam, Mohammed H. Sqalli, Sohel Khan
PERCOM
2009
ACM
13 years 11 months ago
TreeMAC: Localized TDMA MAC Protocol for Real-time High-data-rate Sensor Networks
—Earlier sensor network MAC protocols focus on energy conservation in low-duty cycle applications, while some recent applications involve real-time high-data-rate signals. This m...
Wen-Zhan Song, Renjie Huang, Behrooz Shirazi, Rich...