Features

Collaboration

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.

Communication

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.

Integration

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.

Scalability

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.

Intelligence

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.

Certification

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.

Critical Thinking

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.

Collaboration

Arcu sem lacus lorem nulla diam nibh at tortor. Viverra ut integer quis dui ut elit id non mi. Risus eget aenean in nec lectus enim. A phasellus nec sapien eget. Proin etiam arcu viverra dui mollis sit nunc non. Et urna eu ornare ac sit at nunc sodales erat. Magna gravida vitae adipiscing pharetra pellentesque sed amet id nulla. Iaculis ornare odio ut ut aliquet interdum lobortis. Aenean enim diam sit risus odio tellus in. Proin arcu morbi integer non est. Ornare elit sit morbi semper sed elit. Magna facilisi cras elementum nam pellentesque mollis. Eu purus augue quis nunc pharetra adipiscing nisi viverra. Donec vitae nunc lacus urna vitae gravida sed.

Communication

Arcu sem lacus lorem nulla diam nibh at tortor. Viverra ut integer quis dui ut elit id non mi. Risus eget aenean in nec lectus enim. A phasellus nec sapien eget. Proin etiam arcu viverra dui mollis sit nunc non. Et urna eu ornare ac sit at nunc sodales erat. Magna gravida vitae adipiscing pharetra pellentesque sed amet id nulla. Iaculis ornare odio ut ut aliquet interdum lobortis. Aenean enim diam sit risus odio tellus in. Proin arcu morbi integer non est. Ornare elit sit morbi semper sed elit. Magna facilisi cras elementum nam pellentesque mollis. Eu purus augue quis nunc pharetra adipiscing nisi viverra. Donec vitae nunc lacus urna vitae gravida sed.

Integration

Arcu sem lacus lorem nulla diam nibh at tortor. Viverra ut integer quis dui ut elit id non mi. Risus eget aenean in nec lectus enim. A phasellus nec sapien eget. Proin etiam arcu viverra dui mollis sit nunc non. Et urna eu ornare ac sit at nunc sodales erat. Magna gravida vitae adipiscing pharetra pellentesque sed amet id nulla. Iaculis ornare odio ut ut aliquet interdum lobortis. Aenean enim diam sit risus odio tellus in. Proin arcu morbi integer non est. Ornare elit sit morbi semper sed elit. Magna facilisi cras elementum nam pellentesque mollis. Eu purus augue quis nunc pharetra adipiscing nisi viverra. Donec vitae nunc lacus urna vitae gravida sed.

Scalability

Arcu sem lacus lorem nulla diam nibh at tortor. Viverra ut integer quis dui ut elit id non mi. Risus eget aenean in nec lectus enim. A phasellus nec sapien eget. Proin etiam arcu viverra dui mollis sit nunc non. Et urna eu ornare ac sit at nunc sodales erat. Magna gravida vitae adipiscing pharetra pellentesque sed amet id nulla. Iaculis ornare odio ut ut aliquet interdum lobortis. Aenean enim diam sit risus odio tellus in. Proin arcu morbi integer non est. Ornare elit sit morbi semper sed elit. Magna facilisi cras elementum nam pellentesque mollis. Eu purus augue quis nunc pharetra adipiscing nisi viverra. Donec vitae nunc lacus urna vitae gravida sed.

Intelligence

Arcu sem lacus lorem nulla diam nibh at tortor. Viverra ut integer quis dui ut elit id non mi. Risus eget aenean in nec lectus enim. A phasellus nec sapien eget. Proin etiam arcu viverra dui mollis sit nunc non. Et urna eu ornare ac sit at nunc sodales erat. Magna gravida vitae adipiscing pharetra pellentesque sed amet id nulla. Iaculis ornare odio ut ut aliquet interdum lobortis. Aenean enim diam sit risus odio tellus in. Proin arcu morbi integer non est. Ornare elit sit morbi semper sed elit. Magna facilisi cras elementum nam pellentesque mollis. Eu purus augue quis nunc pharetra adipiscing nisi viverra. Donec vitae nunc lacus urna vitae gravida sed.

Certification

Arcu sem lacus lorem nulla diam nibh at tortor. Viverra ut integer quis dui ut elit id non mi. Risus eget aenean in nec lectus enim. A phasellus nec sapien eget. Proin etiam arcu viverra dui mollis sit nunc non. Et urna eu ornare ac sit at nunc sodales erat. Magna gravida vitae adipiscing pharetra pellentesque sed amet id nulla. Iaculis ornare odio ut ut aliquet interdum lobortis. Aenean enim diam sit risus odio tellus in. Proin arcu morbi integer non est. Ornare elit sit morbi semper sed elit. Magna facilisi cras elementum nam pellentesque mollis. Eu purus augue quis nunc pharetra adipiscing nisi viverra. Donec vitae nunc lacus urna vitae gravida sed.

Critical Thinking

Arcu sem lacus lorem nulla diam nibh at tortor. Viverra ut integer quis dui ut elit id non mi. Risus eget aenean in nec lectus enim. A phasellus nec sapien eget. Proin etiam arcu viverra dui mollis sit nunc non. Et urna eu ornare ac sit at nunc sodales erat. Magna gravida vitae adipiscing pharetra pellentesque sed amet id nulla. Iaculis ornare odio ut ut aliquet interdum lobortis. Aenean enim diam sit risus odio tellus in. Proin arcu morbi integer non est. Ornare elit sit morbi semper sed elit. Magna facilisi cras elementum nam pellentesque mollis. Eu purus augue quis nunc pharetra adipiscing nisi viverra. Donec vitae nunc lacus urna vitae gravida sed.

Feature

Description

Collaborative Multi-user Environment

Work with your whole team to prepare your assurance case. Socrates’ multi-user environment is focused on concurrent and collaborative assurance case development.

Issue & Comment Tracking

Identify and track issues to facilitate reviews and team discussions.

Intuitive Graphical Interface

Create and maintain arguments using Socrates’ intuitive and easy to learn graphical user interface.

Accessible from Everywhere

Web-based applications provide global access to authorized users anytime from anywhere.

Flexible Hosting

Deploy Socrates on your organization’s IT infrastructure or use a managed cloud instance.

Goal Structuring Notation Support

Create arguments using Goal Structuring Notation (GSN).

Eliminative Argumentation Support

Create arguments using Eliminative Argumentation (EA) and gain confidence by resolving sources of doubt.

Argument Decomposition

Decompose complex arguments into manageable sub-arguments to improve comprehension and presentation.

Static Analysis

Prevent common mistakes with customizable, rule-based static analysis.

Artifact and Evidence Management

Link and manage artifacts to support arguments.

Argument Metrics

Track progress over time with the metrics dashboard.

Version Management

Snapshot your argument at any time to make changes with confidence.

Report Generation

Generate and export reports in Microsoft Word or Excel.

Custom Exporting

Define custom templates for exporting argument data into Microsoft Excel compatible (CSV) files.

Argument Access Control

Display an argument to all users, or restrict access to desired users only.

User Roles

Assign users various levels of privilege to users to limit their editing capabilities.

Notifications

Keep up to date with customizable notifications for edits, responses, and account changes.

Re-Usable Argument Patterns

Quickly build up complex arguments by re-using existing argument patterns from a customizable library.

Argument Overview

Visualize the argument from a bird’s eye perspective and see hotspots and recent changes with the heatmap.

Argument Labels

Kept your team organized with customizable labels and associate them to nodes in an argument.

Find and Replace

Replace text in arguments quickly using Socrates’ find and replace function.

Feature

Description

Collaborative Multi-user Environment

Work with your whole team to prepare your assurance case. Socrates’ multi-user environment is focused on concurrent and collaborative assurance case development.

Multi View Editing

Faucibus magna viverra tempus mattis tincidunt tortor neque tristique pretium. Nisl sed imperdiet mi faucibus mi rhoncus at mattis malesuada. Neque amet penatibus id dignissim.

Collaborative Multi-user Environment

Work with your whole team to prepare your assurance case. Socrates’ multi-user environment is focused on concurrent and collaborative assurance case development.

Multi View Editing

Faucibus magna viverra tempus mattis tincidunt tortor neque tristique pretium. Nisl sed imperdiet mi faucibus mi rhoncus at mattis malesuada. Neque amet penatibus id dignissim.

Collaborative Multi-user Environment

Work with your whole team to prepare your assurance case. Socrates’ multi-user environment is focused on concurrent and collaborative assurance case development.