Middleware is an integral part of critical software, providing core services for data exchange
and manipulation, job execution, and scheduling. Their correctness is central to the correct …

The ScOSA project (Scalable On-board Computing for Space Avionics) of the German
Aerospace Center aims at combining radiation hardened space hardware together with …

With the advent of low-cost embedded platforms, the design of embedded systems has
gained in popularity over the recent years. It also contributed to increase the popularity and …

In the development of complex critical systems, an important source of errors is the
misinterpretation of system requirements allocated to the software, due to inadequate …

Producing a large family of resource-constrained multi-processing systems on chips
(MPSoC) is challenging, and the existing techniques are generally geared toward a single …

This paper describes a model-driven environment for configuration control and deployment
of on-board satellite software. The solution enables platform-aware software development …

A recent initiative of the European Space Agency (ESA) aims at the definition and adoption
of a software reference architecture for use in on-board software of future space missions …

Multisensor data fusion plays a vital role in providing autonomous systems with
environmental information crucial for reliable functioning. In this article, we summarize the …

One of the major sources of errors in the development of real time critical embedded
software is the misinterpretation of system requirements allocated to the software. These …

The interdisciplinary process of space systems engineering poses challenges for the
development of the on-board software. The software integrates components from different …