Colloquium Computer Science: Dr. Vander Alves, University of Brasilia
|When:||We 14-06-2017 16:00 - 17:00|
Title: Software Product Lines: Reliability and Beyond
In this talk, we first present a scenario in the Body Sensor Network domain to motivate the development of reliable and maintainable dynamic software product lines. Next, we describe supporting process and architecture. We then define a feature-family-based reliability
analysis strategy of software product lines and report on empirical results comparing this strategy to others. The abstract structure relating such analyses is then discussed by focusing on their semantic equivalence. Following, we present initial ideas on proposing an extractive strategy to bootstrap a product line of analysis tools and then evolve it with a reactive strategy to consider other properties.
The products of such product line comprise analysis strategies and corresponding formalization for a given property and corresponding models. Finally, we report on the development of a domain modelling approach to support experimental studies.
Colloquium coordinators are Prof.dr. M. Aiello (e-mail : M.Aiello rug.nl ) and Prof.dr. M. Biehl (e-mail: M.Biehl rug.nl )