System-level design (SLD) is considered by many as the next frontier in electronic design
automation (EDA). SLD means many things to different people since there is no wide …

This paper focuses on the challenges of modeling cyber–physical systems (CPSs) that arise
from the intrinsic heterogeneity, concurrency, and sensitivity to timing of such systems. It …

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 …

Although comprehensive knowledge of cyber-physical systems (CPS) is becoming a must
for researchers, practitioners, system designers, policy makers, system managers, and …

Complex systems demand diversity in the modeling mechanisms. One way to deal with a
diversity of requirements is to create flexible modeling frameworks that can be adapted to …

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 …

Over the last decade, advances in the semiconductor fabrication process have led to the
realization of true system-on-a-chip devices. But the theories, methods and tools for …

The fundamental notion of bisimulation equivalence for concurrent processes, has escaped
the world of continuous, and subsequently, hybrid systems. Inspired by the categorical …

This paper focuses on the challenges of modeling cyber-physical systems that arise from the
intrinsic heterogeneity, concurrency, and sensitivity to timing of such systems. It uses a …

Principles of modern cyber-physical system (CPS) analysis are based on analytical methods
that depend on whether safety or liveness requirements are considered. Complexity is …