Founding FireWire bridges through Promela prototyping

Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003

Volumn , Issue , 2003, Pages

  Van Langevelde, Izak ^a   Romijn, Judi ^b   Goga, Nicu ^b  

^a CWI   (Netherlands)

^b EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED PARAMETER NETWORKS; SYSTEM BUSES;

DRAFT STANDARD; FIREWIRES; PROMELA; SERIAL BUS; SOLID MODEL; SPANNING TREE; STATE OF THE ART;

MODEL CHECKING;

EID: 84947271786     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IPDPS.2003.1213434     Document Type: Conference Paper

References (12)

1. D. Bo?sna?cki and S. Leue, editors. Proceedings of the 9th SPIN Workshop, volume 2318 of Lecture Notes in Computer Science. Springer Verlag, 2002.
2. E. W. Clarke, O. Grumberg, and D. A. Peled. Model Checking. The MIT Press, 1999.
3. T. H. Cormen, C. E. Leiserson, and R. L. Rivest. Introduction to algorithms. MIT Press, USA, 1990.
4. N. Goga, J. M. T. Romijn, and G. Tagviashvili. Using the I/O paradigm for Spin simulation. 2002. Available via http://www. win. Tue. nl/jromijn.
5. G. J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall, 1991.
6. G. J. Holzmann. The Spin model checker. IEEE Trans. on Software Engineering, 23(5):279-295, May 1997.
7. The Institute of Electrical And Electronics Engineers, Inc. IEEE Standard for a High Performance Serial Bus, Aug. 1996. IEEE Std 1394-1995.
8. The Institute of Electrical And Electronics Engineers, Inc. IEEE Standard for a High Performance Serial Bus-Amendment 1, Dec. 2001. IEEE Std 1394a-2000.
9. The Institute of Electrical And Electronics Engineers, Inc. IEEE P1394. 1 Draft Standard for High Performance Serial Bus Bridges, Apr. 2002. Version 1. 02.
10. S. Maharaj, J. M. T. Romijn, and C. Shankland, editors. Formal Methods Applied to IEEE 1394, a special issue of Formal Aspects of Computing. 2002. To appear.
11. R. Perlman. An algorithm for distributed computation of a spanning tree in an extended LAN. ACM SIGCOMM Computer Communication Review, 15(4), September 1985.
12. J. M. T. Romijn. A timed verification of the IEEE 1394 leader election protocol. Formal Methods in System Design, 19(2):165-194, 2001.