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 …

The advent of machine learning (ML) and Artificial intelligence (AI) has brought about a
significant transformation across multiple industries, as it has facilitated the automation of …

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 …

An introduction to the engineering principles of embedded systems, with a focus on
modeling, design, and analysis of cyber-physical systems. The most visible use of …

In Ptolemy II, models specify computations by composing actors. Many computations,
however, are awkward to specify this way. A common situation is where we wish to evaluate …

In this paper, we explain how to achieve deterministic execution of FMUs (Functional
Mockup Units) under the FMI (Functional Mockup Interface) standard. In particular, we focus …

A Clear Outline of Current Methods for Designing and Implementing Automotive Systems
Highlighting requirements, technologies, and business models, the Automotive Embedded …

CλaSH is a functional hardware description language that borrows both its syntax and
semantics from the functional programming language Haskell. Polymorphism and higher …

This paper gives a semantics for discrete-event (DE) models that generalizes that of
synchronous/reactive (SR) languages, and a continuous-time (CT) semantics that …

Models of computation (MoC) are reviewed and organised with respect to the time
abstraction they use. Continuous time, discrete time, synchronous and untimed MoCs are …