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 creation of safety-critical embedded systems.
Download: Whitepaper (v1.0)