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

This package includes additional data for the paper ``Systematic Evaluation and Usability Analysis of Formal Methods Tools for Railway Signalig System Design'', by Alessio Ferrari, Franco Mazzanti, Davide Basile, and Maurice ter Beek, CNR-ISTI, Italy, accepted for publication in the IEEE Transactions on Software Engineering, DOI: 10.1109/TSE.2021.3124677

The paper concerns the systematic evaluation and usability analysis of 14 formal tools for system design, namely CADP (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.