Coordination of ECA Rules by Verification and Control

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8459)

Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Beauvais, J.-R., Rutten, E., Gautier, T., Houdebine, R., Le Guernic, P., Tang, Y.-M.: Modeling statecharts and activitycharts as signal equations. ACM Transactions on Software Engineering and Methodology 10(4), 397–451 (2001)CrossRefGoogle Scholar
  2. 2.
    Delaval, G., Rutten, É., Marchand, H.: Integrating discrete controller synthesis into a reactive programming language compiler. Discrete Event Dynamic Systems 23(4), 385–418 (2013)CrossRefMATHGoogle Scholar
  3. 3.
    Dittrich, K., Gatziu, S., Geppert, A.: The Active Database Management System Manifesto: A Rulebase of ADBMS Features. In: Sellis, T.K. (ed.) RIDS 1995. LNCS, vol. 985, pp. 1–17. Springer, Heidelberg (1995)CrossRefGoogle Scholar
  4. 4.
    Ericsson, A.: Enabling Tool Support for Formal Analysis of ECA Rules. Phd thesis, University of Skövde (2009)Google Scholar
  5. 5.
    Fleurey, F., Solberg, A.: A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems. In: Schürr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol. 5795, pp. 606–621. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  6. 6.
    Gueye, S.M.K., de Palma, N., Rutten, E.: Component-based autonomic managers for coordination control. In: De Nicola, R., Julien, C. (eds.) COORDINATION 2013. LNCS, vol. 7890, pp. 75–89. Springer, Heidelberg (2013)CrossRefGoogle Scholar
  7. 7.
    Guillet, S., Bouchard, B., Bouzouane, A.: Correct by construction security approach to design fault tolerant smart homes for disabled people. Procedia Computer Science 21, 257–264 (2013)CrossRefGoogle Scholar
  8. 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. 9.
    Halbwachs, N.: Synchronous Programming of Reactive Systems. Springer (2010)Google Scholar
  10. 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. 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. 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. 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
  14. 14.
    Turker, C., Gertz, M.: Semantic Integrity Support in SQL-99 and Commercial Object- Relational Database Management Systems. The International Journal on Very Large Data Bases 10(4), 241–269 (2001)CrossRefGoogle Scholar
  15. 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. 16.
    Zhang, J., Cheng, B.: Specifying adaptation semantics. ACM SIGSOFT Software Engineering Notes, 1–7 (2005)Google Scholar
  17. 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. 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. 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

Copyright information

© IFIP International Federation for Information Processing 2014

Authors and Affiliations

  1. 1.INRIAGrenobleFrance
  2. 2.LIGUJFGrenobleFrance

Personalised recommendations