Policy-Based Cognitive Radios

We present a new language for expressing policies that allow opportunistic spectrum access while not causing interference. CoRaL has expressive constructs for numerical constraints, supports efficient reasoning, and will be verifiable. The language is extensible so that unanticipated policy types ca...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	IEEE wireless communications 2007-08, Vol.14 (4), p.41-46
Hauptverfasser:	Wilkins, David, Denker, Grit, Stehr, Mark-Oliver, Elenius, Daniel, Senanayake, Rukmam, Talcott, Carolyn
Format:	Artikel
Sprache:	eng
Schlagworte:	Certification Cognitive radio Construction Corals Extensibility Frequency Hardware Interference Interference constraints Logic devices Policies Radio Radiofrequency identification Radiofrequency interference Wireless communication Wireless networks
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	We present a new language for expressing policies that allow opportunistic spectrum access while not causing interference. CoRaL has expressive constructs for numerical constraints, supports efficient reasoning, and will be verifiable. The language is extensible so that unanticipated policy types can be encoded. We also describe a policy reasoner that reasons about CoRaL policies, and show how this reasoner can be used with various cognitive radios (in this case, an XG radio) to guarantee policy-specified behaviors while allowing spectrum sharing.
ISSN:	1536-1284 1558-0687
DOI:	10.1109/MWC.2007.4300982