The PILOTS Programming Language
PILOTS is a ProgrammIng Language for
spatiO-Temporal data Streaming
applications, especially designed to be used for building
applications that run on moving objects such as airplanes,
cars, and so on. With very high-level specifications, users
can easily build applications that take spatio-temporal
data streams as an input and produce streams as outputs for
use by other applications such as actuator controls, data
mining/analyses/visualization, and error correction codes.
These applications can be treated as components of a larger stream processing system.
PILOTS is declarative in nature and follows a syntax similar to Pascal.
The unique language features in PILOTS are first-class support for data selection, data interpolation, and error recovery.
Data selection is used when no data is available at a specific location and time.
By interpolating the selected data, an application can view a set of heterogeneous data streams as a homogeneous data stream.
This enables a separation of concerns: application programmers can focus on their application model.
Error recovery is achieved by measuring an error function over time, and comparing its behavior to expert-created error signatures.
Alternatively, error detection/recovery models can be learned from data, in particular, using linear regression and dynamic Bayesian learning.
The PILOTS programming language was created by Carlos Varela and Shigeru Imai at Rensselaer Polytechnic Institute.
Current administrator(s) of the language are: Shigeru Imai (imais2 AT rpi DOT edu).
For information on PILOTS (such as motivation, specifications, techniques), refer to our PILOTS related publications.
For information on the Worldwide Computing Laboratory, and other work in progress, please see http://wcl.cs.rpi.edu.
Open Source Software and Data
(See the full release list here)
- (3/22/2019) PILOTS version 0.4.2 release
For users and developers
- View the PILOTS tutorials here.
- Developers should direct themselves to the PILOTS GitHub page.
- PILOTS requires the Java 1.6 SE Runtime Environment or newer.
- The PILOTS compiler is developed using JavaCC.
- Output visualization requires JFreeChart to run.
- Documentation for PILOTS is in development. It is beta release software. Comments/suggestions/patches are welcome!
Here is a video that demonstrates how a PILOTS program works with erroneous Angle-of-Attack sensor data such as allegedly observed in accidents involving the Boeing 737 Max 8 (Lion Air Flight 610, Ethiopian Airlines Flight 302)
Here is a video that demonstrates how a PILOTS program works with failed airspeed sensor data from Air France Flight 447 accident.
- (04/08/2019) "Too many airplane systems rely on too few sensors", The Conversation
- (03/24/2019) "Researchers at RPI study causes of fatal air crashes", Albany Times Union
- (02/28/2019) "Making Flight Systems Safer with Internet of Airplanes", RPI News
- (03/04/2019) "$325K airplane safety grant to RPI computer scientists", AP NEWS
- (01/31/2019) "Grant Awarded to Increase Intelligence in Aerospace Systems", The Approach
- (07/25/2014) "Carlos Varela, RPI - Improved Auto-Pilot Technology", The Academic Minute
- (04/10/2014) "Making Autopilot Systems Safer", aviationtoday.com
- (04/06/2014) "RPI research group working on a facet of airline problems currently in news", Troy Record
- (04/04/2014) "Software developed to detect, fix data errors", Albany Times Union
This project has been partially supported by the DDDAS program of the Air Force Office of Scientific Research (AFOSR), Grants No. - FA9550-19-1-0054, FA9550-15-1-0214, and FA9550-11-1-0332; National Science Foundation (NSF) Grants No. - CNS 1816307 and ECCS 1462342; and a Yamada Corporation Fellowship.
Last modified: April 11, 2019