Sciweavers

Share
IPPS
2003
IEEE

Founding FireWire Bridges through Promela Prototyping

9 years 7 months ago
Founding FireWire Bridges through Promela Prototyping
The standardisation procedure of the IEEE P1394.1 Draft Standard for High Performance Serial Bus Bridges is supported through the use of the state-of-the-art model checker Spin, which has been used to simulate the complex net update procedure of the standard, and the use of which will eventually be refined to obtain a solid model checking analysis of the standard. A concise description of net updates is formalised in terms of spanning trees, and it is shown how Spin was used to track down errors in the standard and to gather support for the solutions proposed.
Izak van Langevelde, Judi Romijn, Nicolae Goga
Added 04 Jul 2010
Updated 04 Jul 2010
Type Conference
Year 2003
Where IPPS
Authors Izak van Langevelde, Judi Romijn, Nicolae Goga
Comments (0)
books