ECA Rules for IoT Environment: A Case Study in Safe Design

Cano, Julio; Rutten, Éric; Delaval, Gwenaël; Benazzouz, Yazid; Gürgen, Levent

doi:10.1109/sasow.2014.32

Cited by 21 publications

(12 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Originally, such discrete control systems were built using synchronous programming languages such as SIGNAL [16] or BZR [1, 17, 18]. Event‐condition‐action rules‐based DCS was explored, more particularly using an event‐condition‐action (ECA) rules‐based high‐level description language to BZR translation to perform controller synthesis [19, 20]. Similar to DCS, formal frameworks using labelled transitions systems of system components proposed automatic generation of adapters with respect to a specified set of adaptation goals [21].…”

Section: Related Work and Contextmentioning

confidence: 99%

Smart and safe self‐adaption of connected devices based on discrete controllers

2019

View full text Add to dashboard Cite

The Internet-of-things, which designates the interconnection of physical objects, is a growing research area with many challenges. One of these challenges is the management of failures and unforeseen situations when using connected devices in real world applications. To this end, the authors propose a self-adaptation framework to deal with changes and take into account storage, computational and communication constraints. Their self-adaptation framework relies on constraints expressed in terms of quality of service (QoS) and event-driven rules to specify control objectives. Internally, the framework generates labelled transitions systems and builds on the fly synchronous controllers to guarantee QoS properties. Moreover, their framework has capabilities to concurrently deal with dynamic control objectives, monitoring and self-adaptation. To prove the practicality of their framework, they present a healthcare case-study to remotely monitor a patient at risk of myocardial infarction recurrence. The objective control rules easily specify how wearable devices should coordinate their behaviours to ensure safety, resilience and health-awareness factors. The implementation of their framework is fully distributed and scalable and include their development of a wearable, remotely configurable, QoS aware cardiac activity sensor.

show abstract

Section: Related Work and Contextmentioning

confidence: 99%

Smart and safe self‐adaption of connected devices based on discrete controllers

2019

View full text Add to dashboard Cite

show abstract

“…Originally, such discrete control systems were built using synchronous programming languages such as SIGNAL [13] or BZR [1,14,15]. Event-condition-action rules based discrete controller synthesis was explored, more particularly using an event-condition-action (ECA) rules based high level description language to BZR translation to perform controller synthesis [16,17]. Asynchronous controller synthesis methods in the context of cloud-based autonomic manager was studied using the LNT framework [18].…”

Section: Related Workmentioning

confidence: 99%

“…Purely functional and static adaptation was successfully studied in IoT [1,17]. However, insuring that IoT-based systems behaves as specified under changing control objectives of non-functional properties and limited resource-awareness is a relatively unexplored research field.…”

Section: Managing Changing Sla and Monitoring Environmentmentioning

confidence: 99%

QoS-Driven Self-adaptation for Critical IoT-Based Systems

Gatouillat

Badr

Massot

2018

Service-Oriented Computing – ICSOC 2017 Workshops

View full text Add to dashboard Cite

The Internet-of-Things, which designates the interconnection of numerous physical devices, is a growing research direction faced with many challenges. One of these challenges is to provide constant quality-of-service despite IoT devices being used in a constantly changing physical environment. In order to answer this problem, we introduce a quality-of-service driven self-adaptation framework, which can simultaneously handle changing adaptation strategies, monitoring infrastructure and physical environment while guaranteeing constant quality-of-service. Because of its formal guarantees, our system is particularly suited for the control of critical IoT-based systems, and we thus demonstrated its practicality by applying it to an e-health case-study where the safety of the monitored patients must be assured.

show abstract

“…They ignore dynamics and behaviour, two aspects of WSANs -and in general of reactive systems -that should be taken into account already during the modeling phase. In fact, being reactive systems, WSANs can employ the ECA rule-based programming mechanism [15], increasing the difficulty to predict and analyse the WSAN behaviour 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 can lead to highly distributed collaborative applications.…”

Section: Rules In Literaturementioning

confidence: 99%

Towards a Uniform Ontology-Driven Approach for Modeling, Checking and Executing WSANs

Vannucchi

Cacciagrano

Culmone

et al. 2016

2016 30th International Conference on Advanced Information Networking and Applications Workshops (WAINA)

View full text Add to dashboard Cite

Wireless sensor and actuator networks (WSANs) refer to a group of sensors and actuators linked by wireless medium to perform distributed sensing and acting tasks. Being reactive systems, quite often WSANs are programmed by Event-Condition-Action (ECA) rule-based languages. Because of potential interactions among the rules themselves and theirsurprising effects on the system behaviour, it is quite difficult to ensure a safe behaviour of a WSAN at design time. This paper proposes a semantic-driven approach for modeling, checking and executing ECA rule-based WSANs. The approach can be considered uniform since any of the previous phases works on a common ontology-based WSAN model integrating and linking three different system views: the static one (i.e., sensor and actuator types in the WSAN, description of its environment, deployment information etc.), the dynamic one (i.e., a set of ECA rules programming the given WSAN) and the behavioural one (i.e., a finite state machine (FSM)-based representation of the WSAN behaviour w.r.t. the given dynamics). We show how the proposed approach provides an agile verification of system properties involving (and also mixing) static, dynamic and behavioural concepts. In particular, with regard to the behavioural view, we will focus on properties like consistency, correctness and termination. In order to better explain our approach, we present a home automation case study

show abstract

ECA Rules for IoT Environment: A Case Study in Safe Design

Cited by 21 publications

References 7 publications

Smart and safe self‐adaption of connected devices based on discrete controllers

Smart and safe self‐adaption of connected devices based on discrete controllers

QoS-Driven Self-adaptation for Critical IoT-Based Systems

Towards a Uniform Ontology-Driven Approach for Modeling, Checking and Executing WSANs

Contact Info

Product

Resources

About