The safe and secure implementation of increasingly complex features is a major challenge in the development of autonomous and distributed embedded systems. Automated design-time procedures that guarantee the fulfillment of critical system properties are a promising approach to tackle this challenge. In the European project XANDAR, which took place from 2021 to 2023, eight partners developed an X-by-Construction (XbC) design framework to support developers in the creation of embedded software systems with certain safety, security, and real-time properties. The design framework combines a model-based toolchain with a hypervisor-based runtime architecture. It targets modern high-performance hardware, facilitates the integration of machine learning applications, and employs a library of trusted safety and security patterns to reduce the implementation and verification effort. This paper describes the concepts developed during the project, the prototypical implementation of the design framework, and its application in both an automotive and an avionics use case.

In Distributed Control Systems (DCS) the distribution of sensor data needs to be optimized in order to reduce the client process redundancy, i.e.: same sensor data processing in different clients. This paper presents an implementation of Embedded Networked Sensors as Smart Resources that allows to access to high-level information abstracting the user from low level mechanisms. The distributed services provided by Smart Resources implement self-aware adaptation mechanisms in order to suit the performance to the context. Information integrity must be also ensured during this adaptation. The Smart Resource implementation is based on a RGBD sensor. Through a set of experiments is evaluated the performance of the reconfiguration and adaptation mechanisms and detailed the influence of the data integrity according to the provided service.