Computer Science

Computer Science Colloquium

Dr. Vander Alves
University of Brasilia, Brazil; CAPES-Alexander von Humboldt Fellow at University of Passau, Germany

Software Product Lines: Reliability and Beyond

Mon 18.09.2017, 10:30, 60 minutes
Computer Science Building (Science Park 3) room 078


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 modeling approach to support experimental studies.


Dr. Vander Alves is Adjunct Professor at the Computer Science Department of the University of Brasilia, Brazil, and CAPES-Alexander von Humboldt Fellow at University of Passau, Germany. Previously he was a post-doctoral researcher at the Product Line Architectures department of the Fraunhofer Institute for Experimental Software Engineering, Germany, where he participated in projects in the Ambient Assisted Living domain. Prior to that, he was a post-doctoral researcher at Lancaster University, England, having worked in the EU AMPLE project in the field of Aspect-Orientation, Model-Driven development, and Software Product Lines. He also worked at the IBM Silicon Valley laboratory in San Jose, California, in the implementation of the Information Integration product line, which led to a registered patent at the US Patent Office. He holds a doctoral degree in Computer Science (Software Engineering) from the Federal University of Pernambuco, Brazil. His areas of current research are Software Product Lines, Dependability Analysis, and Body Area Network.
Invited by Ass.-Prof. Dr. Iris Groher (SE, JKU Linz), Priv.-Doz. Dr. Rick Rabiser (CDL MEVSS, ISSE, JKU Linz)

The Computer Science Colloquium is organized by the Department of Coputer Science at JKU, the Österreichische Gesellschaft für Informatik (ÖGI) and the Österreichische Computergesellschaft (OCG).
List of all talks
Last modified on Thursday, 01-Jan-1970 01:00:00 CET