Critical Systems Labs

Clarity in Complexity

Guiding responsible decision making
in the face of uncertainty

Engineering Consultancy

Engineering Solutions
Hazard & Risk Analysis
Requirements Engineering
Safety V&V

Safety Assurance Platform

Structured Argumentation
Collaboration Ecosystem
Evidence Management
Regulatory Compliance

Decision Making Platform

Structured Decision Making
Collaborative Environment
AI-Enabled
Real-Time KPIs

Consulting

For complex systems at the forefront of advanced technology, ”innovating safely” begins with asking the right questions to develop a deep understanding of the underlying technology combined with detailed knowledge of the operational environment and procedures.

Socrates Decision Making

Socrates is a collaboration platform built for structuring complex, high-stakes decisions.

Born from the rigor required by the safety and cybersecurity assurance industry, Socrates is an entreprise solution designed for professionals in critical industries to manage large-scale decision-making with clarity and precision.

Socrates Assurance Case

Socrates is a web-based collaborative platform for the development, maintenance and communication of an assurance case argument. With Socrates, stakeholders can walk through the logic of a structured argument from a top-level overarching claim down to supporting evidence.

Perspectives

Functional Safety Requirements for Artificial Intelligence and ML Systems

Discover how Metamorphic Relations offer a breakthrough in defining functional safety requirements for AI/ML, tackling the ‘black-box’ problem.

Confirmation Bias & Safety Management Systems

Discover how Eliminative Argumentation and AI enhance Safety Management Systems by reducing bias and providing real-time performance insights through KPI integration.

Electric Over Water – Analysis of Hazards for an All-Electric Floatplane

Electric propulsion is reshaping aviation, but can safety keep pace with innovation? Explore how Eliminative Argumentation addresses the hazards of tomorrow’s aircraft.

Utilizing an Assurance Case Argument to Drive Development

How can a safety case transcend being merely a final step in the safety process?

Adding Defeaters to Confidence Assessment

Take account of defeaters and doubt in confidence assessment methods, including those used in our Socrates product.

Assurance Cases in the Large

See how CERN’s Machine Protection System uses structured argumentation to mitigate risks in the world’s largest particle accelerator, ensuring operational safety.

Generating Defeaters with Gen AI

Use Generative AI to help brainstorm defeaters for structured arguments.

Challenging Autonomy with Combinatorial Testing

With trillions upon trillions of possibilities, how could you identify a set of test cases for an autonomous system that is both manageable and adequate?

Safety Integrity Levels for Artificial Intelligence

Re-thinking how level-of-rigour approaches for conventional software are applied to AI-enabled systems.

Incremental Assurance Through Eliminative Argumentation

How can an assurance case represent how confidence in an argument changes over time?

Assurance Case Development as Data

Could AI learn how to guide a safety engineer in the development of a safety case?

Patterns for Security Assurance Cases

Re-usable patterns, based on NIST 800-53, for creating security assurance arguments.

Safety for Cyber-Physical Systems

A practical approach to applying formal methods to guide the development of numerically intensive control systems.

Eliminative Argumentation for Arguing System Safety

Using the power of “doubt” to overcome confirmation bias and harden a safety assurance case.

Bridging the Gap Between ISO 26262 and Machine Learning

Helping automakers and suppliers reconcile the use of ML with the conservative principles of functional safety.

Reducing the Feature Interaction Explosion Problem

Morse: a method and tool to simplify the Feature Interaction analysis using abstract subject matter knowledge.

Practical Uses of Formal Methods in Development of Airborne Software

Using formal methods to find what testing missed.

Creating Safety Assurance Cases for Rebreather Systems

An early example of safety assurance case development for a rebreather system per EN 14143, utilizing Goal Structuring Notation (GSN).