The work presented in this paper is part of an overall effort to design a secure autopilot,
resilient against malicious attacks on both the cyber and physical layers, for a small …

Scheduling theory and algorithms have been well studied in the real-time systems literature.
Many useful approaches and solutions have appeared in different problem domains. While …

Many Internet of Things and embedded projects are event driven, and therefore require
asynchronous and concurrent programming. Current proposals for C++ 20 suggest that …

In this paper we present an implementation and demonstration of the Multi-Resource Server
(MRS) which enables predictable execution of real-time applications on multi-core platforms …

In this paper we describe the problem of achieving composability of independently
developed real-time subsystems to be executed on a multi-core platform, and we provide a …

Most current generation avionics systems are based on a federated architecture, where an
electronic device runs a single software module or application that collaborates with other …

This paper presents extensions to the previous implementation of two-level Hierarchical
Scheduling Framework (HSF) for FreeRTOS. The results presented here allow the use of …

The TULIPP project aims to facilitate the development of embedded image processing
systems with real-time and low-power constraints. In this paper, several adaptive dynamic …

Dynamic program monitoring has been applied in software-intensive systems to detect
runtime constraint violations and trigger system recovery actions. Uncontrolled monitoring …

Real-time systems are applied in the more diverse applications. Most of these applications
require specific configurations in order to meet their timing constraints. Real-time Operating …