This paper presents Spinach, a new simulator toolset specifically designed to target programmable network interface architectures. Spinach models both system components that are common to all programmable environments (e.g., ALUs, control and data paths, ...

Program synthesis from hierarchical state diagrams has for long been discussed in various communities. My aim is to provide an efficient, lightweight code generation scheme suitable for resource constrained microcontrollers.I describe an initial implementation ...

In this paper, we present an approach to the design of hybrid systems by combination of several comprehensive formalization techniques. We use Duration Calculus (DC) to specify the requirement and design at abstract level of system development. Then ...

This work presents a co-design methodology for the definition of ad-hoc HW/SW architectures for modern DBMSs. The main goals of such a methodology are: to analyze the DBMS specification in order to identify the operators that could benefit from ad-hoc ...

Many of today's complex computer applications are being modeled and constructed using the principles inherent to real-time distributed object systems. In response to this demand, the Object Management Group's (OMG) Real-Time Special Interest Group (RT ...

There is no clear distinction between service-oriented systems (SOS) and component-based systems (CBS). However, there are several characteristics that could let one consider SOS as a step further from CBS. In this paper, we discuss the general features ...

This paper presents a formal notation for specifying requirements of embedded systems which exhibit continuous, real-time behaviour and move through various modes under digital control. It does this by extending an existing formal notation supporting ...

Embedded control devices today usually allow parameter changes, and possibly activation of different pre-implemented algorithms. Full reprogramming using the complete source code is not allowed for safety, efficiency, and proprietary reasons. For ...

Catalyzed by advances in low-power electronics and energy harvesting, we can now build mobile systems that operate perpetually, sensing and streaming data to scientists. Unfortunately, current mobile software systems are not well suited to the combined ...

In the embedded domain, the gap between memory and processor performance and the increase in application complexity need to be supported without wasting precious system resources: die size, power, etc. For these reasons, effective exploitation of small ...

Sensor validation plays a key role in automatic control and online monitoring of complex systems, ensuring high performance and guaranteeing safety. Even in cases of safe industrial processes, the unreliability of sensor measurements may lead to a degraded ...

This paper introduces a new paradigm for the development of Embedded Systems, called process-orientation. From the analysis of the problems encountered with state-of-the-art development methods for Embedded Systems, it becomes obvious that many difficulties ...

We propose, in this paper, a technique for the acceleration of embedded Java virtual machines. The technique relies on an established synergy between efficient interpretation and selective dynamic compilation. Actually, efficient interpretation is achieved ...

In this work, we describe a "just-in-time," <i>usage density-based register allocator</i> geared toward embedded systems with a limited general-purpose register set wherein speed, code size, and memory requirements are of equal concern. The main ...

In this paper, the applicability of model checking to C code for embedded systems is studied. The paper is divided into two parts. In the first part, 13 existing model checkers for C code are detailed and evaluated for their applicability in the verification ...

An increasing number of distributed real-time systems face the critical challenge of providing quality of service guarantees in open and unpredictable environments. In particular, such systems often need to enforce utilization bounds on multiple processors ...

Java chips have been widely accepted in real-time embedded systems. Those embedded applications usually impose resource and real-time constraints on the design of the CPU. In this paper, we seek a hardware-assisted scheme to support runtime memory management ...

Soft errors induced by terrestrial radiation are becoming a significant concern in architectures designed in newer technologies. If left undetected, these errors can result in catastrophic consequences or costly maintenance problems in different embedded ...