We will be receiving Hélène Coullon from the STACK team in Nantes who will give a talk “Distributed Software Management: Efficiency, Software engineering and Verification” on Friday, August the 30th.
Abstract: With the emergence of large-scale virtualized distributed infrastructures, such as Cloud, Fog and Edge computing, for instance, and the increasing complexity and dynamicity of distributed software systems, the automation of distributed software commissioning and reconfiguration is of great importance for IT administrators and developers. Nowadays many production tools already help developers automate their deployment tasks. Though, scientific challenges have to be solved in this area to improve at least three aspects of distributed software management: efficiency, software engineering properties and verification. In this talk I will first present Madeus, a formal component-based model for distributed software commissioning that enhances the efficiency of deployments. Second, I will present the use of model-checking techniques for the verification of software commissioning procedures written with Madeus. Third, I will present Concerto, a reconfiguration component-based model that generalizes the concepts introduced in Madeus by extending them to reconfiguration cases.
