PREMIS Assurance Case Tool
Develop GSN assurance cases
You can develop modular GSN (Goal Structuring Notation) arguments online using PREMIS assurance case tool. PREMIS supports Core GSN and partially Modular and Argument Pattern Extensions.
The PREMIS argument metamodel is compliant with OMG SACM
and ISO/IEC 15026.
Eliminative Argumentation is also supported in PREMIS. You can use defeaters in your arguments.
You can develop the argument manually with your team, import from XML or text (LTAC), and use PREMIS AI assistant.
Manage complex modular arguments
Large arguments can be split into modules, which can then be managed separately. They are an effective tool for distributing work within teams and organizations. In PREMIS, you can assign individual user rights for each module.
Argument modules can be bound with interfaces and the assessment of supporting modules is automatically reported to higher-level argument modules. PREMIS implements three types of argument interfaces: away elements, supported by a module and supported by a contract.
Integrate your arguments
with dynamic evidence
Arguments in assurance cases typically refer to evidence produced during the system life cycle and stored in repositories, usually in version control systems.
PREMIS provides out-of-the-box integration with SharePoint, Confluence and Jira Cloud. Integration with other types of repositories can be provided on request.
PREMIS monitors and reports on changes to evidence.
in integrated repositories, thereby enabling systematic change management, including processing of operational data, such as Safety Performance Indicators (SPIs).
Perform reviews and assessments
Assurance case reviews can be performed at any stage
of the argument development process.
PREMIS supports self-assessment and third-party reviews.
PREMIS monitors which parts of the argument need a review,
and when the updated sections of the argument should be
reviewed again.
Depending on the type of the argument you can use simple conformance assessment methods or advanced methods which support uncertainty, such as Dempster-Shafer. All results
of the reviews can be presented visually using colours.
Report on progress and results
You can produce assurance case reports to MS Word, Excel,
PDF or HTML. Reports can be customized with templates that produce the content based on XML data describing the argument.
Argument status and assessment results are presented online
and in the reports with charts and using a colour scale.
All reports can support internal links for easy navigation
of large assurance cases and also links to evidence stored
in online repositories.
Build teams, collaborate
and manage user rights
PREMIS is an environment for all forms of collaboration
in the development of assurance cases. You can work with
your team, initiate third-party assessments or invite your partners and suppliers.
You can manage user access rights for each assurance case project
or a group of projects.
PREMIS implements Role-based access control (RBAC)
for all actions on assurance cases. You can use predefined
roles such as manager, editor, auditor and viewer,
or define your own roles based on over 40 permissions.
Reuse with templates
Templates in PREMIS enable the reuse of arguments
and proven patterns. You can develop libraries
of templates. When you have a new template version
you decide if you want existing arguments to be updated to new version. The synchronization mechanism allows to build a pipeline of draft templates and approved template versions.
Template parameters allow to specify argument objects and control argument branched to produce argument structure specific for the context of your system.
Track changes and use version control
PREMIS maintains a complete change history of all assurance cases. You can view any version of the argument since its creation.
When necessary, you can restore or make a copy of any version
of the argument.
PREMIS also checks if your reviews and assessments are up to date. The tool can alert you and point out the changes that you can review the modified parts of the argument again.
Maintain up to date information
in dynamic assurance cases
PREMIS assurance cases may be fed with live data from
the evidence management system or the system monitoring tools, including Safety or Reliability Performance Indicators (SPI / RPI).
Data can be automatically transferred into the argument
and it can be used to update the evidence data, assessment
and even the argument structure.
PREMIS API allows for custom integration of any development
or operational data with the assurance case argument.
Integrate with other systems
PREMIS API allows for custom integration with any systems.
User authentication can be integrated with Entra ID, Azure AD B2C or other identity providers.
PREMIS software installation is easy and it’s configuration satisfies high security requirements. It can be installed in a variety of environments, including a simple virtual machine, Docker, Kubernetes and Istio, as well as cloud environments such as Azure or AWS.
Upcoming training:
15 April 2025
Best Practices for Assurance Case Development
Assurance cases are used in many domains to manage
and demonstrate system safety, security and compliance. The right understanding of the argument structure is essential for its effective use. The main goal of the course
is to provide skills to use proper and effective argument structures, develop defensible arguments, and review assurance case quality..