Project Smart IoT for Mobility - PHASE I & II

Blockchains and Smart Contracts for the Internet of Things

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 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 (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
Project's partner(s)
  • Laboratories:
    • Frédéric Mallet, professeur, Inria / CNRS – I3S
    • Philippe Collet, CNRS – I3S
    • Lise Arena, MCF CNRS – GREDEG
    • Thierry Marteu, MCF CNRS – GREDEG
  • Industrial Parners:
    • Renault Software Lab
    • Orange Lab
    • Symag
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 (cofunded by DS4H and Academies of Excellence "Networks, Information and Digital Society" and "Complex Systems")
Publications
  • R. Kromes, L. Gerrits and F. Verdier, “Adaptation of an embedded architecture to run Hyperledger Sawtooth Application”, 2019 IEEE 10th Annual Information Technology, Electronics and Mobile Communication Conference (IEMCON), Vancouver, BC, Canada, 2019, pp. 0409-0415.
    https://hal.archives-ouvertes.fr/hal-02288894
  • R. Kromes, F. Verdier, “IoT devices hardware modeling for executing Blockchain and Smart Contracts applications”, 16th ACS/IEEE International Conference on Computer Systems and Applications AICCSA 2019, ACS/IEEE, Nov 2019, Abu Dhabi, United Arab Emirates.
    https://hal.archives-ouvertes.fr/hal-02275978/
  • L. Gerrits, R. Kromes, F. Verdier, “A True Decentralized Implementation Based on IoT and Blockchain: a Vehicle Accident Use Case”, COINS 2020 - IEEE International Conference on Omni-layer Intelligent Systems, Sep 2020, Madrid, Spain.
    https://hal.archives-ouvertes.fr/hal-02648403
  • L. Gerrits, R. Kromes, F. Verdier, “A Blockchain cloud architecture deployment for an industrial IoT use case”, COINS 2021 - IEEE International Conference on Omni-layer Intelligent Systems, Sep 2021, Madrid, Spain.
    https://ieeexplore.ieee.org/document/9524264
  • R. Kromes, F. Verdier, “An IoT hardware modeling for using blockchain with Smart Contracts applications”, 13ème Colloque National du GDR SOC2 Montpellier, Jun 2019, Montpellier, France.
    https://hal.archives-ouvertes.fr/hal-02194871
  • L. Gerrits, R. Kromes, T. Kilimou, F. Verdier, “Hyperledger Sawtooth Blockchain for IoT-Blockchain Based Ecosystem”, 15ème Colloque National du GDR SOC2 Rennes, Jun 2021, Rennes, France.
    https://hal.archives-ouvertes.fr/hal-03431999/
  • Ankica Barisic, Enlin Zhu, Frédéric Mallet. “Model-driven approach for the design of Multi-Chain Smart Contracts.” BRAINS 2021: 37-38
    https://hal.archives-ouvertes.fr/hal-03338936
  • Joelle Abou Faysal, Nour Zalmai, Ankica Barisic, Frédéric Mallet. “EPSAAV: An Extensible Platform for Safety Analysis of Autonomous Vehicles.” MEDI / SIAS 2021: 101-111
    https://hal.archives-ouvertes.fr/hal-03331190
     
Related References
  • 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.
Related Documentation