Tools

• TReMer+: Tool for merging and consistency checking of distributed models


• EvidenceAgreement: A Collaborative Tool for Planning the Collection of Safety Evidence Based on the IEC 61508 Standard


• SafeSlice: A tool for Slicing and Inspecting SysML Models of Safety-Critical Systems


• Modus: A tool for probabilistic safety and reliability assessment of new technologies


• CRESCO: Construction of Evidence Repositories for Managing Standards Compliance