False loop detection in the IEEE 1394 tree identify phase

Autor:	Jmt Judi Romijn
Jazyk:	angličtina
Rok vydání:	2003
Předmět:	Loop (graph theory) Spanning tree Computer science business.industry Distributed computing Physical layer Topology (electrical circuits) Spanning Tree Protocol Network topology Theoretical Computer Science Tree (data structure) IEEE 1394 business Software Computer network
Zdroj:	Formal Aspects of Computing, 14(3), 319-327. Springer
ISSN:	0934-5043
DOI:	10.1007/s001650300008
Popis:	The physical layer of the IEEE 1394 (FireWire, i-Link) architecture contains a protocol for spanning a tree in the network topology, which fails if the topology contains a loop. We show that the timing requirements for both the 1394-1995 and 1394a-2000 standards are too lenient: these allow for scenarios in which there is no loop in the topology, but the tree-spanning protocol does detect one. The scenarios are found by the model checker U PPAAL .
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1a89631a83e0abfc9d9d7152d2b88980 https://doi.org/10.1007/s001650300008 Zobrazit plný text záznamu Full text from SpringerLink