Documentation
Guides, concepts, and reference for building structured assurance arguments with Lemmatica.
Quick start
Get up and running with Lemmatica in minutes.
Core concepts
Goals, strategies, solutions — learn the building blocks.
Your first safety case
Build a small assurance case from scratch in about ten minutes.
Use cases
See how teams use Lemmatica across industries.
Browse by section
Getting Started
- What is Lemmatica?
An overview of Lemmatica and structured assurance cases.
- Core Concepts
GSN notation, node types, and how safety arguments work.
- Your first safety case
A hands-on tutorial that walks you through building a small safety case in Lemmatica.
- Importing existing cases
Bringing an existing safety case into Lemmatica from ASCE, NOR-STA, or another GSN tool.
Guides
- Building argumentsComing soon
How to structure goals, strategies, and solutions into a coherent assurance argument.
- Real-time collaborationComing soon
Work on assurance cases together with live cursors, presence, and shared editing.
- Evidence managementComing soon
Upload, link, review, and track evidence against your assurance claims.
- Away goals & modularityComing soon
Break large assurance cases into modular sub-cases with away goal references.
Concepts
- GSN V3 Notation
Complete reference for Goal Structuring Notation V3 elements and rules.
- Validation rulesComing soon
How Lemmatica validates your assurance arguments against GSN V3 structural rules.
- Dialectic reasoningComing soon
Challenge claims with counter-arguments and track defeated nodes.
- Modular assurance casesComing soon
Compose large assurance arguments from reusable modular sub-cases.
- Glossary
Definitions for GSN notation and domain-specific terms used across the documentation.
Use Cases
- Automotive
Functional safety cases for road vehicles under ISO 26262 and SOTIF (ISO 21448).
- Aerospace
Structured assurance arguments for airborne software and systems under DO-178C, DO-254, and ARP4754A.
- Autonomous vehicles
Safety cases for highly automated driving under UL 4600 and SOTIF, including the ML-uncertainty problem.
- Cybersecurity assurance
Security assurance cases under ISO/IEC 15408, ISO/SAE 21434, and NIST SP 800-53/SP 800-160.
- Medical devices
Safety and assurance cases for medical device software under IEC 62304, ISO 14971, and the major regulatory submission paths.
- Defence
Assurance cases for defence systems under Def Stan 00-55/00-56, MIL-STD-882E, and the multi-national standards stack.