Tools

• PLEDGE: A PracticaL and Efficient Data GEnerator for UML


• NARCIA: A tool for analyzing the impact of changes in natural-language requirements


• REGICE: A tool for requirements glossary term extraction and clustering


• SDG: A solver-based tool for generating system test data


• RETA (formerly, RUBRIC): A tool for checking conformance to requirements templates


• TReMer+: A 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