Online / 5 & 6 February 2022

visit

D.safety


Day Start End Track(s)
Saturday 10:00 14:00 Safety and Open Source
09 10 11 12 13 14 15 16 17
Saturday Subplot - documenting your criteria for success
Expressing argumentation in a validatable way
Don't trust us, trust the math behind immudb
How immudb protects safety critical data (with math and cryptography)
Designing a new Language for Safety: Fuzion
A minimal language for safety-critical systems
Testing Requirements Documents
Integrating Specifications into your CI/CD pipeline

Events

Title Track Start End

Saturday

  Subplot - documenting your criteria for success
Expressing argumentation in a validatable way
Safety and Open Source 10:00 11:00
  Don't trust us, trust the math behind immudb
How immudb protects safety critical data (with math and cryptography)
Safety and Open Source 11:00 11:45
  Designing a new Language for Safety: Fuzion
A minimal language for safety-critical systems
Safety and Open Source 12:00 12:45
  Testing Requirements Documents
Integrating Specifications into your CI/CD pipeline
Safety and Open Source 13:30 14:00