Online / 5 & 6 February 2022

visit

Safety and Open Source devroom


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

Read the Call for Papers at https://lists.fosdem.org/pipermail/fosdem/2021q4/003363.html.

Event Speakers Start End

Saturday

  Subplot - documenting your criteria for success
Expressing argumentation in a validatable way
Daniel Silverstone 10:00 11:00
  Don't trust us, trust the math behind immudb
How immudb protects safety critical data (with math and cryptography)
Bartłomiej Święcki 11:00 11:45
  Designing a new Language for Safety: Fuzion
A minimal language for safety-critical systems
Fridtjof Siebert 12:00 12:45
  Testing Requirements Documents
Integrating Specifications into your CI/CD pipeline
Kristoffer Nordström 13:30 14:00