CARLOG: a platform for flexible and efficient automotive sensing

Automotive apps can improve efficiency, safety, comfort, and longevity of vehicular use. These apps achieve their goals by continuously monitoring sensors in a vehicle, and combining them with information from cloud databases in order to detect events that are used to trigger actions (e.g., alerting a driver, turning on fog lights, screening calls). However, modern vehicles have several hundred sensors that describe the low level dynamics of vehicular subsystems, these sensors can be combined in complex ways together with cloud information. Moreover, these sensor processing algorithms may incur significant costs in acquiring sensor and cloud information. In this paper, we propose a programming framework called CARLOG to simplify the task of programming these event detection algorithms. CARLOG uses Datalog to express sensor processing algorithms, but incorporates novel query optimization methods that can be used to minimize bandwidth usage, energy or latency, without sacrificing correctness of query execution. Experimental results on a prototype show that CARLOG can reduce latency by nearly two orders of magnitude relative to an unoptimized Datalog engine.

[1]  Philip Levis,et al.  The design and implementation of a declarative sensor network system , 2007, SenSys '07.

[2]  Richard P. Martin,et al.  Detecting driver phone use leveraging car speakers , 2011, MobiCom.

[3]  Catriel Beeri,et al.  On the power of magic , 1987, J. Log. Program..

[4]  Russell Greiner,et al.  Finding optimal satisficing strategies for and-or trees , 2006, Artif. Intell..

[5]  Patrick Weber,et al.  OpenStreetMap: User-Generated Street Maps , 2008, IEEE Pervasive Computing.

[6]  Wei Hong,et al.  TinyDB: an acquisitional query processing system for sensor networks , 2005, TODS.

[7]  Insik Shin,et al.  SymPhoney: a coordinated sensing flow execution engine for concurrent mobile sensing applications , 2012, SenSys '12.

[8]  P. Pongpaibool,et al.  Detection of hazardous driving behavior using fuzzy logic , 2008, 2008 5th International Conference on Electrical Engineering/Electronics, Computer, Telecommunications and Information Technology.

[9]  Richard P. Martin,et al.  Sensing vehicle dynamics for determining driver phone use , 2013, MobiSys '13.

[10]  Hari Balakrishnan,et al.  Code in the air: simplifying sensing and coordination tasks on smartphones , 2012, HotMobile '12.

[11]  David Maier,et al.  Magic sets and other strange ways to implement logic programs (extended abstract) , 1985, PODS '86.

[12]  Fanglin Chen,et al.  CarSafe app: alerting drowsy and distracted drivers using dual cameras on smartphones , 2013, MobiSys.

[13]  Raghu Ramakrishnan,et al.  Review - Magic Sets and Other Strange Ways to Implement Logic Programs , 1999, ACM SIGMOD Digit. Rev..

[14]  Qing Guo,et al.  Balancing energy, latency and accuracy for mobile sensor data classification , 2011, SenSys.

[15]  Marc Snir,et al.  Lower Bounds on Probabilistic Linear Decision Trees , 1985, Theor. Comput. Sci..

[16]  Matthias Jarke,et al.  Logic Programming and Databases , 1984, Expert Database Workshop.

[17]  Ramesh Govindan,et al.  CarMA: towards personalized automotive tuning , 2011, SenSys.

[18]  Youngki Lee,et al.  Orchestrator: An active resource orchestration framework for mobile context monitoring in sensor-rich mobile environments , 2010, 2010 IEEE International Conference on Pervasive Computing and Communications (PerCom).

[19]  Youngki Lee,et al.  SeeMon: scalable and energy-efficient context monitoring framework for sensor-rich mobile environments , 2008, MobiSys '08.

[20]  Letizia Tanca,et al.  Optimization of Systems of Algebraic Equations for Evaluating Datalog Queries , 1987, VLDB.

[21]  Yoshiharu Kohayakawa,et al.  Querying Priced Information in Databases: The Conjunctive Case , 2004, LATIN.

[22]  Georg Gottlob,et al.  Translation and Optimization of Logic Queries: The Algebraic Approach , 1986, VLDB.

[23]  Zhiwei Zhu,et al.  Real time and non-intrusive driver fatigue monitoring , 2004, Proceedings. The 7th International IEEE Conference on Intelligent Transportation Systems (IEEE Cat. No.04TH8749).

[24]  Seth Copen Goldstein,et al.  Meld: A declarative approach to programming ensembles , 2007, 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[25]  Ferdinando Cicalese,et al.  A new strategy for querying priced information , 2005, STOC '05.

[26]  Karl Henrik Johansson,et al.  Vehicle Applications of Controller Area Network , 2005, Handbook of Networked and Embedded Control Systems.

[27]  Shan Shan Huang,et al.  Datalog and emerging applications: an interactive tutorial , 2011, SIGMOD '11.

[28]  Laurent Vieille,et al.  Recursive Axioms in Deductive Databases: The Query/Subquery Approach , 1986, Expert Database Conf..

[29]  Mohan M. Trivedi,et al.  Driving style recognition using a smartphone as a sensor platform , 2011, 2011 14th International IEEE Conference on Intelligent Transportation Systems (ITSC).

[30]  Letizia Tanca,et al.  What you Always Wanted to Know About Datalog (And Never Dared to Ask) , 1989, IEEE Trans. Knowl. Data Eng..

[31]  François Bancilhon,et al.  Naive Evaluation of Recursively Defined Relations , 1986, On Knowledge Base Management Systems.

[32]  Hussein Zedan,et al.  Context-Aware Driver Behavior Detection System in Intelligent Transportation Systems , 2013, IEEE Transactions on Vehicular Technology.

[33]  Barry Bishop,et al.  IRIS-Integrated Rule Inference System , 2008 .

[34]  Yanhong A. Liu,et al.  Graph queries through datalog optimizations , 2010, PPDP.

[35]  Massimo Canale,et al.  Analysis and Classification of Human Driving Behaviour in an Urban Environment* , 2002, Cognition, Technology & Work.

[36]  Jason Flinn,et al.  AMC: verifying user interface properties for vehicular applications , 2013, MobiSys '13.

[37]  Mohammad Mahdian,et al.  A Cascade Model for Externalities in Sponsored Search , 2008, WINE.

[38]  J. D. Uiiman Principles of database systems , 1982 .

[39]  Laurent Vieille,et al.  A Database-Complete Proof Procedure Based on SLD-Resolution , 1987, ICLP.

[40]  Yi Wang,et al.  A framework of energy efficient mobile sensing for automatic user state recognition , 2009, MobiSys '09.

[41]  Ramesh Govindan,et al.  Odessa: enabling interactive perception applications on mobile devices , 2011, MobiSys '11.

[42]  Ramesh Govindan,et al.  Medusa: a programming framework for crowd-sensing applications , 2012, MobiSys '12.

[43]  Suman Nath,et al.  ACE: Exploiting Correlation for Energy-Efficient and Continuous Context Sensing , 2012, IEEE Transactions on Mobile Computing.