The safety requirements are often described via specifications called contracts. To verify that
the system fulfills certain safety requirements, for instance, in the assume-guarantee contract …

We introduce a platform-based design methodology that uses contracts to specify and
abstract the components of a cyber-physical system (CPS), and provide formal support to the …

In an aircraft electric power system, one or more supervisory control units actuate a set of
electromechanical switches to dynamically distribute power from generators to loads, while …

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 …

The goal of Industry 4.0 is to be faster, more efficient and more customer-centric, by
enhancing the automation and digitalisation of production systems. Frequently, the …

The increasing complexity of cyber-physical systems (CPSs) makes their design,
development and operation extremely challenging. Due to the nature of CPS that involves …

Cyber-Physical Systems (CPS) integrate computation, networking and physical processes to
produce products that are autonomous, intelligent, connected and collaborative. Resulting …

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 …

Cyber-physical systems require the construction and management of various models to
assure their correct, safe, and secure operation. These various models are necessary …

The complexity of cyber–physical systems (CPSs) is commonly addressed through complex
workflows, involving models in a plethora of different formalisms, each with their own …