Sciweavers

9 search results - page 1 / 2
» Cycle time properties of the PROFIBUS timed-token protocol
Sort
View
TC
2002
13 years 10 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 10 months ago
Cycle time properties of the PROFIBUS timed-token protocol
Eduardo Tovar, Francisco Vasques
ECRTS
2006
IEEE
14 years 5 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 11 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
14 years 5 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...