Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design - Technical Annexes (Q6704293)

This package includes additional data forthe paper ``Systematic Evaluation and Usability Analysis of Formal Methods Tools for Railway Signalig System Design, by Alessio Ferrari, Franco Mazzanti, Davide Basile, andMaurice ter Beek, CNR-ISTI, Italy, accepted for publication in the IEEE Transactions on Software Engineering, DOI:10.1109/TSE.2021.3124677 The paperconcernsthe systematic evaluation and usability analysis of 14 formal tools for system design, namelyCADP (2020-g), FDR4(4.2.7), NuSMV(1.1.1), ProB(1.9.3), Atelier B (4.5.1), Simulink (R2020a), SPIN (6.4.9), UMC (4.8), UPPAAL (4.1.4), mCLR2 (202006.0), SAL (3.3), TLA+ (2) and CPN Tools (4.0). The current package includes the following content: Tool Evaluation Template and .pdf: a document including the reference evaluation template, and the evaluation sheet of each tool. Tool Evaluation Table.xlsx: a table summarizing the results of the evaluation. System Usability Test - SUS Results.xlsx: an excel file with multiple sheets with all the raw results of the usability test for the tools.