Subplot - documenting your criteria for success

" summary

Subplot is a tool that encodes safety argumentation and verification scenarios in a human- and machine-readable document (Markdown/Gherkin-inspired) so stakeholders can agree on criteria for safety and engineers can generate executable tests. It can render the document as PDF/standalone HTML for non-engineers and also produce a test program that runs the verification scenarios and outputs a final report. The project refines an earlier Gherkin-like system used in industry and focuses on bridging the gap between safety specifiers and implementers.

AI-written summary · about

" related talks

• 20mLooking towards safetyNicole Pappler · SPDX 3.0 Mini Summit @ Open Source Summit Europe 2023
• 21mMechanised Hypersafety Proofs about Structured DataWillow Ahrens, Saman Amarasinghe, Ilya Sergey, Vladimir Gladshtein, Qiyuan Zhao · PLDI 2024
• 26mApplication of the Upcoming SPDX Safety ProfileNicole Pappler · Critical Software Summit @ Open Source Summit Europe 2024
• 08mExample-driven development: bridging tests and documentationTudor Girba, Andrei Chiş, Oscar Nierstrasz · LIVE 2024
• 45mAdding Testable Code Specifications in the Linux Ke...Kate Stewart, Gabriele Paoloni, Chuck Wolber · Linux Plumbers Conference 2025
• 27mContinuous Compliance: Agile Practices for Software ComplianceVignesh Radhakrishnan · XConf India 2024
• 50mWhen Human Life Depends on Software - Introduction to Safety-Critical SystemsMaciej Gajdzica · DevConf 2019
• 49mWhen Software Determines Human Life — On Safety-Critical SystemsMaciej Gajdzica · JDD 2019