Campus Event Calendar

Event Entry

New for: D3

What and Who

Delta-oriented Software Product Lines

Ina Schaefer
TU Braunschweig
AG 1, AG 3, AG 5, SWS, AG 4, RG1, MMCI  
Expert Audience

Date, Time and Location

Thursday, 7 April 2011
90 Minutes
E1 3


Modern embedded systems are highly configurable and exist in many different variants. In order to reduce the time to market, software product line engineering aims at developing a set of similar systems by managed reuse. However, this requires modeling, implementation and quality assurance techniques that are able to deal with system variability in all development phases.

In my talk, I present delta-oriented modeling of software product lines to address these challenges. A delta-oriented software product line is represented by a core product and a set of product deltas that modify the core product to realize other product variants. Delta-oriented modeling can be integrated into a seamless model-based development process covering the architectural as well as the implementation level. In order to ensure consistency of the product variants, I present a compositional type system for a delta-oriented programming language. Furthermore, I show how to efficiently formally verify the functional correctness of the product variants by delta-oriented slicing.


Prof. Sebastian Hack
--email hidden
passcode not visible
logged in users only

gk-sek, 04/01/2011 08:59 -- Created document.