The use of reduced precision to improve performance metrics such as computation latency
and power consumption is a common practice in the embedded systems field. This practice …

A unique feature of this open access textbook is to provide a comprehensive introduction to
the fundamental knowledge in embedded systems, with applications in cyber-physical …

Reconfigurable computing is becoming increasingly attractive for many applications. This
survey covers two aspects of reconfigurable computing: architectures and design methods …

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

Model checking techniques for software product lines (SPL) are actively researched. A major
limitation they currently have is the inability to deal efficiently with non-Boolean features and …

Abstract Ein Alleinstellungsmerkmal dieses Open-Access-Lehrbuchs ist die umfassende
Einführung in das Grundlagenwissen über eingebettete Systeme mit Anwendungen in cyber …

Translating digital signal processing (DSP) software into its finite-precision hardware
implementation is often a time-consuming task. We describe a new static analysis technique …

Contract-based design is a method to facilitate modular system design. While there has
been substantial progress on the theory of contracts, there has been less progress on …

One of the most important stages of floating-point to fixed-point conversion, is the evaluation
of the fixed-point specification accuracy. This evaluation is required to optimize the data …

Digital signal processing applications are specified with floating-point data types but they
are usually implemented in embedded systems with fixed-point arithmetic to minimise cost …