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 …

Latest technological trends lead toward systems connected to public networks even in
critical domains. Bringing together safety and security work is becoming imperative, as a …

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 …

Hardware/software codesign investigates the concurrent design of hardware and software
components of complex electronic systems. It tries to exploit the synergy of hardware and …

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 …

We present a methodology for modeling heterogeneous real-time components. Components
are obtained as the superposition of three layers: behavior, specified as a set of transitions; …

Featuring contributions from major technology vendors, industry consortia, and government
and private research establishments, the Industrial Communication Technology Handbook …

We summarize some current trends in embedded systems design and point out some of
their characteristics, such as the chasm between analytical and computational models, and …

Visit the authors' companion site! http://www. electronicsystemlevel. com/-Includes
interactive forum with the authors! Electronic System Level (ESL) design has mainstreamed …