International audienceEvent-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

Reactive systems operate in various fields such as, surveillance systems, embedded systems and Internet of things. This paradigm can employ mechanisms of type Event -Condition -Action (ECA). It is a powerful and flexible tool to respond to complex situations. However, the behaviour of a rules based system is difficult to analyse because of the ability of rules to interact with each other. Particularly, in IoT area the rules that govern the relations between sensors and actuators will lead to highly distributed collaborative applications. Runtime coordination and formal analysis becomes a necessity to avoid side effects mainly when applications are critical. This paper presents a case study for safe applications development in IoT. Our approach proposes an extension of ECA semantic by discrete control. We defined a safe interaction properties and developed autonomous controllers that support ECA distribution.

No abstract

No abstract

This paper presents the reference criteria of rotational dynamics of accelerated systems in the field of Rational Mechanics, exposing the differentiation between inertial and non-inertial dynamic systems, and describes the unique research project developed by Advanced Dynamics CB up to proposing the Theory of Dynamic Interactions. This paper aims to deliver a commentary on developments in the field of rotational dynamics. Professor Barceló proposes that in today's physics, a change of mindset is necessary that allows us to accept the true behavior of mobile objects subject to non-coaxial speed variations. The proposed dynamic allows us understand certain effects of rotating bodies. The application of these dynamic hypotheses to other fields of physics and technology will possibly allow new and suggestive advances in research, especially to bodies and systems with rotation in astrophysics and astronautics, allowing new dynamic working hypotheses.