STSM WG3 (Bartosz Michalik)

Start Date: 2011-09-01

End Date: 2011-10-16

Host Institution: Linnaeus University

Host Country: Sweden

Home Institution: Katholieke Universiteit Leuven

Home Country: Belgium


In my research, I study an architectural approach to support online updates of deployed distributed software products of a software product line (SPL). This approach includes an architectural viewpoint that allows the stakeholders to specify their update concerns and a supporting coordination infrastructure that harvests the required information from deployed products, performs the required analysis, and guides operators to perform the updates. The goal of this STSM is to investigate two additional aspects of my research.
1. Two key objectives of the proposed approach are correctness of updates and minimal interruption of services. While our experiences give a good indication that the underlying algorithms guarantee both properties, we aim to formally prove the properties. Formal guarantees are key for stakeholders’ trust. Our plan is to specify the algorithms in the Alloy language and proof the properties for a number of representative update scenarios of a non-trivial SPL.
2. In the current stage, humans are still in the loop, i.e., the updates require manual intervention of operators in terms of stopping/starting processes, removing/adding/replacing resources. Depending on the domain, such updates may be further automated. Our plan is to study under what conditions updates can be further automated and how such automation can be realized. Given the distributed nature of the target SPL, such automation will require suitable coordination mechanisms to synchronize the update process between nodes. Our plan is to apply knowledge from agent organizations (related to the objectives of WG3 of the cost action) to enhance automation of product updates.

STSM Report