This standard defines a policy language for interoperable, vendor-independent control of Dynamic Spectrum Access functionality and behavior in radio systems and wireless networks. The standard provides a formal language that specifies policies for radio devices which use cognitive patterns in their operating behavior. The standard uses ontological modeling in conjunction with logic rules to provide the informational basis for knowledge representation and entailing statements for cognitive radios. This standard provides: 1. The syntax documentation of the policy language 2. The semantics of syntactical phrases based on Floyd-Hoare axiomatic semantics paradigm. 3. The verification of the policy language against IEEE Std 1900.5 stipulations 4. An exemplary demonstration of the applicability of the policy language to compatibility constraints defined in IEEE Std 1900.5.2 5. Demonstration that the policy language can be implemented by a reference interpreter/compiler
- Standard Committee
- COM/DySPAN-SC - Dynamic Spectrum Access Networks Standards Committee
- Status
- Active PAR
- PAR Approval
- 2023-12-06
- Superseding
- 1900.5.1-2020
Working Group Details
- Society
- IEEE Communications Society
- Standard Committee
- COM/DySPAN-SC - Dynamic Spectrum Access Networks Standards Committee
- Working Group
-
DYSPAN-P1900.5 - Policy Language and Architectures for Managing Cognitive Radio for Dynamic Spectrum Access Applications
- IEEE Program Manager
- Dalisa Gonzalez
Contact Dalisa Gonzalez - Working Group Chair
- John Stine
Other Activities From This Working Group
Current projects that have been authorized by the IEEE SA Standards Board to develop a standard.
P1900.5
Standard for Requirements and System Architectures for Dynamic Spectrum Access Systems
This standard defines a vendor-independent set of architecture requirements, components, and interfaces for managing the functionality and behavior of Dynamic Spectrum Access networks.
P1900.5.2
IEEE Draft Standard Method for Modeling Spectrum Consumption
A vendor-independent generalized method for modeling spectrum consumption of any type of use of radio frequency spectrum and the attendant computations for arbitrating the compatibility among models are defined in this standard. The methods of modeling are chosen to support the development of tractable algorithms for determining the compatibility between models and for performing various spectrum management tasks that operate on a plurality of models. The modeling methods are exclusively focused on capturing spectrum use but are defined in a schema that can be joined with other schemata related to spectrum management
Standards approved by the IEEE SA Standards Board that are within the 10-year lifecycle.
1900.5.1-2020
IEEE Standard for Policy Language for Dynamic Spectrum Access Systems
A vendor-independent policy language for managing the functionality and behavior of dynamic spectrum access networks based on the language requirements defined in IEEE Std 1900.5™, IEEE Standard Policy Language Requirements and System Architectures for Dynamic Spectrum Access Systems, is defined in this standard.
1900.5.2-2017
IEEE Standard for Method for Modeling Spectrum Consumption
A vendor-independent generalized method for modeling spectrum consumption of any type of use of radio frequency spectrum and the attendant computations for arbitrating the compatibility among models are defined in this standard. The methods of modeling are chosen to support the development of tractable algorithms for determining the compatibility between models and for performing various spectrum management tasks that operate on a plurality of models. The modeling methods are exclusively focused on capturing spectrum use but are defined in a schema that can be joined with other schemata related to spectrum management.
These standards have been replaced with a revised version of the standard, or by a compilation of the original active standard and all its existing amendments, corrigenda, and errata.
No Superseded Standards
These standards have been removed from active status through a ballot where the standard is made inactive as a consensus decision of a balloting group.
No Inactive-Withdrawn Standards
These standards are removed from active status through an administrative process for standards that have not undergone a revision process within 10 years.
1900.5-2011
IEEE Standard for Policy Language Requirements and System Architectures for Dynamic Spectrum Access Systems
This standard defines a vendor-independent set of policy-based control architectures and corresponding policy language requirements for managing the functionality and behavior of dynamic spectrum access networks.