Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design - Technical Annexes
Description
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.
Resources
| Name |
Format |
Description |
Link |
|
0 |
|
http://data.europa.eu/88u/dataset/oai-zenodo-org-5679726 |
|
0 |
|
http://data.europa.eu/88u/dataset/oai-zenodo-org-5679726 |
|
0 |
|
http://data.europa.eu/88u/dataset/oai-zenodo-org-5679726 |
|
0 |
|
http://data.europa.eu/88u/dataset/oai-zenodo-org-5679726 |
Tags
- formal-tools
- formal-methods
- tool-comparison
- empirical-software-engineering
- desmet-methodology