Programming spatio-temporal data streaming applications with high-level specifications
Programming spatio-temporal data streaming applications with high-level specifications
复制标题
使用高级规范对时空数据流应用程序进行编程
DOI：
--
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
Carlos A. Varela
中科院分区：
文献类型：
--
作者：
Shigeru Imai;Carlos A. Varela
在本文中，我们描述了用于时空数据流应用的编程语言PILOTS的设计和实现。使用PILOTS，应用程序开发人员可以通过编写高级声明性程序规范，轻松编写处理时空数据流的应用程序。
In this paper, we describe the design and implementation of PILOTS, a ProgrammIng Language for spatiO-Temporal data Streaming applications. Using PILOTS, application developers can easily program an application that handles spatio-temporal data streams by writing a high-level declarative program specification.
Whereas spatio-temporal data is available with various spatial density and time frequency depending on data sources (e.g., weather forecast data can be given hourly/-daily for a vast geographic area, while GPS data can be given every second or at a higher frequency for a specific geographic location), applications often need to process data at a constant frequency. To view such heterogeneous data streams as homogeneous data streams, PILOTS specifically provides first-class support for data selection and interpolation so that applications can get data consistently regardless of the data's original spatio-temporal heterogeneity.
To enable reasoning about errors in correlated spatio-temporal data streams, we introduce the notion of error signatures, patterns in output data streams that appear when input data is erroneous. These patterns are produced thanks to a mathematical model that explicitly specifies the redundancy exhibited in the input data. PILOTS applications readily produce error signatures, which can be an important tool to semi-automatically detect data error conditions and enable better decision support systems.
As a motivating application, we illustrate a PILOTS program that receives as input data: the airspeed, the ground speed, and the wind speed for a flight. We then compute the error signatures exhibited by failing the airspeed data stream simulating a pitot tube icing scenario (such as the one occurring in Air France flight 447 in June 2009 ultimately killing all people onboard), and by failing the ground speed data stream simulating a GPS constellation shutdown.