Innovating Safely

Will future technologies be safer?
Guiding responsible decision making in the face of uncertainty.

Capabilities

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.
Learn More

Capabilities

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.
Learn More

Socrates

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.
Learn More

Socrates

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.
Learn More

Perspectives

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?

An Assurance Case for the CERN Large Hadron Collider

Why do CERN experts trust the Large Hadron Collider to keep control of high energy sub-atomic particles accelerated to 99.9999991% of the speed of light.

Incremental Assurance Through Eliminative Argumentation

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

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?

An Assurance Case for the CERN Large Hadron Collider

Why do CERN experts trust the Large Hadron Collider to keep control of high energy sub-atomic particles accelerated to 99.9999991% of the speed of light.

Incremental Assurance Through Eliminative Argumentation

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

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?

An Assurance Case for the CERN Large Hadron Collider

Why do CERN experts trust the Large Hadron Collider to keep control of high energy sub-atomic particles accelerated to 99.9999991% of the speed of light.

Incremental Assurance Through Eliminative Argumentation

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

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?

An Assurance Case for the CERN Large Hadron Collider

Why do CERN experts trust the Large Hadron Collider to keep control of high energy sub-atomic particles accelerated to 99.9999991% of the speed of light.

Incremental Assurance Through Eliminative Argumentation

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

© 2024 Critical Systems Labs Inc. All rights reserved.