Energy efficiency considerations are required for resource reservations in real-time systems. However, current systems lack considerations of energy efficiency when calculating the optimum processor speed to ensure that the supply of resources is no ...

Executing a set of control loops over a shared multi-hop (wireless) control network (MCN) requires careful co-scheduling of the control tasks and the routing of sensory/actuation messages over the MCN. In this work, we establish pattern guided aperiodic ...

Most of the todays cyber-physical systems are delay tolerant. These systems can tolerate transient overloads which occur when the computation demand is greater than the available resource supply during a time interval, but recovers from the overload ...

Cyber-Physical Systems (CPS) are often deployed in critical applications subject to strict timing constraints. To guarantee their timing correctness, much of the effort has been dedicated to the development of validation and verification methods for CPS ...

Dynamic voltage/frequency scaling (DVFS) has been an efficient technique in exploiting multi-processors configurable characteristics. However, for large class of embedded real time applications, changing processors frequency interferes with tasks ...

Component-based systems are often constructed with the help of a middleware layer that provides execution semantics for the components. If the implementations of the components use only the middleware services for concurrency, synchronization, and ...

Today's embedded systems demand increasing computing power to accommodate the ever-growing software functionality. Automotive and avionic systems aim to leverage the high performance capabilities of multicore platforms, but are faced with challenges ...

The complexity of modern architectures has increased the timing variability of programs (or tasks). In this context, new approaches based on probabilistic methods are proposed to decrease the pessimism by associating probabilities to the worst case ...

For preemptive scheduling with shared cache, different tasks may cause interference in the shared cache, leading to Cache-Related Preemption Overhead (CRPD). Cache partitioning is a well-known technique for mitigating unpredictable cache interference in ...

Self-suspension is becoming an increasingly prominent characteristic in real-time systems such as: (i) I/O-intensive systems, where applications interact intensively with I/O devices, (ii) multi-core processors, where tasks running on different cores ...

We define the concept of degree of schedulability to characterize the schedulability and performance of soft real-time systems. The degree of schedulability of a system is given in terms of the two factors 1) Percentage of Missed Deadlines (PoMD); and 2)...

Integrated analysis of temporal behavior for distributed real-time embedded (DRE) systems is an important design-time step needed to verify safe and predictable system operation at run-time. In earlier work, we have shown a Colored Petri Net-based (CPN) ...

In hard real-time systems, each task has to provably finish its execution within its respective deadline. Compiler optimizations can be used to improve each task's timing behavior. However, current compilers do not consider tasks' deadlines and can ...

A linear analysis method is given out to analysis real-time scheduling problems, including periodic task scheduling, schedulability analysis and so on. By define Time Segment (TS) of hyper period, we deduced a group of equations which can represent real-...

AUTOSAR is a standard framework that aims to address many software challenges such as composability, reusability and interoperability during automotive system development. To overcome these challenges, its specifications provide a basic infrastructure ...

We address the challenge of designing predictable real-time systems in an unpredictable thermal environment where environmental temperature may dynamically change (e.g., implantable medical devices). Towards this challenge, we propose a control-...

This paper presents some ongoing research carried out in the context of the PRISE Project (Research Platform for Embedded Systems Engineering). This platform has been designed to evaluate and validate new embedded system concepts and techniques through a ...

This paper describes GPUSync, which is a framework for managing graphics processing units (GPUs) in multi-GPU multicore real-time systems. GPUSync was designed with flexibility, predictability, and parallelism in mind. Specifically, it can be applied ...

In order to predicate the schedulability of real-time embedded system in the model design stage, a new schedulability analysis method for embedded system models using Architecture Analysis and Design Language (AADL) is presented in this paper. Through ...

Real-time systems increasingly contain processing units with multiple cores. To use this additional computational power in hard deadline environments, one needs schedulability tests for task models that represent the possibilities of parallel execution ...