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 security software components with security pattens.
Download: Whitepaper (v1.0)