The confidence in the correctness of tools is a key part of most safety standards. Therefore, Ansys medini analyze has been certified against IEC 61508 and ISO 26262 and complies with all requirements stated for an offline support tool. In more details:
Certificate as T2 offline support tool according to IEC 61508-4:2010
Certificate as TCL3 offline support tool according to ISO 26262-8:2018
In addition to the certificates that provides evidence in the correctness of the tool behavior itself, a Tool Qualification Kit (QKit) is provided to test whether the tool behaves exactly as specified in the user environment (after installation). More precisely, the QKit addresses the following safety standard requirements:
Automotive: Tool qualification according to ISO 26262:2018, part 8 (section 11), which states that "1c Validation of the software tool" is the recommended method. The QKit comprises tests for those features that have been pre-assessed and rated as TCL2 or TCL3.
Industrial Application: Tool qualification according to IEC 61508:2010, part 4 as an "off-line support tool". This safety manual addresses requirement of IEC 61508:2010, part 3 clause 7.4.4.4 and the QKit supports clause 7.4.4.18 for a T2 offline support tool.
For this purpose, the qualification kit comprises:
Test suites to show the software tool complies with its specified requirements
Test suites for the use of the tool in non-recommended working conditions
Test suites for the investigation of the tool for expected anomalous usage
These test cases are maintained and extended as required with every release of the software. The tests are delivered as manual tests and as an automated qualification kit (see Automated Tool Qualification Kit.
After successfully running the QKit, users can assume that the tested features are reliably working as specified and tested by ANSYS Germany GmbH.