DocumentCode
2975528
Title
Towards near-real time data property specification and verification for Arctic hyperspectral sensor data
Author
Gallegos, Irbis ; Goswani, Santonu ; Gates, Ann Q. ; Tweedie, Craig E. ; Gamon, John
Author_Institution
Univ. of Texas at El Paso, El Paso, TX, USA
fYear
2011
fDate
18-20 March 2011
Firstpage
1
Lastpage
5
Abstract
Environmental scientists, especially those conducting studies in remote areas such as the Arctic, can benefit from assessing data quality from autonomous sensors in near-real time. The Data Assessment Run-Time (DART) framework was developed to allow environmental scientists to specify and verify data properties associated with autonomous sensors. Data properties are logical statements about data values associated with sensors and their relationship with other sensor output or properties derived from historical data. The properties can be verified at near-real time, i.e., as the data are being collected in the field, or through post-processing routines after the data has been collected. This paper describes a case study that evaluates the specification of data properties associated with hyperspectral sensor data and how the DART framework was used to verify these data in both near-real time and through post-processing.
Keywords
data handling; environmental science computing; formal specification; formal verification; real-time systems; remote sensing; Arctic hyperspectral sensor data; DART framework; data assessment run-time framework; data quality; environmental scientists; near-real time data property specification; near-real time data property verification; Hyperspectral imaging; Instruments; Monitoring; Robots; Sensors; Software; Data Quality; data assessment; information quality; near-real time data assessment; sensor data assessment;
fLanguage
English
Publisher
ieee
Conference_Titel
Fuzzy Information Processing Society (NAFIPS), 2011 Annual Meeting of the North American
Conference_Location
El Paso, TX
ISSN
Pending
Print_ISBN
978-1-61284-968-3
Electronic_ISBN
Pending
Type
conf
DOI
10.1109/NAFIPS.2011.5752047
Filename
5752047
Link To Document