Cantata Safety Manual

The attached Cantata safety manual provides guidance on using Cantata for software testing in safety-critical contexts. It covers Cantata tool certification, the safety workflow, test case creation, test execution, and results analysis when verifying safety-related code.

The manual describes how to properly install, configure, and qualify Cantata according to various safety standards. It explains how to generate certification evidence like requirements traceability, test results, and coverage analysis. The document should be used together with Cantata user guides and standard-specific briefing papers. Following this manual will help ensure the correct use of Cantata’s certified components for safety-critical software verification.