Periodic Reporting for period 2 - XANDAR (X-by-Construction Design framework for Engineering Autonomous & Distributed Real-time Embedded Software Systems)

The development of modern embedded systems, such as autonomous air and ground vehicles, is often subject to a complex set of requirements. The seamless integration into large-scale networks, a steadily increasing demand for computational performance, and the application of...