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
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;
Conference_Titel :
Fuzzy Information Processing Society (NAFIPS), 2011 Annual Meeting of the North American
Conference_Location :
El Paso, TX
Print_ISBN :
978-1-61284-968-3
Electronic_ISBN :
Pending
DOI :
10.1109/NAFIPS.2011.5752047