Formal Methods for Protocol Engineering and Distributed Systems

FORTE XII / PSTV XIX’99 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX) October 5–8, 1999, Beijing, China

  • Jianping Wu
  • Samuel T. Chanson
  • Qiang Gao
Book PSTV 1999, FORTE 1999

Part of the IFIP Advances in Information and Communication Technology book series (IFIPAICT, volume 28)

Table of contents

  1. Front Matter
    Pages i-xii
    PDF

  2. Invited Talk I

    1. Front Matter
      Pages 1-1
      PDF

    2. Test I

      1. Confirming configurations in EFSM
        A. Petrenko, S. Boroday, R. Groz
        Pages 5-24
        PDF
      2. Remote testing can be as powerful as local testing
        Claude Jard, Thierry Jéron, Lénaïck Tanguy, César Viho
        Pages 25-40
        PDF
      3. Hit-or-Jump: An Algorithm for Embedded Testing with Applications to in Services
        Ana Cavalli, David Lee, Christian Rinderknecht, Fatiha Zaïdi
        Pages 41-56
        PDF

    3. FDTs I

      1. Scalable and Object Oriented SDL State(chart)s
        Birger Møller-Pedersen, Dagbjørn Nogva
        Pages 59-73
        PDF
      2. Prototyping Framework for SDL with Evolving Semantics
        Peter Csurgay
        Pages 75-94
        PDF
      3. Framework for Automatic SDL to C++ Translation
        Dirk Trossen, Christian Cseh, Roman Kogan
        Pages 95-115
        PDF

    4. Test II

      1. Stress Testing of Distributed Multimedia Software Systems
        Jian Zhang, Shing-Chi Cheung, Samuel T. Chanson
        Pages 119-133
        PDF
      2. Fair Testing Through Probabilistic Testing
        Manuel Núñez, David Rupérez
        Pages 135-150
        PDF
      3. A Formal Approach to Conformance Testing of Distributed Routing Protocols
        Jun Bi, Jianping Wu
        Pages 151-163
        PDF

  3. Invited Talk II

    1. Front Matter
      Pages 165-165
      PDF

    2. FDTs II

      1. Deriving Activity Thread Implementations from Formal Descriptions Using Transition Reordering
        Peter Langendörfer, Hartmut König
        Pages 169-184
        PDF
      2. A Graphical Parallel Composition Operator for Process Algebras
        Hubert Garavel, Mihaela Sighireanu
        Pages 185-202
        PDF
      3. Guaranteeing Liveness in an Object Calculus Through Behavioral Typing
        Elie Najm, Abdelkrim Nimour, Jean-Bernard Stefani
        Pages 203-221
        PDF

    3. Model Checking

      1. Black Box Checking
        Doron Peled, Moshe Y. Vardi, Mihalis Yannakakis
        Pages 225-240
        PDF
      2. An Optimizing Compiler for Efficient Model Checking
        Yifei Dong, C. R. Ramakrishnan
        Pages 241-256
        PDF
      3. Exploiting Symmetry When Model-Checking Software
        Patrice Godefroid
        Pages 257-275
        PDF

    4. Verification

      1. User-Friendly Verification
        Pao-Ann Hsiung, Farn Wang
        Pages 279-294
        PDF
      2. Specification and Verification of Synchronous Hardware using LOTOS
        Ji He, Kenneth J. Turner
        Pages 295-312
        PDF

About this book

Introduction

Formal Methods for Protocol Engineering and Distributed Systems addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application, tools an industrialization of FDTs. Among the important features presented are:
  • FDT-based system and protocol engineering;
  • FDT application to distributed systems;
  • Protocol engineeering;
  • Practical experience and case studies.

Formal Methods for Protocol Engineering and Distributed Systems contains the proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification, which was sponsored by the International Federation for Information Processing (IFIP) and was held in Beijing, China, in October 1999.
This volume is suitable as a secondary text for a graduate level course on Distributed Systems or Communications, and as a reference for researchers and industry practitioners.

Keywords

Internet Protocol (IP) Routing TCP Transmission Control Protocol communication configuration distributed systems multimedia tools

Editors and affiliations

  • Jianping Wu
    • 1
  • Samuel T. Chanson
    • 2
  • Qiang Gao
    • 3
  1. 1.Tsinghua UniversityChina
  2. 2.Hong Kong University of Science & TechnologyChina
  3. 3.IVTChina

Bibliographic information

  • DOI https://doi.org/10.1007/978-0-387-35578-8
  • Copyright Information Springer-Verlag US 1999
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4757-5270-0
  • Online ISBN 978-0-387-35578-8
  • Series Print ISSN 1868-4238
  • Series Online ISSN 1868-422X
  • Buy this book on publisher's site