Smart Contracts

Reliability Analysis of Smart Contract Execution Architectures: A Comparative Simulation Study

The industrial market continuously needs reliable solutions to secure autonomous systems. Especially as these systems become more complex and interconnected, reliable security solutions are becoming increasingly important. One promising solution to …

The URBANE Innovation Transferability Platform: Learnings for Decarbonising Last-Mile Delivery Networks

Logistics plays a crucial role in modern society, particularly in densely populated urban areas, facilitating the transportation of goods. Last-mile e-commerce deliveries are emissions-intensive, contributing significantly to CO2 levels and traffic …

A Survey of Verification, Validation andTesting Solutions for Smart Contracts

Acceptance of blockchain-based distributed systems in industry requires a thorough justification of their depend- ability and security. To foster blockchain acceptance, this paper proposes a new engineering perspective rooted in classic tools and …

An Agent-Oriented, Blockchain-Based Design of the Interbank Money Market Trading System

When studying the interbank money market (IMM), it is common to model banks as agents interacting through loans to tackle its complexity. However, the use of agent abstraction in the IMM is mostly limited to some specific cases. Besides, recent …

An Industrial Prototype of Trusted Energy Performance Contracts Using Blockchain Technologies

Energy conservation measurements in buildings are more and more popular as they benefit from an intelligent contractual framework called Energy Performance Contracts (EPC), where energy savings are measured as the difference between a predictive …

Towards Secure and Trusted-by-Design Smart Contracts

Distributed immutable ledgers, or blockchains, allow the secure digitization of evidential transactions without relying on a trusted third-party. Evidential transactions involve the exchange of any form of physical evidence, such as money, birth …

Blockchains and Smart Contracts using Ethereum

This tutorial is aimed at those who are eager to learn blockchains and smart contract but totally new to Ethereum and has little knowledge about blockchains. It provides a set of examples where for each example it is explained, step by step, how to design, develop and use it.

BlockChaiNergy

Blockchain for Energy