What is Lemmatica?
Lemmatica is a modern web-based editor for building structured safety and assurance cases using Goal Structuring Notation (GSN) V3.
Safety-critical industries — automotive, aerospace, defence, medical devices, autonomous vehicles — require structured arguments that a system is acceptably safe. These arguments, called safety cases, link high-level safety claims to supporting evidence through a clear chain of reasoning.
Lemmatica makes this process collaborative, visual, and standards-compliant.
Who is it for?
- Safety engineers building safety cases for certification
- Assurance teams managing evidence and review workflows
- Systems engineers documenting safety arguments alongside system design
- Assessors and regulators reviewing structured arguments
Key capabilities
GSN V3 editor
A visual canvas with drag-and-drop nodes, auto-layout, and real-time structural validation against the GSN Community Standard V3.
Real-time collaboration
Work on the same safety case simultaneously with live cursors and presence awareness — like Google Docs, but for safety arguments.
Evidence management
Link test reports, analysis documents, and review records directly to solution nodes. Track evidence status and completeness.
Structural validation
Arguments are validated against GSN V3 rules as you build them. Errors and warnings appear inline so you can fix issues immediately.
Modular safety cases
Break large arguments into manageable sub-cases using away goals. Navigate between linked documents while maintaining traceability.
What is a safety case?
A safety case is a structured argument, supported by evidence, that a system is acceptably safe for a given application in a given environment. It typically consists of:
- Claims — assertions about system safety (represented as Goals in GSN)
- Arguments — the reasoning that links claims to evidence (Strategies in GSN)
- Evidence — the concrete artifacts that substantiate claims (Solutions in GSN)
The goal is to provide a clear, auditable chain from top-level safety claims down to the evidence that supports them.