Skip to Main content Skip to Navigation
Conference papers

Coordination of ECA rules by verification and control

Julio Cano 1 Gwenaël Delaval 2 Eric Rutten 1
1 CTRL-A - Control for Autonomic computing systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble [2007-2015]
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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [5 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01006186
Contributor : Gwenaël Delaval <>
Submitted on : Monday, June 16, 2014 - 11:44:16 AM
Last modification on : Thursday, July 9, 2020 - 9:44:49 AM
Document(s) archivé(s) le : Tuesday, September 16, 2014 - 10:55:25 AM

File

coord14.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01006186, version 1

Citation

Julio Cano, Gwenaël Delaval, Eric Rutten. Coordination of ECA rules by verification and control. 16th International Conference on Coordination Models and Languages, Jun 2014, Berlin, Germany. 16 p. ⟨hal-01006186⟩

Share

Metrics

Record views

722

Files downloads

463