Active PAR

P1900.5.1

Standard for Policy Language for Dynamic Spectrum Access Systems

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

Sponsor Committee
COM/DySPAN-SC - Dynamic Spectrum Access Networks Standards Committee
Learn More About 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
Learn More About IEEE Communications Society
Sponsor Committee
COM/DySPAN-SC - Dynamic Spectrum Access Networks Standards Committee
Learn More About 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
Jennifer Santulli
Contact Jennifer Santulli
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.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

Learn More About P1900.5.2

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.

Learn More About 1900.5.1-2020

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.

Learn More About 1900.5.2-2017

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.

Learn More About 1900.5-2011

Subscribe

Sign up for our monthly newsletter to learn about new developments, including resources, insights and more.