Contexte et atouts du poste

In the field of systems engineering, contract-based design [1] is a modular methodology that enables independent component development while ensuring correct system-wide integration. A specific instance is the assume--guarantee contract: Contract = (A, G). Here, Assumptions A describe what the component expects from its environment, while Guarantees G specify what the component promises to deliver, provided that the assumptions hold. Formally, a contract can be represented as an implication:

E ≼ A ⇒ (Σ ∧ E)≼ G

meaning that if the environment satisfies the assumptions A, the system under the environment must ensure the guarantees G. This contract-based perspective supports modular and compositional system design.

In recent years, the design and analysis of large-scale control systems have become increasingly challenging. To address this, contract-based design has been in...