Efficient Rule Engine for Smart Building Systems

In smart building systems, the automatic control of devices relies on matching the sensed environment information to customized rules. With the development of wireless sensor and actuator networks (WSANs), low-cost and self-organized wireless sensors and actuators can enhance smart building systems, but produce abundant sensing data. Therefore, a rule engine with ability of efficient rule matching is the foundation of WSANs based smart building systems. However, traditional rule engines mainly focus on the complex processing mechanism and omit the amount of sensing data, which are not suitable for large scale WSANs based smart building systems. To address these issues, we build an efficient rule engine. Specifically, we design an atomic event extraction module for extracting atomic event from data messages, and then build a β-network to acquire the atomic conditions for parsing the atomic trigger events. Taking the atomic trigger events as the key set of MPHF, we construct the minimal perfect hash table which can filter the majority of the unused atomic event with O(1) time overhead. Moreover, a rule engine adaption scheme is proposed to minimize the rule matching overhead. We implement the proposed rule engine in a practical smart building system. The experimental results show that the rule engine can perform efficiently and flexibly with high data throughput and large rule set.

[1]  Dongyun Wang,et al.  The Improvement Research on Rule Matching Algorithm Rete in Electronic Commerce Application Systems , 2008, 2008 4th International Conference on Wireless Communications, Networking and Mobile Computing.

[2]  Wei Chen,et al.  RIF2Jess: Inferencing RIF Rules via Translation to Jess Rules , 2009, 2009 International Conference on Computational Intelligence and Software Engineering.

[3]  Thomas Weng,et al.  Occupancy-driven energy management for smart building automation , 2010, BuildSys '10.

[4]  Masahide Nakamura,et al.  Considering impacts and requirements for better understanding of environment interactions in home network services , 2013, Comput. Networks.

[5]  Xinming Li,et al.  A Rule Verification and Resolution Framework in Smart Building System , 2013, 2013 International Conference on Parallel and Distributed Systems.

[6]  Xi Hongsheng,et al.  Application of CLIPS Expert System to Malware Detection System , 2008, 2008 International Conference on Computational Intelligence and Security.

[7]  Charles Lanny Forgy,et al.  On the efficient implementation of production systems. , 1979 .

[8]  Sajal K. Das,et al.  A Trust-Based Framework for Fault-Tolerant Data Aggregation in Wireless Multimedia Sensor Networks , 2012, IEEE Transactions on Dependable and Secure Computing.

[9]  Michael Inggs,et al.  Scheduling Mixed-Architecture Processes in Tightly Coupled FPGA-CPU Reconfigurable Computers , 2013, FCCM 2013.

[10]  Daniel P. Miranker TREAT: A Better Match Algorithm for AI Production System Matching , 1987, AAAI.

[11]  Charles L. Forgy,et al.  Rete: a fast algorithm for the many pattern/many object pattern match problem , 1991 .

[12]  Zoran Milosevic,et al.  Implementing B2B contracts using BizTalk , 2001, Proceedings of the 34th Annual Hawaii International Conference on System Sciences.

[13]  Yoshiharu Kohayakawa,et al.  A Practical Minimal Perfect Hashing Method , 2005, WEA.

[14]  Rami Cohen,et al.  Exact Worst Case TCAM Rule Expansion , 2013, IEEE Transactions on Computers.

[15]  Yanlei Diao,et al.  High-performance complex event processing over streams , 2006, SIGMOD Conference.

[16]  Mohsen Guizani,et al.  Intelligent Service Monitoring and Support , 2009, 2009 IEEE International Conference on Communications.

[17]  Paola Mello,et al.  A Configurable Rete-OO Engine for Reasoning with Different Types of Imperfect Information , 2010, IEEE Transactions on Knowledge and Data Engineering.

[18]  Mark Proctor,et al.  Relational Declarative Programming with JBoss Drools , 2007, Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2007).

[19]  Alexander Löser,et al.  Temporal constraints for rule-based event processing , 2007, PIKM '07.

[20]  Ning Wang,et al.  IRETE: An improved RETE multi-entity match algorithm , 2011, 2011 International Conference on Electronics, Communications and Control (ICECC).

[21]  Yi Xie,et al.  An Improved Object-Oriented Rete Algorithm and Network Structure Model , 2010, 2010 2nd International Symposium on Information Engineering and Electronic Commerce.

[22]  Hyesook Lim,et al.  Hierarchical Binary Search Tree for Packet Classification , 2007, IEEE Communications Letters.

[23]  Di Liu,et al.  Rule Engine based on improvement Rete algorithm , 2010, The 2010 International Conference on Apperceiving Computing and Intelligence Analysis Proceeding.

[24]  Kenneth J. Turner,et al.  Policy conflicts in home automation , 2013, Comput. Networks.

[25]  Xiao Ying Zhang,et al.  Smart Building Control Based on Wireless Sensor-Actuator Networks , 2012 .

[26]  Tino Breddin,et al.  Relative temporal constraints in the Rete algorithm for complex event detection , 2008, DEBS.

[27]  Georgios I. Papadimitriou,et al.  Generalizing the Square Root Rule for Optimal Periodic Scheduling in Push-Based Wireless Environments , 2013, IEEE Transactions on Computers.

[28]  Don Batory The LEAPS Algorithm , 1994 .

[29]  Zhan Zhang,et al.  Minimizing the Maximum Firewall Rule Set in a Network with Multiple Firewalls , 2010, IEEE Transactions on Computers.

[30]  Bruno Berstel,et al.  Extending the RETE algorithm for event management , 2002, Proceedings Ninth International Symposium on Temporal Representation and Reasoning.