http://helene-coullon.fr/verdi/tags/work-in-progress/ Recent content in Work in Progress on VeRDi Hugo -- gohugo.io helene.coullon [at] imt-atlantique.fr (Helene Coullon) helene.coullon [at] imt-atlantique.fr (Helene Coullon) Mon, 26 Nov 2018 00:00:00 +0000 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.