http://helene-coullon.fr/verdi/ Recent content on VeRDi Hugo -- gohugo.io helene.coullon [at] imt-atlantique.fr (Helene Coullon) helene.coullon [at] imt-atlantique.fr (Helene Coullon) Sat, 08 Feb 2020 00:00:00 +0000 http://helene-coullon.fr/verdi/post/2020-02-08-ccgrid1/ Sat, 08 Feb 2020 00:00:00 +0000 helene.coullon [at] imt-atlantique.fr (Helene Coullon) http://helene-coullon.fr/verdi/post/2020-02-08-ccgrid1/ The paper entitled “Predictable Efficiency for Reconfiguration of Service-Oriented Systems with Concerto”, written by Maverick Chardet, Hélène Coullon and Christian Perez has been accepted to CCGrid 2020 ! Maverick will present this paper in Melbourne, Australia ! http://helene-coullon.fr/verdi/post/2019-09-16-ifm/ Mon, 16 Sep 2019 00:00:00 +0000 helene.coullon [at] imt-atlantique.fr (Helene Coullon) http://helene-coullon.fr/verdi/post/2019-09-16-ifm/ The paper entitled “Integrated Model-checking for the Design of Safe and Efficient Distributed Software Commissioning”, written by Didier Lime, Claude Jard and I, has been accepted to iFM 2019 ! Helene will present this paper in Bergen, Norway ! http://helene-coullon.fr/verdi/post/2019-08-30-wide/ Fri, 30 Aug 2019 00:00:00 +0000 helene.coullon [at] imt-atlantique.fr (Helene Coullon) http://helene-coullon.fr/verdi/post/2019-08-30-wide/ A talk has been given by Helene to the WIDE Inria research group in Rennes. The talk is entitled Distributed Software Management: Efficiency, Software Engineering and Verification. http://helene-coullon.fr/verdi/post/2019-01-10-newpostdoc/ Thu, 10 Jan 2019 00:00:00 +0000 helene.coullon [at] imt-atlantique.fr (Helene Coullon) http://helene-coullon.fr/verdi/post/2019-01-10-newpostdoc/ We are pleased to hire both a new postdoc and a new engineer in the project ! Both of them will arrive in July 2019. http://helene-coullon.fr/verdi/post/2018-11-29-jobinterviews/ Thu, 29 Nov 2018 00:00:00 +0000 helene.coullon [at] imt-atlantique.fr (Helene Coullon) http://helene-coullon.fr/verdi/post/2018-11-29-jobinterviews/ Both the postdoc and engineering positions attract candidates. We are currently performing job interviews. Hope to have two news members in the project soon ! See Jobs for more details. http://helene-coullon.fr/verdi/post/2018-11-26-capstone/ Mon, 26 Nov 2018 00:00:00 +0000 helene.coullon [at] imt-atlantique.fr (Helene Coullon) http://helene-coullon.fr/verdi/post/2018-11-26-capstone/ Four students from Northern Arizona University, the Amadeus team, are working on MAB (Madeus Application Builder) to be able to graphically design, through a GUI, a Madeus assembly. http://helene-coullon.fr/verdi/post/2018-11-16-petrinet/ Fri, 16 Nov 2018 00:00:00 +0000 helene.coullon [at] imt-atlantique.fr (Helene Coullon) http://helene-coullon.fr/verdi/post/2018-11-16-petrinet/ We are know able to enrich Madeus with a property language so that a Madeus assembly can be translated to a Petri net and temporal logic properties. Model checkers than can be used to verify properties on assemblies and to help developers in their deployment design. This also illsutrates that Madeus is specific to deployment and much more convenient than its equivalent Petri net ! Take a look at this subpart of the OpenStack assembly ! http://helene-coullon.fr/verdi/post/2018-11-01-survey/ Fri, 02 Nov 2018 00:00:00 +0000 helene.coullon [at] imt-atlantique.fr (Helene Coullon) http://helene-coullon.fr/verdi/post/2018-11-01-survey/ Hélène Coullon is working with Frédéric Loulergue and Ludovic Henrio on a survey about verified software reconfiguration. http://helene-coullon.fr/verdi/post/2018-11-01-madeuspp/ Thu, 01 Nov 2018 00:00:00 +0000 helene.coullon [at] imt-atlantique.fr (Helene Coullon) http://helene-coullon.fr/verdi/post/2018-11-01-madeuspp/ Maverick is currently working on Madeus++ an extension of Madeus with reconfiguration capabilities ! The prototype is operational and is under experiment on a real use-case: migrating from a centralized to a decentralized database. http://helene-coullon.fr/verdi/page/about/ Mon, 01 Jan 0001 00:00:00 +0000 helene.coullon [at] imt-atlantique.fr (Helene Coullon) http://helene-coullon.fr/verdi/page/about/ Project description The VeRDi project is funded by the French region Pays De La Loire where Nantes is located. VeRDi is an acronym for Verified Reconfiguration Driven by execution. It aims at addressing distributed software reconfiguration in an efficient and verified way. Configuring complex distributed software for heterogeneous distributed infrastructures is a non-trivial and technical task, often called deployment. A deployment, because of its error-prone and complex nature, needs to be automated in an efficient and verified manner to guarantee its behavior. http://helene-coullon.fr/verdi/page/collaborations/ Mon, 01 Jan 0001 00:00:00 +0000 helene.coullon [at] imt-atlantique.fr (Helene Coullon) http://helene-coullon.fr/verdi/page/collaborations/ Inria Project Lab Discovery The Discovery Initiative aims at overcoming the main limitations of the traditional server-centric cloud solutions by revising the OpenStack software in order to make it natively cooperative. Maverick Chardet, one of the member of the VeRDi project, is a PhD student funded by Discovery (Inria). Maverick works on reconfiguration in Discovery, in particular on reconfiguration of systems and software in the specific case of Fog and Edge computing. http://helene-coullon.fr/verdi/page/jobs/ Mon, 01 Jan 0001 00:00:00 +0000 helene.coullon [at] imt-atlantique.fr (Helene Coullon) http://helene-coullon.fr/verdi/page/jobs/ 2019 No open positions for the project. We will soon welcome our new postdoc and engineer. http://helene-coullon.fr/verdi/page/members/ Mon, 01 Jan 0001 00:00:00 +0000 helene.coullon [at] imt-atlantique.fr (Helene Coullon) http://helene-coullon.fr/verdi/page/members/ Current members Picture Name Position Hélène Coullon Project leader Charlène Servantie Engineer (18 months) Simon Robillard Postdoc (18 months) Dimitri Pertin Engineer (2 months) Maverick Chardet Ph.D. student (3rd year - funded by IPL Discovery) http://helene-coullon.fr/verdi/page/publications/ Mon, 01 Jan 0001 00:00:00 +0000 helene.coullon [at] imt-atlantique.fr (Helene Coullon) http://helene-coullon.fr/verdi/page/publications/ 2020 Maverick Chardet, Hélène Coullon, Christian Perez. Predictable Efficiency for Reconfiguration of Service-Oriented Systems with Concerto. In CCGrid 2020, Melbourne, Australia. Emile Cadorel, Hélène Coullon, Jean-Marc Menaud. Online Multi-User Workflow Scheduling Algorithm for Fairness and Energy Optimization. In CCGrid 2020, Melbourne, Australia. 2019 Hélène Coullon, Didier Lime, Claude Jard. Integrated Model-checking for the Design of Safe and Efficient Distributed Software Commissioning. In iFM 2019, Bergen, Norway. http://helene-coullon.fr/verdi/page/software/ Mon, 01 Jan 0001 00:00:00 +0000 helene.coullon [at] imt-atlantique.fr (Helene Coullon) http://helene-coullon.fr/verdi/page/software/ Concerto Concerto is a preliminary implementation in Python 3 of the Concerto reconfiguration model. Source code (GPL Licence v3): https://gitlab.inria.fr/mchardet/madpp Madeus Application Deployer (MAD) MAD is a PYTHON implementation of the Madeus model. Its purpose is to offer a way to define a low-level deployment process and coordinate this deployment in an efficient and reliable manner. MAD is low-level but offers a highly generic deployment model. Documentation: https://mad. http://helene-coullon.fr/verdi/page/talks/ Mon, 01 Jan 0001 00:00:00 +0000 helene.coullon [at] imt-atlantique.fr (Helene Coullon) http://helene-coullon.fr/verdi/page/talks/ 2018 2019-08-30, WIDE team seminar, Rennes, France. Distributed Software Management: Efficiency, Software Engineering and Verification 2018-12-18, Languages, Compilation, and Semantics LIP Seminar, Lyon, France. Toward efficient and safe deployment and reconfiguration of distributed software 2018-12-13, Inria team SUMO, Rennes, France. Toward efficient and safe deployment and reconfiguration of distributed software. 2018-11-22, panel at Atlanstic2020, Nantes France. Dynamic software reconfiguration in Industry 4.0. 2018-10-30, Inria Orange Lab, Orange Gardens Chatillon.