A large class of embedded systems is distinguished from general-purpose computing
systems by the need to satisfy strict requirements on timing, often under constraints on …

In this article we give an overview of the worst-case execution time (WCET) analysis
research performed by the WCET group of the ASTEC Competence Centre at Uppsala …

In order to improve design time and efficiency of systems, large scale system design is often
split into the design of separate functions, which are later integrated together. For real time …

Abstract Cyber-Physical Systems (CPS) are integrations of computation with physical
processes. These systems must be equipped to handle the inherent concurrency and …

In real-time systems, timing behavior is as important as functional behavior. Modern
architectures turn verification of timing aspects into a nightmare, due to their" …

Hard real-time systems require programs to react on time. Static timing analysis derives
timing guarantees by analyzing the behavior of programs running on the underlying …

Precise operation of real-time systems depends on functionally correct computations that are
delivered within imposed timing constraints. These temporal requirements are often …

Building computers that can be used to design embedded real-time systems is the subject of
this title. Real-time embedded software requires increasingly higher performances. The …

In cyber-physical systems, where embedded computation interacts with physical processes,
correctness depends on timing behavior, not just functionality. For high confidence in the …

Localization (aka locationing) is a central concern for ubiquitous self-configuring sensor
networks. In this paper the implementation of a distributed, least-squares-based localization …