• 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