by Wilkins D. and Denker, G. and Stehr, M.O. and Elenius, D. and Senanayake, R. and Talcott, C.
IEEE Wireless Communications, Special Issue on Cognitive Wireless Networks, vol. 14, no. 4, pp. 41-46, August 2007.
Abstract
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.
XG Policy Control
The vision of radically increased spectrum usage through XG-enabled radios requires regulatory bodies and spectrum holders to be convinced that the radios will follow rules and policies. This project will develop an expressive and extensible policy language with executable semantics, for describing policies that meet the needs of a wide variety of spectrum regulation bodies. We will also develop efficient reasoning algorithms to reason about policy compliance during radio operation.
