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 …

Contract-based design is an emerging paradigm for the design of complex systems, where
each component is associated with a contract, ie, a clear description of the expected …

This paper introduces design contracts between control and embedded software engineers
for building Cyber-Physical Systems (CPS). CPS design involves a variety of disciplines …

From the Book: PREFACE: The idea of systematically identifying and documenting design
patterns as autonomous entities was born in the late 1980s. It was brought into the …

We present the mathematical foundations and the design methodology of the contract-based
model developed in the framework of the SPEEDS project. SPEEDS aims at developing …

The explosive growth of embedded electronics is bringing information and control systems
of increasing complexity to every aspects of our lives. The most challenging designs are …

Cyber-physical systems combine a cyber side (computing and networking) with a physical
side (mechanical, electrical, and chemical processes). In many cases, the cyber component …

Contract-based design is an emerging paradigm for the design of complex systems, where
each component is associated with a contract, ie, a clear description of the expected …

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

Contract-based design enriches a component model with properties structured in pairs of
assumptions and guarantees. These properties are expressed in term of the variables at the …