Testing IN protocol implementation

View Related Documents

Book Chapter
Deterministic fault injection of distributed systems
Scott Dawson and Farnam Jahanian
Lecture Notes in Computer Science, 1995, Volume 938, Theory and Practice in Distributed Systems, Pages 178-196
- Download PDF (1.0 MB)
Journal Article
Implementation and analysis of real-time communication protocol compositions
João Rodrigues, João Ventura, A. M. de Campos and Luís Rodrigues
Real-Time Systems, 2007, Volume 37, Number 1, Pages 45-76
- Download PDF (845.0 KB)
Book Chapter
Towards applying the composition principle to verify a microkernel operating system
Mark R. Heckman, Cui Zhang, Brian R. Becker, Dave Peticolas and Karl N. Levitt, et al.
Lecture Notes in Computer Science, 1996, Volume 1125, Theorem Proving in Higher Order Logics, Pages 235-250
- Download PDF (919.5 KB)
Book Chapter
Test Platforms and Tools
2008, The Testing Network, Pages 211-234
- Download PDF (1.1 MB)
Book Chapter
Applying AMLn
Signals and Communication Technology, 2005, Functional Structures in Networks, Pages 209-242
- Download PDF (1.8 MB)
Book Chapter
Understanding Forms and Design
2008, Foundation Form Creation with Adobe LiveCycle Designer ES, Pages 29-55
- Download PDF (728.5 KB)
Journal Article
A cross-layer atomic commit protocol implementation for transaction processing in mobile ad-hoc networks
Sebastian Obermeier, Stefan Böttcher and Dominik Kleine
Distributed and Parallel Databases, 2009, Volume 26, Numbers 2-3, Pages 319-351
- Download PDF (1.1 MB)
Book Chapter
The Austin Protocol Compiler
Advances in Information Security, 2006, Volume 13, The Austin Protocol Compiler, Pages 71-83
- Download PDF (362.0 KB)
Book Chapter
Towards a Generic Group Communication Service
Nuno Carvalho, José Pereira and Luís Rodrigues
Lecture Notes in Computer Science, 2006, Volume 4276, On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE, Pages 1485-1502
- Download PDF (398.6 KB)
Book Chapter
A Metabolic Approach to Protocol Resilience
Christian Tschudin and Lidia Yamamoto
Lecture Notes in Computer Science, 2005, Volume 3457, Autonomic Communication, Pages 201-206
- Download PDF (188.7 KB)

Abstract

Testing correctness of protocol implementation of an IN platform is a demanding task. In this paper we would like to give a short outline of our SSPSimulator protocol testing software, compare it to our K1197 hardware protocol tester and discuss differences and use of it.

Fulltext Preview

Image of the first page of the fulltext document

Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us

SpringerLink

Testing IN protocol implementation

View Related Documents

Abstract

Fulltext Preview