• There are no items in your cart

ETR 298 : 20001

Current

Current

The latest, up-to-date edition.

METHODS FOR TESTING AND SPECIFICATION (MTS) - SPECIFICATION OF PROTOCOLS AND SERVICES - HANDBOOK FOR SDL ASN.1 AND MSC DEVELOPMENT

Available format(s)

Hardcopy , PDF

Language(s)

English

Foreword
1 Scope
2 References
3 Definitions and abbreviations
  3.1 Definitions
  3.2 Abbreviations
4 Introduction
5 Formalization of SDL (with ASN.1 and MSC)
  5.1 Criteria to start formalization
  5.2 Formalization steps
  5.3 Structure steps (S-steps)
  5.4 Behaviour steps (B-steps)
  5.5 Data steps (D-steps)
  5.6 Results of formalization
  5.7 Criteria for adequate formalization
6 Examples
  6.1 Presentation of the PUMI example
  6.2 PUMI example: the stepwise formalization
Annex A: Overview of ETS 300 414
      A.1 Introduction
      A.2 Normative interfaces
      A.3 Selection of SDL concepts
      A.4 Selection of Message Sequence Chart concepts
      A.5 Selection of ASN.1 concepts
Annex B: Overview of methodology
      B.1 The methodology activities
      B.2 The requirement collection activity
      B.3 The classification activity
      B.4 The draft design activity
      B.5 The formalization activity
      B.6 The derivation of a validation model activity
      B.7 The documentation activity
Annex C (informative): List of rules of ETS 300 414 [1]
Annex D: List of rules in formalization
Annex E: Allowed symbols
Annex F: Bibliography
History

Provides guidance to reporters and Project Team experts in applying some methodological steps when developing functional specifications within European Telecommunications Standards (ETSs).

Committee
MTS
DocumentType
Standard
Pages
77
PublisherName
European Telecommunications Standards Institute
Status
Current

EG 201 383 : 1.1.1 METHODS FOR TESTING AND SPECIFICATION (MTS) - USE OF SDL IN ETSI DELIVERABLES - GUIDELINES FOR FACILITATING VALIDATION AND THE DEVELOPMENT OF CONFORMANCE TESTS
EG 201 014 : 1.1.1 METHODS FOR TESTING AND SPECIFICATION (MTS); ETSI STANDARDS-MAKING; TECHNICAL QUALITY CRITERIA FOR TELECOMMUNICATIONS STANDARDS
TR 101 301 : 3.1.1 TELECOMMUNICATIONS AND INTERNET PROTOCOL HARMONIZATION OVER NETWORKS (TIPHON) RELEASE 4; RELEASE DEFINITION; TIPHON RELEASE 4 DEFINITION
TR 101 081 : 1.1.1 METHODS FOR TESTING AND SPECIFICATION (MTS); STRATEGY FOR THE USE OF FORMAL SDL FOR DESCRIPTIVE PURPOSES IN ETSI PRODUCTS
EG 202 107 : 1.1.1 METHODS FOR TESTING AND SPECIFICATION (MTS) - PLANNING FOR VALIDATION AND TESTING IN THE STANDARDS-MAKING PROCESS
TR 101 023-2 : 1.1.1 METHODS FOR TESTING AND SPECIFICATION (MTS); APPLICATION OF OBJECT-ORIENTED SDL FEATURES IN B-ISDN SPECIFICATIONS
EG 201 872 : 1.2.1 METHODS FOR TESTING AND SPECIFICATIONS; METHODOLOGICAL APPROACH TO THE USE OF OBJECT-ORIENTATION DESIGN IN THE STANDARDS MAKING PROCESS

ETS 300 414 : 20001 METHODS FOR TESTING AND SPECIFICATION (MTS) - USE OF SDL IN EUROPEAN TELECOMMUNICATION STANDARDS RULES FOR TESTABILITY AND FACILITATING VALIDATION

View more information
US$47.91
Excluding Tax where applicable

Access your standards online with a subscription

Features

  • Simple online access to standards, technical information and regulations.

  • Critical updates of standards and customisable alerts and notifications.

  • Multi-user online standards collection: secure, flexible and cost effective.