The Socrates multi-user environment provides your whole team with concurrent access to argument, anytime and anywhere, to develop, review and maintain your assurance cases as they grow in size and complexity.

Designed with built-in support for notifications, review and issue tracking, Socrates also allows auto-generation of reports, ability to export to JIRA and CSV, Microsoft Word and Excel. Socrates helps subject matter experts communicate effectively both within the assurance team and to the broader community of developers, including decision-makers in senior leadership roles.

With the ability to easily link elements of an assurance argument to other artifacts and tools, Socrates can be used to navigate around a warehouse of specifications, analyses, test results, operational procedures and other artifacts, relying on the logical structure of the argument to bind the artifacts together.

Innovative aids allow a user to deftly navigate around the structure of argument and control how much detail is displayed. Socrates users quickly learn how to organize large arguments into sub-arguments. The ability to define, store, retrieve and instantiate parameterized argument patterns allows large arguments to be developed more efficiently. Multiple arguments can also be linked to shared sub-arguments, avoiding duplication of effort and simplifying maintainability of a large argument.

Socrates provides users with feedback on the structure and composition of arguments that can be used to improve the quality of the argument or evaluate its maturity. This includes rule-based checking that can help a new user of Socrates quickly learn how to develop correctly structured arguments. Other kinds of feedback offers managers and other stakeholders insights about the maturity and quality of an argument as it is being developed.

Using Goal Structuring Notation and Eliminative Argumentation, Socrates allows users to develop assurance arguments that support compliance with industry standards such as ISO 26262, UL 4600, EN 50126 and ISO 21434, or applicable regulatory codes.

Socrates is designed to capture how highly skilled assurance experts use critical thinking to carefully examine the soundness of an assurance argument providing decision makers and other stakeholders a basis for their confidence and trust in the conclusions about the safety of a system or product.