As system integration becomes an increasingly important challenge for complex real-time
systems, there has been a significant demand for supporting real-time systems in virtualized …

Compositional schedulability analysis of hierarchical scheduling frameworks is a well
studied problem, as it has wide-ranging applications in the embedded systems domain …

Recent years have witnessed two major trends in the development of complex real-time
embedded systems. First, to reduce cost and enhance flexibility, multiple systems are …

We show that for any asymptotically controllable homogeneous system in euclidean space
(not necessarily Lipschitz at the origin) there exists a homogeneous control Lyapunov …

The paper presents a model for multi-mode real-time applications and develops new
techniques for the compositional analysis of systems that contain multiple such applications …

Ubiquitous in today's consumer-driven society, embedded systems use microprocessors that
are hidden in our everyday products and designed to perform specific tasks. Effective use of …

Embedded systems are complex as a whole but consist of smaller independent modules
minimally interacting with each other. This structure makes embedded systems amenable to …

Challenges within real-time research are mostly in terms of modeling and analyzing the
complexity of actual real-time embedded systems. Probabilities are effective in both …

In high-integrity systems, the focus of the development process is geared to assuring that the
assertions made on the system are both correct (ie, semantically sustainable) and feasible …

As real-time embedded systems are increasingly complex, integration becomes a great
challenge in their design and development. Managing complexity of the system design is …