Validating CRRM for Aeronautical Communications Using a Formal Description Technique

摘要

This paper presents a Collaborative Radio Resource Management (CRRM) scheme to support seamless aeronautical networking. The CRRM exploits the IEEE 802.21 Media Independent Handover (MIH) framework and the ETSI Broadband Satellite Multimedia (BSM) SI-SAP concept to split the CRRM functions between the upper layers (layer 3 and above) and the lower layer (link layer and physical layer) of an aircraft terminal. Upper layer functions are managed by an Integrated Router (IR) on-board the aircraft and lower layer functions are provided by an on-board Integrated Modular Radio (IMR) consisting of heterogeneous radio access technologies. A Joint Radio Resource Manager (JRRM) provides the abstraction layer between the IR and IMR for mapping higher layer functions into lower layer functions to enable collaboration. The specification and design of the CRRM scheme is used to maintain a close collaboration to perform connection establishment functions and to support seamless handovers between different radio technologies. A detailed description of the CRRM mechanisms is presented. Message procedure charts are presented by combining MIH primitives and BSM primitives for session establishment and handover management. The design of this CRRM model is based on the Specification and Description Language (SDL) which is the most widely accepted formal description technique that enables model design validation and testing. The dynamic behavior and functionality- of this CRRM scheme is validated using simulation in conjunction with the Message Sequence Chart (MSC). A set of validation scenarios have been simulated to show that the SDL model guarantees a good consistency with the designed target.