One of the key challenges in service-oriented systems engineering is the prediction and assurance of non-functional properties, such as the reliability and the

The formal modeling and analysis is of crucial importance for software development processes following the model based approach. We present the formalism of Int

Together with industrial partners Hasso-Plattner-Institut (HPI) is currently establishing a “HPI Future SOC Lab,” which will provide a complete infrastructu

The proper composition of independently developed components of an embedded real- time system is complicated due to the fact that besides the functional behavio

Program behavior that relies on contextual information, such as physical location or network accessibility, is common in today's applications, yet its represent