IRON: Reliable domain specific language for programming IoT devices

Cacciagrano, Diletta; Culmone, Rosario

doi:10.1016/j.iot.2018.09.006

Cited by 12 publications

(4 citation statements)

References 19 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…If we allow arbitrary input steps during the computation, a system may never reach stability since the execution pools could be never emptied. This assumption has a practical explanation: in the IoT context, usually, external changes (in sensors) take much more time than internal computation steps [9].…”

Section: Wave Semanticsmentioning

confidence: 99%

See 1 more Smart Citation

The AbU Language: IoT Distributed Programming Made Easy

2022

View full text Add to dashboard Cite

Event-driven programming based on Event-Condition-Action (ECA) rules allows users to define complex automation routines in a simple, declarative way; for this reason, in recent years ECA rules have been adopted by the majority of companies in the Internet of Things (IoT) industry as a promising paradigm for implementing ubiquitous and pervasive systems. Unfortunately, programming simplicity comes to a price: most implementations of ECA rules are bound to a strongly centralized communication infrastructure, that poses serious limitations on the application scenarios for the IoT, due to scalability, security and availability issues. To mitigate these issues, recent works introduced abstractions for communication and coordination of ensembles of IoT devices in a decentralized setting, effectively moving the computation towards the edge of the network without sacrificing the programming simplicity prerogative of ECA rules. In particular, Attribute-based memory Updates is a communication model transparently enhancing ECA rules-based systems with an interaction mechanism where communication is similar to broadcast but actual receivers are selected on the spot, by means of predicates over devices properties. In this paper, we introduce AbU-dsl, a Domain Specific Language for the IoT that compiles on top of an implementation of Attribute-based memory Updates. In this way, AbU-dsl provides a practical development interface, based on ECA rules, to effectively program IoT devices in a fully decentralized setting, by exploiting a full-fledged attribute-based interaction model. Thus, programmers can specify interactions between devices in a declarative way, abstracting from details such as devices identity, number, or even their existence, without the need for a central controlling service. INDEX TERMSIoT programming, ECA rules, Attribute-based memory Updates, Distributed systems, Edge computing, Domain Specific Language.This rule pattern basically means: when Event occurs, if Condition is verified, then execute Action. Thus, an ECA rules-based smart device can react to an event (e.g., a variable change or a signal from a sensor) by executing one or more actions, that can update the internal state of the device or act on the environment via an actuator. Of course, the effect caused by the rule action can trigger other rules, and so on.However, in most current models and implementations of this paradigm, the ECA rules are stored on, and executed by,

show abstract

Section: Wave Semanticsmentioning

confidence: 99%

“…Concerning ECA programming for IoT systems, a notably example is IRON [23], whose formal semantics is defined in [9], [24]. Most works dealing with ECA rules try to assess properties such as termination, confluence, absence of redundant or contradicting rules.…”

Section: A Related Workmentioning

confidence: 99%

The AbU Language: IoT Distributed Programming Made Easy

2022

View full text Add to dashboard Cite

show abstract

“…Recently, Cacciagrano et al (2018Cacciagrano et al ( , 2020 proposed a set of techniques and tools for verifying redundancy, consistency, and usability of ECA rules based on a domain specific language for intelligent environment. But their work did not consider the correctness property of the rule.…”

Section: Related Workmentioning

confidence: 99%

Formal Analysis of Database Trigger Systems Using Event-B

Khanh

Thuan

2021

International Journal of Software Innovation

View full text Add to dashboard Cite

Most modern relational database systems use triggers to implement automatic tasks in response to specific events happening inside or outside a system. A database trigger is a human readable block code without any formal semantics. Frequently, people can check if a trigger is designed correctly after it is executed or by manual checking. In this article, the authors introduce a new method to model and verify database trigger systems using Event-B formal method at design phase. First, the authors make use of similar mechanism between triggers and Event-B events to propose a set of rules translating a database trigger system into Event-B constructs. Then, the authors show how to verify data constraint preservation properties and detect infinite loops of trigger execution with RODIN/Event-B. The authors also illustrate the proposed method with a case study. Finally, a tool named Trigger2B which partly supports the automatic modeling process is presented.

show abstract

“…We find in [32] an authentication alternative with PUF-derived IoT identity in a zero-knowledge protocol [33] which eliminates the costly process of external key generation. Moreover, a new error-resilient programming language that relies on Event-Condition-Action (ECA) rules can be found in [34].…”

Section: Related Workmentioning

confidence: 99%

DLT Based Authentication Framework for Industrial IoT Devices

Lupașcu

Lupascu

Bica

2020

Sensors

View full text Add to dashboard Cite

The latest technological progress in the industrial sector has led to a paradigm shift in manufacturing efficiency and operational cost reduction. More often than not, this cost reduction comes at the price of dismissing information security, especially when multiple stakeholders are involved and the complexity increases. As a further matter, most of the legacy systems and smart factoring processes lack a security by design approach, making them highly vulnerable to cyber-attacks. Taking into consideration the aforementioned issues, we propose an architectural framework for Industrial Internet of Things (IIoT) that provides authentication and guaranteed integrity. Our proposal properly addresses the security by design principle while combining some of the emerging technologies like Secure Multi-Party Computation (SMPC) for grounded policy rules and Distributed Ledger Technology (DLT) for an immutable and transparent registry.

show abstract

IRON: Reliable domain specific language for programming IoT devices

Cited by 12 publications

References 19 publications

The AbU Language: IoT Distributed Programming Made Easy

The AbU Language: IoT Distributed Programming Made Easy

Formal Analysis of Database Trigger Systems Using Event-B

DLT Based Authentication Framework for Industrial IoT Devices

Contact Info

Product

Resources

About