Implementing OSI systems

The correct and efficient implementation of complete open systems interconnection systems comprising the specified multiple layers of complex protocols is discussed. Also examined are the specification, design, and implementation issues and approaches at two levels: the realization of the individual protocols; and the construction of complete multilayer communication systems. The design of a multilayer communication subsystem which can run on the same processor as the applications or be confined to a front-end processor is discussed. >

[1]  Wolfgang Effelsberg,et al.  Specification and Implementation of an ISO Session Layer , 1987, IBM Syst. J..

[2]  Colin H. West.  A Validation of the OSI Session Layer Protocol , 1986, Comput. Networks.

[3]  Robert E. Milne,et al.  The formal description technique LOTOS : By P.H.J. van Eijk, C.A. Vissers and M. Diaz, eds. North-Holland, Amsterdam, Netherlands, 1989, Price $102.50 (hardback), ISBN 0-444-87267-1. , 1990 .

[4]  Kurt Rothermel.  A Communication Mechanism Supporting Actions , 1988, Comput. Networks.

[5]  Martin Zimmermann,et al.  Data Translation in Heterogeneous Computer Networks , 1989, Kommunikation in Verteilten Systemen.

[6]  Jon Postel,et al.  Transmission Control Protocol , 1981, RFC.

[7]  Deepinder P. Sidhu,et al.  Mechanical verification and automatic implementation of communication protocols , 1986, IEEE Transactions on Software Engineering.

[8]  W.T. Strayer,et al.  Performance measurements of Motorola's implementation of MAP , 1988, Proceedings [1988] 13th Conference on Local Computer Networks.

[9]  T. de Miguel,et al.  The implementation of a specification language for OSI systems , 1988, 1988 International Zurich Seminar on Digital Communications - Mapping New Applications onto New Technologies. Proceedings.

[10]  Paul J. Leach,et al.  The Architecture of an Integrated Local Network , 1983, IEEE J. Sel. Areas Commun..

[11]  Ian Davidson,et al.  Testing conformance to OSI standards , 1985, Comput. Commun..

[12]  David D. Clark,et al.  The structuring of systems using upcalls , 1985, SOSP '85.

[13]  Heinz Jürgen Burkhardt,et al.  From Protocol Specification to Implementation and Test , 1986, Networking in Open Systems.

[14]  E. Vazquez,et al.  Performance of OSI transport over ACCUNET and IBERPAC , 1988, IEEE INFOCOM '88,Seventh Annual Joint Conference of the IEEE Computer and Communcations Societies. Networks: Evolution or Revolution?.

[15]  Gregor von Bochmann,et al.  Semiautomatic Implementation of Communication Protocols , 1987, IEEE Transactions on Software Engineering.

[16]  S. Heatley,et al.  Measurements of a transport implementation running over an IEEE 802.3 local area network , 1988, [1988] Proceedings. Computer Networking Symposium.

[17]  Giuseppe Scollo,et al.  Formal Specification in OSI , 1986, Networking in Open Systems.

[18]  Bernd W. Meister.  A Performance Study of the ISO Transport Protocol , 1991, IEEE Trans. Computers.

[19]  Son T. Vuong,et al.  Semiautomatic Implementation of Protocols Using an Estelle-C Compiler , 1988, IEEE Trans. Software Eng..

[20]  Richard J. Linn.  The features and facilities of ESTELLE: a formal description technique based upon an extended finite state machine model , 1985, PSTV.

[21]  W.T. Strayer,et al.  Performance measurement of data transfer services in MAP , 1988, IEEE Network.

[22]  Richard J. Linn.  Testing to Assure Interworking of Implementations of ISO/OSI Protocols , 1986, Comput. Networks.

[23]  Juan Quemada,et al.  Introduction of Quantitative Relative Time into LOTOS , 1987, PSTV.

[24]  An Architecture for high Performance Protocol Implementation , 1984, INFOCOM.

[25]  B. Leiner,et al.  The DARPA internet protocol suite , 1985, IEEE Communications Magazine.

[26]  Colin H. West,et al.  Technologies for network architecture and implementation , 1983 .

[27]  C. H. West,et al.  Executable Description and Validation of SNA , 1980, IEEE Trans. Commun..

[28]  David Clark,et al.  An analysis of TCP processing overhead , 1989 .

[29]  David A. Mosher,et al.  User-Process Communication Performance in Networks of Computers , 1988, IEEE Trans. Software Eng..

[30]  F. Caneschi.  Hints for the interpretation of the ISO session layer , 1986, CCRV.

[31]  Anthony Lauck,et al.  Hashed and hierarchical timing wheels: data structures for the efficient implementation of a timer facility , 1987, SOSP '87.

[32]  Roberto Saracco,et al.  CCITT SDL: Overview of the Language and its Applications , 1987, Comput. Networks.

[33]  Inge Groenbaek.  Conversion Between the TCP and ISO Transport Protocols as a Method of Achieving Interoperability Between Data Communications Systems , 1986, IEEE J. Sel. Areas Commun..

[34]  Kenneth J. Turner,et al.  An Architectural Semantics for LOTOS , 1987, PSTV.

[35]  Lixia Zhang,et al.  Why TCP timers don't work well , 1986, SIGCOMM '86.

[36]  Jerome H. Saltzer,et al.  The Desktop Computer as a Network Participant , 1985, IEEE J. Sel. Areas Commun..

[37]  Jean-Pierre Courtiat.  How Could Estelle Become a Better FDT? , 1987, PSTV.

[38]  Alistair Cockburn.  Efficient implementation of the OSI transport protocol checksum algorithm using 8/16-bit arithmetic , 1987, CCRV.

[39]  Van Jacobson,et al.  Congestion avoidance and control , 1988, SIGCOMM '88.

[40]  Robin I Chan.  An Estelle-C Compiler for Automatic Protocol Implementation , 1987 .

[41]  Emanuela Merelli,et al.  An Architecture for an ASN.1 Encoder/Decoder , 1987, Comput. Networks.

[42]  James P. Gray,et al.  Advanced Program-to-Program Communication in SNA , 1983, IBM Syst. J..

[43]  R. Aronoff,et al.  Transport layer performance tools and measurement , 1987, IEEE Network.

[44]  David D. Clark,et al.  Modularity and efficiency in protocol implementation , 1982, RFC.

[45]  Stanislaw Budkowski,et al.  An Introduction to Estelle: A Specification Language for Distributed Systems , 1987, Comput. Networks.

[46]  Simon Nash.  Format and Protocol Language (FAPL) , 1987, Comput. Networks.

[47]  Guy Leduc,et al.  The Intertwining of Data Types and Processes in LOTOS , 1987, PSTV.

[48]  M. Stella Atkins.  Experiments in SR with different upcall program structures , 1988, TOCS.

[49]  Roberto Saracco.  Standardisation of Formal Description Techniques for Communication Protocols - Response , 1986, IFIP Congress.

[50]  Thomas P. Blumer,et al.  A Formal Specification Technique and Implementation Method for Protocols , 1982, Comput. Networks.

[51]  Chris A. Vissers.  Standardisation of Formal Description Techniques for Communication Protocols (Invited Paper) , 1986, IFIP Congress.

[52]  Rainer Hauser,et al.  Timers in OSI protocols-specifications versus implementation , 1988, 1988 International Zurich Seminar on Digital Communications - Mapping New Applications onto New Technologies. Proceedings.

[53]  Tommaso Bolognesi,et al.  Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling , 1994, FORTE.

[54]  C. Kline.  Supercomputers on the internet: a case study , 1987, SIGCOMM '87.

[55]  Jeroen Bruijning.  Evaluation and Integration of Specification Languages , 1987, Comput. Networks.

[56]  Jon Postel,et al.  Official Internet protocols , 1987, RFC.