About XG & XG Policy Control
DARPA's Next Generation (XG) program goals are to develop enabling technology and system concepts to dynamically redistribute allocated spectrum along with novel waveforms in order to provide dramatic improvements in assured military communications in support of a full range of worldwide deployments SRI is sole performer on the XG Policy Control project.
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. SRI's XG Policy Control project is developing 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 are also developing efficient reasoning algorithms to reason about policy compliance during radio operation. SRI is sole performer on the XG Policy Control project. The main innovations of our project include:
- An expressive and extensible policy language with executable semantics, for describing policies that meet the needs of a wide variety of spectrum regulation bodies, and for supporting policy reuse and efficient reasoning via a disciplined use of multiple inheritance class structures and meta-policies.
- A policy conformance algorithm that checks the compliance of candidate transmissions using efficient, state-of-the-art rewriting technology. The design of the algorithm is independent of, yet easy to integrate into, any radio design, to encourage competitive, best-of-breed XG radio development.
- A capability to search for transmission candidates if the radio makes an underspecified, unbound transmission request, using fast decision procedures that yield candidate parameter bindings for satisfiable policies. This can considerably increase the use of existing spectrum opportunities of which a radio is not aware.
- The policy language and the reasoning algorithms will be designed to be robust in the presence of conflicts as well as the absence of complete information.
A video clip recorded at the IEEE DySPAN 2007 Conference, Dublin, in April 2007 gives an overview of the XG reasoner. The XG Policy Control posters shown in the video can be downloaded here.
SRI XG Team
- Grit Denker (Principal Investigator)
- Daniel Elenius
- Mark-Oliver Stehr
- Rukman Senanayake
- Carolyn Talcott
- David Wilkins
Contact
Grit Denker: Grit.Denker@sri.com
333 Ravenswood Ave, M/S EL284
Menlo Park, CA 94025
Office: +1 650 859 6058
Fax: +1 650 859 2844