{"entities":{"Q6704293":{"pageid":14423265,"ns":120,"title":"Item:Q6704293","lastrevid":54646631,"modified":"2026-01-29T18:51:59Z","type":"item","id":"Q6704293","labels":{"en":{"language":"en","value":"Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design - Technical Annexes"}},"descriptions":{"en":{"language":"en","value":"Dataset published at Zenodo repository."}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"dae155fd0809a7906855cd4fa50dd7d71bed552b","datavalue":{"value":{"entity-type":"item","numeric-id":56885,"id":"Q56885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6704293$CAA31C92-FF08-4951-9B28-C18B21FEADFC","rank":"normal"}],"P1459":[{"mainsnak":{"snaktype":"value","property":"P1459","hash":"ad479a637d34dd96120e84d8a9c848f67c342110","datavalue":{"value":"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.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6704293$937AD609-2A0C-4190-81E5-3BB0F4FC356E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"06961e082b0a09980ab4e9347327096773177649","datavalue":{"value":{"time":"+2021-11-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6704293$55249689-0892-4E0D-995A-2851DCC4FFAF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"45f427b6436d4a2386764ffa0a95f85f7040f647","datavalue":{"value":{"entity-type":"item","numeric-id":246446,"id":"Q246446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6704293$0CE1F82D-BD94-474D-B29A-3CC5EF83DDF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"50d0f165d82f122c7d09fa3ebbd9e5b48c5ea833","datavalue":{"value":{"entity-type":"item","numeric-id":6704286,"id":"Q6704286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6704293$D54DDC3F-BD7E-45B8-ADA7-751409B8E75A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"809d786bb7370d71893eb651874e034149832780","datavalue":{"value":{"entity-type":"item","numeric-id":2065532,"id":"Q2065532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6704293$A45206FA-1350-4058-AD4B-2605F8FDFC3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5bd6eeec81239a74743656d5af98dda53da48d71","datavalue":{"value":{"entity-type":"item","numeric-id":6704292,"id":"Q6704292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6704293$D06F8C58-DF82-4EB6-8006-99ABF17BCDFF","rank":"normal"}],"P227":[{"mainsnak":{"snaktype":"value","property":"P227","hash":"80883492936af85c24cec8257ea4343693cd90a7","datavalue":{"value":"5679726","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6704293$DE6EB022-1A17-4258-A194-AEFF39BCB252","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"588c7ec9d46d3a8a46911594519f19b94e80fb69","datavalue":{"value":"10.5281/zenodo.5679726","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6704293$BD532646-45C6-43C5-9C16-B475B0F3F961","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6704293$5D81472C-157E-4E73-ADA5-7E41D9A1D691","rank":"normal"}],"P1474":[{"mainsnak":{"snaktype":"value","property":"P1474","hash":"f449b9a6dcce75f8a5b5286450d84b631c19280c","datavalue":{"value":"3.0","type":"string"},"datatype":"string"},"type":"statement","id":"Q6704293$0F9B797A-3E4F-405C-B404-6A8CBA4D8C64","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"d1e8073b72a070520efd3d14d4b3d2d3d03859e2","datavalue":{"value":{"entity-type":"item","numeric-id":5984635,"id":"Q5984635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6704293$45614D63-21C2-443A-A50C-8A8DA9807F1C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design - Technical Annexes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Systematic_Evaluation_and_Usability_Analysis_of_Formal_Tools_for_Railway_System_Design_-_Technical_Annexes"}}}}}