Coordination of ECA Rules by Verification and Control
Event-Condition-Action (ECA) rules are a widely used language for the high level specification of controllers in adaptive systems, such as Cyber-Physical Systems and smart environments, where devices equipped with sensors and actuators are controlled according to a set of rules. The evaluation and execution of every ECA rule is considered to be independent from the others, but interactions of rule actions can cause the system behaviors to be unpredictable or unsafe. Typical problems are in redundancy of rules, inconsistencies, circularity, or application-dependent safety issues. Hence, there is a need for coordination of ECA rule-based systems in order to ensure safety objectives. We propose a tool-supported method for verifying and controlling the correct interactions of rules, relying on formal models related to reactive systems, and Discrete Controller Synthesis (DCS) to generate correct rule controllers.
Unable to display preview. Download preview PDF.
- 4.Ericsson, A.: Enabling Tool Support for Formal Analysis of ECA Rules. Phd thesis, University of Skövde (2009)Google Scholar
- 8.Gürgen, L., Cherbal, A., Sharrock, R., Honiden, S.: Autonomic management of heterogeneous sensing devices with ECA rules. In: 2011 IEEE International Conference on Communications Workshops (ICC), pp. 1–5 (2011)Google Scholar
- 9.Halbwachs, N.: Synchronous Programming of Reactive Systems. Springer (2010)Google Scholar
- 10.Keeney, J., Cahill, V.: Chisel: a policy-driven, context-aware, dynamic adaptation framework. In: Proceedings POLICY 2003. IEEE 4th International Workshop on Policies for Distributed Systems and Networks, pp. 3–14 (2003)Google Scholar
- 11.Lee, W., Lee, S., Lee, K.: Conflict Detection and Resolution method in WS-ECA framework. In: The 9th International Conference on Advanced Communication Technology, pp. 786–791 (February 2007)Google Scholar
- 12.Marchand, H., Bournai, P., Borgne, M., Guernic, P.: Synthesis of discrete-event controllers based on the signal environment. Discrete Event Dynamic System: Theory and Applications, 1–26 (2000)Google Scholar
- 13.Paschke, A.: ECA-RuleML: An approach combining ECA rules with temporal interval-based KR event/action logics and transactional update logics. Computer Research Repository, abs/cs/061 (2006)Google Scholar
- 15.Yoon, J.P.: Techniques for data and rule validation in knowledge based systems. In: Proceedings of the Fourth Annual Conference on Computer Assurance, ’Systems Integrity, Software Safety and Process Security, pp. 62–70 (1989)Google Scholar
- 16.Zhang, J., Cheng, B.: Specifying adaptation semantics. ACM SIGSOFT Software Engineering Notes, 1–7 (2005)Google Scholar
- 17.Zhang, J., Cheng, B.: Model-based development of dynamically adaptive software. In: Proc. of the 28th International Conference on Software Engineering (2006)Google Scholar
- 18.Zhang, J., Moyne, J., Tilbury, D.: Verification of ECA rule based management and control systems. In: IEEE Int. Conf. Automation Science and Engineering (2008)Google Scholar
- 19.Zhao, M., Privat, G., Rutten, E., Alla, H.: Discrete Control for the Internet of Things and Smart Environments. In: Int. Workshop on Feedback Computing (2013)Google Scholar