We propose a real-time, Realizable, Responsive, Unobtrusive Unit (rt-R2U2) to meet the
emerging needs for System Health Management (SHM) of new safety-critical embedded …

This paper proposes a real-time (RT) control architecture based on Xenomai, an RT
embedded Linux, to control a service robot along with non-real-time (NRT) robot operating …

The complexity of an embedded system is directly proportional to the requirements of
industrial applications. Various embedded operating system (OS) approaches had been …

This paper provides a comprehensive computational account of hand-centered research,
which is principles, methodologies and practical issues behind human hands, robot hands …

Cyber-physical systems are becoming more and more complex, thereby increasing the cost
and time to ensure safety. They range from highly complex but finite state to infinite state …

We present a runtime verification framework that allows on-line monitoring of past-time
Metric Temporal Logic (ptMTL) specifications in a discrete time setting. We design observer …

Unmanned Aerial Systems (UAS) can only be deployed if they can effectively complete their
mission and respond to failures and uncertain environmental conditions while maintaining …

The gap between informal functional specifications and the resulting implementation in the
chosen programming language is notably a source of errors in embedded systems design …

Abstract Model-Driven Development (MDD) is slowly superseding traditional ways of
develo** embedded software. In line with the MDD, debugging real-time embedded …

Program analysis tools are essential for understanding programs, analyzing performance,
and optimizing code. Some of these tools use code instrumentation to extract information at …