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.

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.

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.

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.

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?