This paper surveys the design of embedded computer systems, which use software running
on programmable computers to implement system functions. Creating an embedded …

The market for real-time applications has grown considerably in years, and in response
engineering methods have also improved. Today's techniques, while adequate for building …

The time-triggered message-triggered object (TMO) structuring scheme has been
established to remove the limitation of conventional object structuring techniques in …

We argue that the specification of an object's functional behavior and the timing constraints
imposed on it may be separated. Specifically, we describe RTsynchronizer, a high-level …

Time constrained systems which operate in dynamic environments may have unknown
worst case scenarios, may have large variances in the sizes of the data and event sets that …

Tools for formally specifying software for real-time systems have strongly improved their
capabilities in recent years. At present, tools have the potential for improving software quality …

The problems associated with developing real-time software systems, including ensuring
predictable real-time behavior under both normal and abnormal operating conditions, are …

The paper presents an architectural framework and algorithms for engineering dynamic real-
time distributed systems using commercial off-the-shelf technologies. In the proposed …

Machines that perform hard or boring work have interested me ever since I was a boy and
had to help my parents on our farm. I was more interested in mathematics physics, and …

EMERALDS (Extensible Microkernel for Embedded, ReAL-time, Distributed Systems) is a
real-time microkernel designed for small-memory embedded applications. These …