Werner Damm

TL;DR: A design methodology and a few examples in controller design whereby contract- based design can be merged with platform-based design to formulate the design process as a meet-in-the-middle approach, where design requirements are implemented in a subsequent refinement process using as much as possible elements from a library of available components.

TL;DR: This paper intends to provide treatment where contracts are precisely defined and characterized so that they can be used in design methodologies such as the ones mentioned above with no ambiguity, and provides an important link between interfaces and contracts to show similarities and correspondences.

TL;DR: In this paper, the authors present a reference semantics for a verication tool that allows to verify temporal properties of embedded control sys- tems modelled using the StateMate system.

TL;DR: This paper presents a reference semantics for a verication tool currently under development allowing to verify temporal properties of embedded control sys- tems modelled using the StateMate system.

TL;DR: Algorithms significantly extending the limits for maintaining exact representations in the verification of linear hybrid systems with large discrete state spaces are proposed by using AND-Inverter Graphs extended with linear constraints as symbolic representation of the hybrid state space.