%0 Conference Proceedings
%T Coordination of ECA Rules by Verification and Control
%+ Control for Autonomic computing systems (CTRL-A)
%+ Université Joseph Fourier - Grenoble 1 (UJF)
%A Cano, Julio
%A Delaval, Gwenaël
%A Rutten, Eric
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B COORDINATION 2014 - 16th International Conference on Coordination Models and Languages
%C Berlin, Germany
%Y David Hutchison
%Y Takeo Kanade
%Y Doug Tygar
%Y Gerhard Weikum
%Y Eva Kühn
%Y Rosario Pugliese
%Y Josef Kittler
%Y Jon M. Kleinberg
%Y Alfred Kobsa
%Y Friedemann Mattern
%Y John C. Mitchell
%Y Moni Naor
%Y Oscar Nierstrasz
%Y C. Pandu Rangan
%Y Bernhard Steffen
%Y Demetri Terzopoulos
%I Springer
%3 Coordination Models and Languages
%V LNCS-8459
%P 33-48
%8 2014-06-03
%D 2014
%R 10.1007/978-3-662-43376-8_3
%K ECA rules, verification, controller synthesis
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X 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.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-01290066/document
%2 https://inria.hal.science/hal-01290066/file/326181_1_En_3_Chapter.pdf
%L hal-01290066
%U https://inria.hal.science/hal-01290066
%~ UGA
%~ CNRS
%~ INRIA
%~ UNIV-GRENOBLE1
%~ UNIV-PMF_GRENOBLE
%~ INPG
%~ INRIA-RHA
%~ LIG
%~ INRIA_TEST
%~ LIG_SRCPR_NANOSIM
%~ TESTALAIN1
%~ IFIP-LNCS
%~ IFIP
%~ INRIA2
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-LNCS-8459
%~ HEPTAGON
%~ LIG-GLSI-CTRL-A
%~ INRIA-RENGRE
%~ LIG_SIDCH