Share Email Print
cover

Proceedings Paper

Using stochastic process algebra models to estimate the quality of information in military sensor networks
Format Member Price Non-Member Price
PDF $14.40 $18.00
cover GOOD NEWS! Your organization subscribes to the SPIE Digital Library. You may be able to download this paper for free. Check Access

Paper Abstract

In a typical military application, a wireless sensor network will operate in diffcult and dynamic conditions. Communication will be affected by local conditions, platform characteristics and power consumption constraints, and sensors may be lost during an engagement. It is clearly of great importance to decision makers to know what quality of information they can expect from a network in battlefield situations. We propose the development of a supporting technology founded in formal modeling, using stochastic process algebras for the development of quality of information measures. A simple example illustrates the central themes of outcome probability distribution prediction, and time-dependency analysis.

Paper Details

Date Published: 11 April 2008
PDF: 10 pages
Proc. SPIE 6965, Modeling and Simulation for Military Operations III, 696507 (11 April 2008); doi: 10.1117/12.777277
Show Author Affiliations
David J Thornley, Imperial College London (United Kingdom)
Chatschik Bisdikian, IBM Corp. (United States)
Duncan F. Gillies, Imperial College London (United Kingdom)


Published in SPIE Proceedings Vol. 6965:
Modeling and Simulation for Military Operations III
Dawn A. Trevisani, Editor(s)

© SPIE. Terms of Use
Back to Top