March, 2000

Cypher/NISTSlide 1

doc.: IEEE 802.15-00/044r0

Submission

Project: IEEE P802.15 Working Group for Wireless Personal Area Networks (WPANs)Project: IEEE P802.15 Working Group for Wireless Personal Area Networks (WPANs)

Submission Title: [Overview of SDLs (BB, LMP, and L2CAP)]Date Submitted: [6 March, 2000]Source: [David Cypher] Company [NIST]Address [100 Bureau Drive, STOP 8920, Gaithersburg, MD 20899-8920]Voice:[+1 (301) 975 4855], FAX: [+1 301 590 0932], E-Mail:[david.cypher@nist.gov]

Re: []

Abstract: [This contribution provides the overview and introduction to the SDLs for the MAC sublayer that are contained in three separate contributions:]

Purpose: [To inform the March, 2000 participants of the current status of the SDLs for the MAC sublayer. Also to inform the group of what the SDL are and what they are not in order to reach agreement on how to proceed with the SDL development for the IEEE 802.15.1 TG1 Draft Standard (IEEE802-15 DX/X (Annex B)]

Notice: This document has been prepared to assist the IEEE P802.15. It is offered as a basis for discussion and is not binding on the contributing individual(s) or organization(s). The material in this document is subject to change in form and content after further study. The contributor(s) reserve(s) the right to add, amend or withdraw material contained herein.Release: The contributor acknowledges and accepts that this contribution becomes the property of IEEE and may be made publicly available by P802.15. Contribution of the NIST, not subject to copyright in the United States of America.

March, 2000

Cypher/NISTSlide 2

doc.: IEEE 802.15-00/044r0

Submission

Overview and Introduction to the SDLs for the MAC Sublayer

References:IEEE P802.15-00/045r0 - Baseband

IEEE P802.15-00/046r0 - Link Manager Protocol

IEEE P802.15-00/001r2 - Logical Link Control Adaptation Protocol

March, 2000

Cypher/NISTSlide 3

doc.: IEEE 802.15-00/044r0

Submission

What is SDL

• Specification and Description Language

• Standardized by ITU-T in the Z-seriesMainly ITU-T Recommendation Z.100

March, 2000

Cypher/NISTSlide 4

doc.: IEEE 802.15-00/044r0

Submission

Why use SDL

• Provides Clear and Unambiguous Description of … (e.g. Protocols, or Systems)

• Simulation, Validation, and Verification tools available for SDLs

• Conversion tools available to take SDL in and generate “useable code” or “TTCN tests”

March, 2000

Cypher/NISTSlide 5

doc.: IEEE 802.15-00/044r0

Submission

When to create SDLs

• In the beginning

• Not after the protocol is described by other means (e.g. English text)

• After English text to aid in protocol review, validation, and testing.

March, 2000

Cypher/NISTSlide 6

doc.: IEEE 802.15-00/044r0

Submission

SDLs consist of

• System block

• One or more Blocks

• Process (at least one)(Flow chart)

• Processes can be dynamically allocated, blocks can not

March, 2000

Cypher/NISTSlide 7

doc.: IEEE 802.15-00/044r0

Submission

Details of SDL

• Describes System Behavior in abstract terms

• Describes Coding in abstract terms

• May Describe Coding in ASN.1 format

March, 2000

Cypher/NISTSlide 8

doc.: IEEE 802.15-00/044r0

Submission

Sample

System Block

Block A

Block B

Block

Process

Process

March, 2000

Cypher/NISTSlide 9

doc.: IEEE 802.15-00/044r0

Submission

Testing SDLs

Single System/Block/Process Peer System/Block/Process_type

“Like Conformance Testing” “Like Interoperability Testing”

March, 2000

Cypher/NISTSlide 10

doc.: IEEE 802.15-00/044r0

Submission

Where are SDLs

• L2CAP

• LMP

• BB

March, 2000

Cypher/NISTSlide 11

doc.: IEEE 802.15-00/044r0

Submission

SDL Development

• L2CAP is defined as a “Process type”,so it can be used in various scenarios.

• LMP is defined as a “Process type”,so it can be used in various scenarios.

• BB is only a process. It has not been converted into a “process type”

March, 2000

Cypher/NISTSlide 12

doc.: IEEE 802.15-00/044r0

Submission

Simulating, Validating, and Verifying the SDLs

• L2CAP and LMP has been validated in a peer to peer environment. Only begun validating in a single environment.

• BB has been validated in a single environment. Errors are present. Need to decide how to correct/proceed.

March, 2000

Cypher/NISTSlide 13

doc.: IEEE 802.15-00/044r0

Submission

Current Status and Plans

• Attempting to integrate three SDLs into one SDL, but ambiguity exists in the Bluetooth Specification, which hampers development

• Implementation decisions (TX/RX) also hampering integration

• Continue to do behavior and SDL data structure in the abstract, not actual coding