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 …

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

Adiabatic quantum computers like the D-Wave 2000Q can approximately solve the QUBO
problem, which is an NP-hard problem, and have been shown to outperform classical …

Modern automotive-grade embedded computing platforms feature high-performance
Graphics Processing Units (GPUs) to support the massively parallel processing power …

A federated approach to the multiprocessor scheduling of systems of independent recurrent
tasks is considered, in which each task is either restricted to execute preemptively upon a …

As real-time embedded systems are evolving in scale and complexity, the demand for a
higher performance at a minimum energy consumption has become a necessity …

In this paper, we propose a novel approach to schedule conditional DAG parallel tasks, with
which we can derive safe response time upper bounds significantly better than the state-of …

Many modern Cyber Physical Systems (CPSs) are composed of multiple independent
periodically executing real-time control tasks having inter-dependent component sub-tasks …

Mixed-criticality (MC) scheduling of sequential tasks (with no intra-task parallelism) has
been well-explored by the real-time systems community. However, till date, there has been …

Motivated by a string of recent errata, the paper argues that mechanized, yet readable
schedulability proofs are desirable, feasible to create with current tools and with reasonable …