Recently, contract-based design has been proposed as an “orthogonal” approach that
complements system design methodologies proposed so far to cope with the complexity of …

This book presents state-of-the-art of research results related to the science, technology, and
engineering of cyber-physical systems (CPS), including system architecture, development …

We study the relation between specifications of component behaviors and contracts
providing means to specify assumptions on environments as well as component guarantees …

This paper presents the modal interface theory, a unification of interface automata and
modal specifications, two radically dissimilar models for interface theories. Interface …

We study recursive timed automata that extend timed automata with recursion. Timed
automata, as introduced by Alur and Dill, are finite automata accompanied by a finite set of …

Systems engineering, in particular in the automotive domain, needs to cope with the
massively increasing numbers of requirements that arise during the development process …

Establishing liabilities in component-based systems is a challenging task, as it requires to
establish convincing evidence with respect to the occurrence of a fault, and the causality …

A contract allows to distinguish hypotheses made on a system (the guarantees) from those
made on its environment (the assumptions). In this paper, we focus on models of …

Syntactic difference between models is a wide research area with applications in tools for
model evolution, model synchronization and version control. On the other hand, semantic …

A general, compositional, and component-based contract theory is proposed for modeling
and specifying heterogeneous systems, characterized by consisting of parts from different …