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 …

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 …

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

We present an assume-guarantee contract framework for cyber-physical system design
under probabilistic requirements. Given a stochastic linear system and a set of requirements …

We propose a compositional specification theory for reasoning about components that
interact by synchronisation of input and output (I/O) actions, in which the specification of a …

Abstract Probabilistic Automata (PAs) are a widely-recognized mathematical framework for
the specification and analysis of systems with non-deterministic and stochastic behaviors …

Notions of specification, implementation, satisfaction, and refinement, together with
operators supporting stepwise design, constitute a specification theory. We construct such a …

The realization of large and complex cyber-physical systems (such as" smart" transportation,
energy, security, and health-care systems) is creating design and verification challenges …

Notions of specification, implementation, satisfaction, and refinement, together with
operators supporting stepwise design, constitute a specification theory. We construct such a …

We survey the specification formalism of modal transition systems (MTS). We discuss
various extensions of MTS, their relationships and modelling capabilities. The extensions …