The increasing importance of Cyber Physical Systems (CPS) yields new challenges for their systematic and efficient quality assurance. CPS are characterized by open and heterogeneous architectures and environments. For embedded systems, this implies a separation of the currently very tight integration of hardware and ...

This paper considers the representativeness of injected error models for ascertaining software defects. Businessand safety-critical systems are more and more relying on software. Therefore, while in the past these systems were mainly threatened by hardware faults, they are today increasingly exposed to software faults, ...

Self-adaptation enables software to execute successfully in dynamic, unpredictable, and uncertain environments. However, most of the current approaches lack formal guarantees on the effectiveness and dependability of the adaptation mechanisms, limiting their applicability in practice.

Big data becomes a challenge in more and more domains. In many areas, such as in social networks, the entities of interest have relational references to each other and thereby form large-scale graphs (in the order of billions of vertices). At the same time, querying and updating these data structures is a key requirement. ...

A Triple Graph Grammar (TGG) is a set of declarative rules describing how consistent triples of graph structures in a source, target, and correspondence domain are to be generated. This generative and high-level specification of consistency can be automatically operationalized and used to derive model generators for test ...

Software für cyber-physikalische Systeme interagiert durch Sensorik und Aktuatorik intensiv mit realen, physischen Objekten. Durch intelligentes, selbstadaptives Verhalten können beispielsweise Aufgaben im Anwendungsbereich von Robotik oder Heimautomatisierung in verschiedensten Szenarien automatisiert werden. Jedoch ...

Dieser Vortrag stellt unser TOSEM Papier [MTRK14] vor und präsentiert eine Umfrage unter

SPLs evolve over time due to new or changed requirements and need to be maintained to retain their value. To this end, refactorings have been proposed to improve the design and structure of (object-oriented) software systems. Unfortunately, traditional refactorings are not applicable offhand to SPLs, because these ...