Formally Specifying and Validating Data Assurance Properties for Real Time Data Processing Applications

As global environmental conditions rapidly change, environmental scientists constantly use new data-intensive field-based instrument technologies to understand such changes. As the environmental sciences become more data driven, a need to develop mechanisms and procedures to verify the integrity of the data has increased. The quality of the data integrity verification mechanisms is as good as the quality of the properties specified. Thus, there is a need to develop an approach to allow scientists and non-software engineering domain experts to “formally” specify data assurance properties. This work defines an approach to formally specify real time data properties; and provides visualization of data properties that would allow users to validate whether the specified property captures the desired intent.

Keyword(s): 
assurance
real time
formally
Research Effort: