IEEE. IEEE Standard for a High Performance Serial Bus, Standard 1394-1995. IEEE, Aug 1996.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....the protocol. This can be explained by the fact that it must be possible to operate the entire setup from any one lift, so the protocol has to behave identically for each controlling jack. 5. 2 IEEE 1394 Fire Wire A second case we applied this visualization method to was the Fire Wire protocol [7]. Fire Wire is a high speed serial protocol which is currently widely used in digital video processing. We confined ourselves to analyzing the link layer of the protocol, which provides an interface between the highlevel transaction layer and the physical layer. A formal description [10] of the ....

IEEE Computer Soc., "IEEE Standard for a High Performance Serial Bus," Standard 1394-1995, Aug. 1996.

....two would allow the same PDA, mobile phone or other user interface device to be used seamlessly to control appliances both inside and outside the home. 4. 4 HAVi HAVi (Home Audio and Video) 24] defines interfaces and semantics for audio, video and control devices attached to IEEE1394 (Firewire) [29] networks. The specification assumes a single shared Firewire network to which all devices in a home environment will be connected. Devices may then communicate as required in a peer to peer fashion, without the need for any central authority to perform access control or manage their resources. ....

IEEE, http://www.ieee.org/. IEEE Std 1394-1995 IEEE Standard for a High Performance Serial Bus, 1995.

....system architecture. With the help of the BIOS functions the different resources in the bus slots can be accessed. Resources on the PCI bus can provide information [95, 83] by means of a device class ID, type ID, the vendor ID, and the device ID given by the vendor. In the case of an IEEE1394 [43] (FireWire(TM) network host adaptor, the identification of components in the network and the topology re construction is left to the driver for this type of network. Together with the type information, a unique identifier of the device has to be determined to unambiguously address the physical ....

....driver provides an entry port through which all nodes are directly visible as if they were directly linked to this port. For example, the topology re construction of the FireWire network can be combined with the determination of the node type and the node identifier (ID) The IEEE1394 standard [43] includes a coding scheme for the node position in the network, and a mapping to a memory address scheme (see figure 2.5) The cookie table includes for each node the ID and the address in the network. The address can be used as base address for access to memory locations in a node, instead of ....

IEEE Computer Society, New York. IEEE Standard for a High Performance Serial Bus, 1995.

....Various methods and formalisms have been extended with probabilism and quite some case studies have been carried out using these formalisms, c.f. Agg94, PSL97] This report veri es a small sub protocol of the IEEE 1394 protocol, called root contention. The IEEE 1394 high performance serial bus [IEE96, IEE98], also called FireWire, has been developed for interconnecting computer and consumer equipment, such as PCs, VCRs and CD players. The bus is hot pluggable, which means that equipment can be added and removed at any time, and allows quick, reliable and inexpensive high bandwidth transfer. This ....

....have both sent a request to each other. In this situation, it is not clear which of them should be the root. At this moment a part of the protocol is executed which resolves this root contention. The aim of this paper is to verify this part of IEEE 1394 formally. Informally, the part of IEEE 1394 [IEE96] that solves root contention is described as follows. A process in root contention rst ips a coin. If head comes up, then it waits a short time between 0:76 and 0:80 s (micro seconds) If tail comes up, then it waits a long time; between 1:60 and 1:64 s Then the processes, regardless the ....

[Article contains additional citation context not shown here]

IEEE Computer Society. IEEE Standard for a High Performance Serial Bus. Std 1394-1995, August 1996.

....audio.Moreoverthesystematicnatureofthejitterproducedmeansthatprototype systemsareunlikelytoproduceworst caseperformance.Thisisanalysedand,with jitteraudibilitymodelsdevelopedelsewhere,asamplingjitterattenuation requirementisestimated. 1. 0 INTRODUCTION TheIEEE1394HighPerformanceSerialBus[1,2,3]hasbeenusedinthe specificationofthenewA Mprotocol IEC PAS61883 6[4,5,6] Thishasthe capabilitytotransmit24bitwordlength,96kHzsamplingfrequencymulti channel audioandso,potentially,itisaveryhighqualityinterfaceformat. ....

....and A V equipment. It is an asynchronous serial bus that supports real time data transmission on isochronous channels. Individual nodes on the bus are connected by one one links. Each node has a 24.576MHz clock that has to be within 100ppm of that nominal rate. The 1995 version of the standard [1] defines 3 speed grades with data bit rates that are multiples of this clock. These are nominally 98.304MHz, 196.608MHz and 393.216MHz for speeds known as S100, S200, and S400. The bus is extended by nodes having more than one port. A node will re transmit packets received on one port through ....

IEEE Std 1394:1995 - `IEEE Standard for a High Performance Serial Bus', IEEE, August 1996

....# 0, 0 # : A] # # , # ) but not [ A # ] 0,0) We believe the class of L U automata can be very useful in practice. Several examples known from the literature fall into this class, or can be modeled slightly di#erently to achieve this. We mention the IEEE Root Contention protocol [91], Fischer s mutual exclusion protocol [102] the (toy) rail road crossing example from [15] the Bounded Retransmission protocol (when considering a fixed value for the integer variables) and the Biphase Mark protocol (with minor adaptations) Moreover, the MMT models from [117] can be encoded ....

IEEE Computer Society. IEEE Standard for a High Performance Serial Bus. Std 1394-

....restrictions the protocol behaves correctly. The timing parameters in the IEEE 1394 standard documentation obey the restrictions found in this proof. Keywords: protocols, I O automata, safety, liveness, real time, refinement, simulation 1. Introduction The IEEE 1394 1995 serial bus standard [10] defines an architecture that allows several components to communicate at very high speed. Originally, the architecture was designed by Apple (FireWire) Currently, more than 70 companies are involved in the standardisation effort. Although the IEEE 1394 1995 standard has been finalised, the ....

....whether there is a cycle 1 in the network, and if so, does not terminate with a leader but halts in the initial phase of the protocol and issues error messages. Our intention is to prove that an abstraction of the protocol, which is quite close to the description in the IEEE 1394 documents [10, 11], works correctly. There already are some correctness proofs for other abstractions of this protocol [4, 7, 27, 29, 30] We reuse part of this work for proving the correctness of our model of the protocol. This is done by establishing an implementation relation between the most detailed model from ....

[Article contains additional citation context not shown here]

IEEE Computer Society, "IEEE Standard for a High Performance Serial Bus," Std 1394-

....Fig. 6. The converse of Proposition 6 (1) does not hold. We believe the class of L U automata can be very useful in practice. Several examples known from the literature fall into this class, or can be modelled slightly di erently to achieve this. We mention the IEEE Root Contention protocol [12], Fischer s mutual exclusion protocol [13] the (toy) rail road crossing example from [3] the Bounded Retransmission protocol (when considering a xed value for the integer variables) and the Biphase Mark protocol (with minor adaptations) Moreover, the MMT models from [16] can be encoded ....

IEEE Computer Society. IEEE Standard for a High Performance Serial Bus. Std 1394-

....than presenting new technical results, this paper aims at giving an overview of the papers [11, 12, 1, 2, 3] and previous work [14, 15, 13, 5] by the author together with Thomas Hune, Judi Romijn, David Simons and Frits Vaandrager. 2 Root Contention within IEEE 1394 The IEEE 1394 1995 standard [6] and its improvement [7] specify a high performance serial bus, suited for cheap and fast data transfer between computer and multimedia devices. The standard is described in a layered, OSI style and RCP is part of the Tree Iden PROGRESS Project TES4199, Veri cation of Hard and Softly Timed ....

....IDLE . At the same time, it starts a timer and picks a random bit. If the random bit is one, the node will wait for a time RC SLOW , whereas if the random bit is zero, it will wait for a shorter time RC FAST . The table below lists the wait times as speci ed in the IEEE 1394 and 1394a standards [6, 7]. Another relevant constant is the cable velocity, which is minimally 5:05 ns=m. Since the cable length is at most 4:5 m, this yields a maximum 1 propagation delay (delay) of 22:8 ns. When its timer expires, a node samples its contention port once again. If it sees IDLE , it starts sending PN ....

IEEE Computer Society. IEEE Standard for a High Performance Serial Bus. Std 1394-

....the technique also improves transfer throughput. 3.2 Maestro Link Protocol and Controller Based on our optimization techniques, we have designed a novel link protocol, called Maestro Link Protocol. As shown in Figure 2, the protocol assumes the pointto point half duplex link such as IEEE1394 [4] physical layer(IEEE1394PHY) Its host interface is realized with a pair of sending and receiving FIFO buffers that exchange messages with the host machine. While the sender host keeps passing messages to the sending FIFO, those messages are pipelined and partitioned one after another into ....

IEEE Standard Department. IEEE Standard for a High Performance Serial Bus. 1994. http://www.1394ta.org.

....the point that most users have lost track of the number of items they own that contain one. In some specific environments such as avionics, electronic devices are already becoming networked; in others, work is underway: consumer electronics makers, for example, are promoting the Firewire standard [10] for PCs, stereos, TVs and DVD players to talk to each other. We envisage that, in the near future, this networking will become much more general. After the microprocessor, a short range wireless transceiver will be embedded in everything, so that many gadgets will become more useful and effective ....

IEEE. IEEE standard for a high performance serial bus. IEEE Standard 1394, 1995.

No context found.

IEEE. IEEE Standard for a High Performance Serial Bus, Standard 1394-1995. IEEE, Aug 1996.

No context found.

IEEE, "IEEE Standard for a High Performance Serial Bus. Std 1394-1995.

No context found.

IEEE Computer Society. IEEE Standard for a High Performance Serial Bus. Std 1394-1995, August 1996.

No context found.

IEEE Computer Society. IEEE Standard for a High Performance Serial Bus. Std 1394-1995, August 1996.

No context found.

IEEE Computer Society. IEEE Standard for a high performance serial bus, 1996.

No context found.

IEEE Computer Society. IEEE Standard for a High Performance Serial Bus. Std 1394-1995. August 1996.

No context found.

IEEE. IEEE Standard for a High Performance Serial Bus. Std 1394-1995 , August 1995.

No context found.

IEEE Computer Society. IEEE Standard for a High Performance Serial Bus. Std 1394-1995, August 1996.

No context found.

IEEE. IEEE Standard for a High Performance Serial Bus, Standard 1394-1995. IEEE, Aug 1996.

No context found.

IEEE Computer Society. IEEE Standard for a High Performance Serial Bus. Std 1394-1995, August 1996.

No context found.

IEEE. IEEE Standard for a High Performance Serial Bus, Standard 1394-1995. IEEE, Aug 1996.

No context found.

IEEE, "IEEE Standard for a High Performance Serial Bus. Std 1394-1995.

No context found.

IEEE Computer Society. IEEE Standard for a High Performance Serial Bus. Std 1394-1995, August 1996.

No context found.

IEEE. IEEE standard for a high performance serial bus. Standard 1394, IEEE, 1995.

First 50 documents

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC