Whitepaper on XANDAR Security processes

XANDAR partners published a second whitepaper on the security process, which is a holistic approach where the threats towards safety-critical embedded systems are carefully considered. The document provides an introduction on the security process provided by the X-by-Construction (XbC) toolchain and it demonstrates the feasibility on automating the development of Read more…

Whitepaper on the XANDAR Design Framework

In their first whitepaper, the XANDAR partners give a concise overview of the design framework developed during the three-year project. The document explains the need for a model-based treatment of safety, security, and timing requirements, introduces the XANDAR consortium, and describes how the partners leverage the X-by-Construction (XbC) paradigm to support developers in the Read more…