Co-funded by Academy 1
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)
Au sujet du Projet
PHASE I
L’objectif du projet Smart IoT for Mobility est de développer une première approche transdisciplinaire de la nouvelle économie, reposant principalement sur l’adoption d’une monnaie virtuelle et de contrats intelligents (Smart Contracts), qui sont réellement adaptables à la nouvelle génération de l’Internet des objets. (IdO).
Il faut imaginer des dispositifs (ordinateurs, smartphones, architectures de communication embarquées ...) tous liés les uns aux autres de près ou de loin. Chaque participant à ce réseau (un client) est identifié par une adresse unique, attribuée lors de la connexion au système, qui sera utilisée lors d'une transaction. Ce modèle est décentralisé car il ne dispose pas d'autorité de surveillance centrale, contrairement au modèle bancaire traditionnel.
L’idée est de partir d’un contexte juridique en essayant de définir le plus clairement possible les termes exacts d’un contrat intelligent, de simuler ces contrats à l’échelle des dispositifs IoT et ainsi d’établir un langage informatique spécifique à ces contrats, de les déployer. contrats sur un ensemble de périphériques IoT, quelle que soit leur architecture matérielle, et enfin de prendre une architecture cible particulière et de simuler complètement son fonctionnement afin de garantir le bon fonctionnement de l'ensemble avant le déploiement. La nature et les objectifs de ces contrats seront déterminés au début du projet, mais seront limités par la capacité des architectures à les réaliser.
PHASE II
En phase II, nous souhaitons concrétiser ce travail par une thèse dont l'objectif serait de définir l'architecture matérielle et logicielle (toutes les couches matérielles, la virtualisation des processeurs, les systèmes d'exploitation, les middlewares, l'interprétation et les contrats intelligents) et d'en faire une version serait porté au Laboratoire des économies expérimentales (LEEN) pour une série d’expériences qui serviront à alimenter les versions futures.
La spécificité de ce projet pluridisciplinaire réside dans le fait qu’il s’agit des «sciences et technologies de l’information et de la communication» (électronique et sciences de l’informatique), d’une part, et des «sciences sociales des systèmes numériques» (gestion, économie, droit, psychologie et ergonomie). ), de l'autre. Dans ce projet, il est avancé que la conception technique et la conception des contrats intelligents ne peuvent être déconnectées de leurs utilisations sociales et donc de leur acceptation technologique. Sur la base de cette hypothèse de travail, des méthodes expérimentales développées par des spécialistes des sciences sociales (principalement des économistes expérimentaux et des psychologues) sont utilisées 1) avant la conception technique du contrat intelligent, afin de déterminer les variables pouvant affecter l'acceptation des contrats intelligents et des dispositifs loT par les utilisateurs; 2) après une version bêta du développement (architecture matérielle et logicielle), tester et améliorer ses fonctionnalités avec une nouvelle série d’expériences.
Porteur de Projet
François VERDIER, CNRS-UNS LEAT, UMR 7248
Partenaires
Frédéric MALLET, professeur, Inria / CNRS – I3S
Philippe COLLET, CNRS – I3S
Lise ARENA, MCF CNRS – GREDEG
Thierry MARTEU, MCF CNRS – GREDEG
Partenaires industriels
Renault Software Lab
Orange Lab
Symag
Durée du Projet
PHASE I: Novembre 2017 - Mars 2019
PHASE II: Octobre 2018 - Septembre 2021
Budget
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")
Documentation
SMART IoT Presentation (DATA SCIENCE MEETUP, December 2017)
SIM Presentation (Academy's Scientific Day, September 2018)
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.
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)
Au sujet du Projet
PHASE I
L’objectif du projet Smart IoT for Mobility est de développer une première approche transdisciplinaire de la nouvelle économie, reposant principalement sur l’adoption d’une monnaie virtuelle et de contrats intelligents (Smart Contracts), qui sont réellement adaptables à la nouvelle génération de l’Internet des objets. (IdO).
Il faut imaginer des dispositifs (ordinateurs, smartphones, architectures de communication embarquées ...) tous liés les uns aux autres de près ou de loin. Chaque participant à ce réseau (un client) est identifié par une adresse unique, attribuée lors de la connexion au système, qui sera utilisée lors d'une transaction. Ce modèle est décentralisé car il ne dispose pas d'autorité de surveillance centrale, contrairement au modèle bancaire traditionnel.
L’idée est de partir d’un contexte juridique en essayant de définir le plus clairement possible les termes exacts d’un contrat intelligent, de simuler ces contrats à l’échelle des dispositifs IoT et ainsi d’établir un langage informatique spécifique à ces contrats, de les déployer. contrats sur un ensemble de périphériques IoT, quelle que soit leur architecture matérielle, et enfin de prendre une architecture cible particulière et de simuler complètement son fonctionnement afin de garantir le bon fonctionnement de l'ensemble avant le déploiement. La nature et les objectifs de ces contrats seront déterminés au début du projet, mais seront limités par la capacité des architectures à les réaliser.
PHASE II
En phase II, nous souhaitons concrétiser ce travail par une thèse dont l'objectif serait de définir l'architecture matérielle et logicielle (toutes les couches matérielles, la virtualisation des processeurs, les systèmes d'exploitation, les middlewares, l'interprétation et les contrats intelligents) et d'en faire une version serait porté au Laboratoire des économies expérimentales (LEEN) pour une série d’expériences qui serviront à alimenter les versions futures.
La spécificité de ce projet pluridisciplinaire réside dans le fait qu’il s’agit des «sciences et technologies de l’information et de la communication» (électronique et sciences de l’informatique), d’une part, et des «sciences sociales des systèmes numériques» (gestion, économie, droit, psychologie et ergonomie). ), de l'autre. Dans ce projet, il est avancé que la conception technique et la conception des contrats intelligents ne peuvent être déconnectées de leurs utilisations sociales et donc de leur acceptation technologique. Sur la base de cette hypothèse de travail, des méthodes expérimentales développées par des spécialistes des sciences sociales (principalement des économistes expérimentaux et des psychologues) sont utilisées 1) avant la conception technique du contrat intelligent, afin de déterminer les variables pouvant affecter l'acceptation des contrats intelligents et des dispositifs loT par les utilisateurs; 2) après une version bêta du développement (architecture matérielle et logicielle), tester et améliorer ses fonctionnalités avec une nouvelle série d’expériences.
Porteur de Projet
François VERDIER, CNRS-UNS LEAT, UMR 7248
Partenaires
Frédéric MALLET, professeur, Inria / CNRS – I3S
Philippe COLLET, CNRS – I3S
Lise ARENA, MCF CNRS – GREDEG
Thierry MARTEU, MCF CNRS – GREDEG
Partenaires industriels
Renault Software Lab
Orange Lab
Symag
Durée du Projet
PHASE I: Novembre 2017 - Mars 2019
PHASE II: Octobre 2018 - Septembre 2021
Budget
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")
Documentation
SMART IoT Presentation (DATA SCIENCE MEETUP, December 2017)
SIM Presentation (Academy's Scientific Day, September 2018)
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.
Dates
Créé le 25 février 2021