arrow drop search cross

Smart IoT for Mobility - PHASE I & II

Developing a first transdisciplinary approach towards a new economy, based mainly on the adoption of a virtual currency and smart contracts (Smart Contracts) all being really adaptable to the rising generation of the Internet of Things (IoT).


About the Project

PHASE I

The objective of the Smart IoT for Mobility project is to develop a first transdisciplinary approach towards a new economy, based mainly on the adoption of a virtual currency and smart contracts (Smart Contracts) all being really adaptable to the rising generation of the Internet of Things (IoT).

We must imagine devices (computers, smartphones, embedded communicating architectures ...) that are all related to each other from near and far. Each participant in this network (a client) is identified by a unique address, assigned when joining the system, which will be used during a transaction. This model is decentralized since it does not have a central supervisory authority, unlike the traditional banking model.

The idea is to start from a legal context by trying to define as clearly as possible the exact terms of an intelligent contract, to simulate these contracts at the scale of IoT devices and thus to establish a specific computer language to these contracts, to deploy these contracts on a set of IoT devices, regardless of their hardware architecture, and finally to take a particular target architecture and simulate completely its operation in order to ensure that the set works properly before deployment. The nature and the objectives of these contracts will be determined at the start of this project but will be limited by the architectures' ability to achieve them.

PHASE II

In phase II, we would like to concretize this work with a thesis whose objective would be to define the hardware and software architecture (all the hardware layers, processor virtualization, operating systems, middleware, interpretation and smart contracts) and make it a version that would be brought to the Experimental Economies Laboratory (the LEEN) for series of experiments that will be used to feed future versions.
The specificity of this multi-disciplinary project is that it involves 'Information and Communication Sciences and Technologies' (Electronics and Computer Sciences), on the one hand, and 'Social Sciences of Digital Systems' (Management, Economies, Law, Psychology and Ergonomics), on the other. In this project, it is argued that the technical conception and the design of smart contracts cannot be disconnected from their social uses and therefore their technological acceptance. Based on this working hypothesis, experimental methods developed by social scientists (mainly experimental economists and psychologists) are used 1) before the technical conception of the smart contract, to determine which variables could affect the acceptance of smart contracts and loT devices by users; 2) after a beta version of the deviee (hardware and software architecture), to test and improve its functionalities with a new series of experiments.

Principal Investigator

,  CNRS-UNS LEAT, UMR 7248

Project's partners

  • Frédéric MALLET, professeur, Inria / CNRS – I3S
  • Philippe COLLET, CNRS – I3S
  • Lise ARENA, MCF CNRS – GREDEG
  • Thierry MARTEU, MCF CNRS – GREDEG

Industrial partners

  • Renault Software Lab
  • Orange Lab
  • Symag

Project Duration

PHASE I: November 2017 - March  2019

PHASE II: October 2018 - September 2021

Total amount

PHASE I: 24 900 euros

PHASE II: 210 420 euros (cofunding by DS4H and Academies of Excellence "Networks, Information and Digital Society" and "Complex Systems")

Related documentation

SMART IoT Presentation (DATA SCIENCE MEETUP, December 2017)

K. Christidis and M. Devetsikiotis, "Blockchains and Smart Contracts for the Internet of Things," in IEEE Access, vol. 4, pp. 2292-2303, 2016.

K. Delmolino, M. Arnett, A. Kosba, A. Miller, E. Shi, "Step by Step Towards Creating a Safe Smart Contract: Lessons and lnsights from a Cryptocurrency Lab". ln: Cryptography and Data Security. FC 2016. Lecture Notes in Computer Science, vol 9604. Springer, 2016

N. Szabo. "Formalizing and Securing Relationships on Public Networks". First Monday. ISSN 13960466. doi: http://dx.doi.org/10.5210/fm.v2i9.548, 1997.

https://solidity. readthedocs.io

https://media.consensys.net/an-introduction-to-III-for-ethereum-smart-contract-development-e26e38ea6c23

https://github.com/ethereum/wiki/wiki/Serpent

https://golang.org/doc/

http://hub.digitalasset.com/blog/introducing-the-digital-asset-modeling-language-a-powerful-alternative-to-smart-contracts-for-financial-institutions

Chang, M.K., Cheung, W., Tang, M. (2013), "Building trust: interactions among trust building mechanisms", Information and Management, 50 (2013), p.439-445.

M. Giancaspro. "ls a 'smart contract' really a smart idea? lnsights from a legal perspective". Computer Law & Security Review, 33(6), 825-835, 2017.

The GEMOC Studio, http://www.gemoc.org

J. Deantoni. "Modeling the Behavioral Semantics of Heterogeneous Languages and their Coordination". Architecture Centric Virtual lntegration (ACVI), Apr 2016, Venise, ltaly

C.D. Clack, V.A Bakshi, L. Braine. « Smart Contract Templates: foundations, design landscape and research directions». https://arxiv.org/pdf/1608.00771.pdf, 2016.

« Survey of Domain Specific Languages for Smart Contrats» (2016). http://dslfin.org/resources.html

S. Huh, S. Cho and S. Kim, "Managing loT devices using blockchain platform," 2017. 19th International Conference on Advanced Communication Technology (ICACT), Bongpyeong, 2017, pp. 464-467. doi: 10.23919/ICACT.2017.7890132

X. Luo, H. Li, J. Zhang and J.P. Shim. "Examining multi-dimensional trust and multifaceted risk in initial acceptance of emerging technologies: an empirical study of mobile banking services", Decision Support Systems, 2010, vol.49, n°2, pp. 222-234

A. JØsang, R. lsmail and C. Boyd. "A survey of trust and reputation systems for online service provision". Decision Support Systems, 2007, 43, pp. 618-644.