System-Level Design Techniques for Energy-Efficient Embedded Systems addresses the
development and validation of co-synthesis techniques that allow an effective design of …

An embedded system is called multi-mode when it supports multiple applications by
dynamically reconfiguring the system functionality. This paper proposes a hardware …

The Real-Time Calculus (RTC) framework proposed in [Chakraborty et al., DATE 2003] and
subsequently extended in [Wandeler et al., Real-Time Systems 29 (2-3), 2005] and a …

In this paper, we present a multi-objective hardware-software co-synthesis system for multi-
rate, real-time, low power distributed embedded systems consisting of dynamically …

Real-time systems with multiple modes require mode-change protocols (MCPs) to ensure
safety during mode transitions. A variety of MCPs are available in the literature; however, it …

This paper presents a formal technique for system-level power/performance analysis that
can help the designer to select the right platform starting from a set of target applications. By …

Handling mode changes is one of the most complex and important problems for real-time
systems designers. The challenge is to move a system from running one set of software to …

We present a novel co-design methodology for the synthesis of energy-efficient embedded
systems. In particular, we concentrate on distributed embedded systems that accommodate …

Many embedded systems operate in multiple modes, where mode switches can be both time-
as well as event-triggered. While timing and schedulability analysis of the system when it is …

Among the key characteristics of cyber-physical systems are the ability to adapt to changes
during operation, the multidimensional complexity of multi-functionality and the underlying …