• English
  • Deutsch
  • Log In
    Password Login
    Research Outputs
    Fundings & Projects
    Researchers
    Institutes
    Statistics
Repository logo
Fraunhofer-Gesellschaft
  1. Home
  2. Fraunhofer-Gesellschaft
  3. Artikel
  4. Case study in protocol validation
 
  • Details
  • Full
Options
1998
Journal Article
Title

Case study in protocol validation

Title Supplement
Validating the ATM signalling protocol
Abstract
This paper discusses validation techniques for communication protocols and analyzes the practical use of selected validation techniques in an automated manner. A case study on validating the ATM (Asynchronous Transfer Mode) Signalling Protocol as specified by ITU-T in Q.2931 is used for this analysis. Different error classes are identified and validated. An assessment of the different validation techniques in terms of effort and quality of results is given. As a result of the case study, an evaluation of the Q.2931 SDL specification completes the paper.
Author(s)
Vassiliou-Gioles, Theofanis
GMD FOKUS
Schieferdecker, Ina
GMD FOKUS
Journal
Formal aspects of computing  
DOI
10.1007/s001650050029
Language
English
Fraunhofer-Institut für Offene Kommunikationssysteme FOKUS  
Keyword(s)
  • ATM signalling

  • SDL

  • Cookie settings
  • Imprint
  • Privacy policy
  • Api
  • Contact
© 2024