{"id":"https://openalex.org/W3149297321","doi":"https://doi.org/10.1186/s13173-021-00106-w","title":"Development and validation of a safe communication protocol compliant to railway standards","display_name":"Development and validation of a safe communication protocol compliant to railway standards","publication_year":2021,"publication_date":"2021-03-02","ids":{"openalex":"https://openalex.org/W3149297321","doi":"https://doi.org/10.1186/s13173-021-00106-w","mag":"3149297321"},"language":"en","primary_location":{"id":"doi:10.1186/s13173-021-00106-w","is_oa":true,"landing_page_url":"https://doi.org/10.1186/s13173-021-00106-w","pdf_url":"https://journal-bcs.springeropen.com/track/pdf/10.1186/s13173-021-00106-w","source":{"id":"https://openalex.org/S69801987","display_name":"Journal of the Brazilian Computer Society","issn_l":"0104-6500","issn":["0104-6500","1678-4804"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of the Brazilian Computer Society","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://journal-bcs.springeropen.com/track/pdf/10.1186/s13173-021-00106-w","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5075148862","display_name":"Duccio Bertieri","orcid":"https://orcid.org/0000-0003-1779-6677"},"institutions":[{"id":"https://openalex.org/I45084792","display_name":"University of Florence","ror":"https://ror.org/04jr1s763","country_code":"IT","type":"education","lineage":["https://openalex.org/I45084792"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Duccio Bertieri","raw_affiliation_strings":["Department of Mathematics and Informatics, University of Florence, Viale Morgagni 65, 50134, Florence, Italy"],"raw_orcid":"https://orcid.org/0000-0003-1779-6677","affiliations":[{"raw_affiliation_string":"Department of Mathematics and Informatics, University of Florence, Viale Morgagni 65, 50134, Florence, Italy","institution_ids":["https://openalex.org/I45084792"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037781530","display_name":"Andrea Ceccarelli","orcid":"https://orcid.org/0000-0002-2291-2428"},"institutions":[{"id":"https://openalex.org/I45084792","display_name":"University of Florence","ror":"https://ror.org/04jr1s763","country_code":"IT","type":"education","lineage":["https://openalex.org/I45084792"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Andrea Ceccarelli","raw_affiliation_strings":["Department of Mathematics and Informatics, University of Florence, Viale Morgagni 65, 50134, Florence, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Informatics, University of Florence, Viale Morgagni 65, 50134, Florence, Italy","institution_ids":["https://openalex.org/I45084792"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027443752","display_name":"Tommaso Zoppi","orcid":"https://orcid.org/0000-0001-9820-6047"},"institutions":[{"id":"https://openalex.org/I45084792","display_name":"University of Florence","ror":"https://ror.org/04jr1s763","country_code":"IT","type":"education","lineage":["https://openalex.org/I45084792"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Tommaso Zoppi","raw_affiliation_strings":["Department of Mathematics and Informatics, University of Florence, Viale Morgagni 65, 50134, Florence, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Informatics, University of Florence, Viale Morgagni 65, 50134, Florence, Italy","institution_ids":["https://openalex.org/I45084792"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055858815","display_name":"Innocenzo Mungiello","orcid":"https://orcid.org/0000-0002-5107-3897"},"institutions":[{"id":"https://openalex.org/I4210117345","display_name":"Trenitalia (Italy)","ror":"https://ror.org/02c4sht73","country_code":"IT","type":"company","lineage":["https://openalex.org/I4210117345"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Innocenzo Mungiello","raw_affiliation_strings":["Research and Development, Rete Ferroviaria Italiana, Via Curzio Malaparte 8, 50145, Florence, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Research and Development, Rete Ferroviaria Italiana, Via Curzio Malaparte 8, 50145, Florence, Italy","institution_ids":["https://openalex.org/I4210117345"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Mario Barbareschi","orcid":null},"institutions":[{"id":"https://openalex.org/I4210117345","display_name":"Trenitalia (Italy)","ror":"https://ror.org/02c4sht73","country_code":"IT","type":"company","lineage":["https://openalex.org/I4210117345"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Mario Barbareschi","raw_affiliation_strings":["Research and Development, Rete Ferroviaria Italiana, Via Curzio Malaparte 8, 50145, Florence, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Research and Development, Rete Ferroviaria Italiana, Via Curzio Malaparte 8, 50145, Florence, Italy","institution_ids":["https://openalex.org/I4210117345"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5016669256","display_name":"Andrea Bondavalli","orcid":"https://orcid.org/0000-0001-7366-6530"},"institutions":[{"id":"https://openalex.org/I45084792","display_name":"University of Florence","ror":"https://ror.org/04jr1s763","country_code":"IT","type":"education","lineage":["https://openalex.org/I45084792"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Andrea Bondavalli","raw_affiliation_strings":["Department of Mathematics and Informatics, University of Florence, Viale Morgagni 65, 50134, Florence, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Informatics, University of Florence, Viale Morgagni 65, 50134, Florence, Italy","institution_ids":["https://openalex.org/I45084792"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5075148862"],"corresponding_institution_ids":["https://openalex.org/I45084792"],"apc_list":{"value":1390,"currency":"USD","value_usd":1390},"apc_paid":{"value":1390,"currency":"USD","value_usd":1390},"fwci":0.4359,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.57930776,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"27","issue":"1","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9965000152587891,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9905999898910522,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7064920663833618},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.5603099465370178},{"id":"https://openalex.org/keywords/communications-protocol","display_name":"Communications protocol","score":0.5173937082290649},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4379047155380249},{"id":"https://openalex.org/keywords/iec-61508","display_name":"IEC 61508","score":0.4105570912361145},{"id":"https://openalex.org/keywords/functional-safety","display_name":"Functional safety","score":0.3610476851463318},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3490116596221924},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.3319641351699829},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.22075393795967102},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.21293923258781433},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.12498274445533752}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7064920663833618},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.5603099465370178},{"id":"https://openalex.org/C12269588","wikidata":"https://www.wikidata.org/wiki/Q132364","display_name":"Communications protocol","level":2,"score":0.5173937082290649},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4379047155380249},{"id":"https://openalex.org/C138267214","wikidata":"https://www.wikidata.org/wiki/Q1060017","display_name":"IEC 61508","level":3,"score":0.4105570912361145},{"id":"https://openalex.org/C148493468","wikidata":"https://www.wikidata.org/wiki/Q2646951","display_name":"Functional safety","level":2,"score":0.3610476851463318},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3490116596221924},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.3319641351699829},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.22075393795967102},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.21293923258781433},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.12498274445533752},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1186/s13173-021-00106-w","is_oa":true,"landing_page_url":"https://doi.org/10.1186/s13173-021-00106-w","pdf_url":"https://journal-bcs.springeropen.com/track/pdf/10.1186/s13173-021-00106-w","source":{"id":"https://openalex.org/S69801987","display_name":"Journal of the Brazilian Computer Society","issn_l":"0104-6500","issn":["0104-6500","1678-4804"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of the Brazilian Computer Society","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:6e5f10d3eaf5444fb7f3980482509234","is_oa":true,"landing_page_url":"https://doaj.org/article/6e5f10d3eaf5444fb7f3980482509234","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Journal of the Brazilian Computer Society, Vol 27, Iss 1, Pp 1-26 (2021)","raw_type":"article"},{"id":"pmh:oai:flore.unifi.it:2158/1234289","is_oa":true,"landing_page_url":"http://hdl.handle.net/2158/1234289","pdf_url":null,"source":{"id":"https://openalex.org/S4306402033","display_name":"Florence Research (University of Florence)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I45084792","host_organization_name":"University of Florence","host_organization_lineage":["https://openalex.org/I45084792"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:iris.unitn.it:11572/390272","is_oa":true,"landing_page_url":"https://hdl.handle.net/11572/390272","pdf_url":null,"source":{"id":"https://openalex.org/S4306401913","display_name":"Institutional Research Information System (Universit\u00e0 degli Studi di Trento)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I193223587","host_organization_name":"University of Trento","host_organization_lineage":["https://openalex.org/I193223587"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1186/s13173-021-00106-w","is_oa":true,"landing_page_url":"https://doi.org/10.1186/s13173-021-00106-w","pdf_url":"https://journal-bcs.springeropen.com/track/pdf/10.1186/s13173-021-00106-w","source":{"id":"https://openalex.org/S69801987","display_name":"Journal of the Brazilian Computer Society","issn_l":"0104-6500","issn":["0104-6500","1678-4804"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of the Brazilian Computer Society","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3149297321.pdf","grobid_xml":"https://content.openalex.org/works/W3149297321.grobid-xml"},"referenced_works_count":18,"referenced_works":["https://openalex.org/W74563322","https://openalex.org/W132594803","https://openalex.org/W156523924","https://openalex.org/W849075951","https://openalex.org/W1896822992","https://openalex.org/W1906790835","https://openalex.org/W1991689032","https://openalex.org/W2059404333","https://openalex.org/W2096146462","https://openalex.org/W2131092434","https://openalex.org/W2145071552","https://openalex.org/W2257865464","https://openalex.org/W2355550369","https://openalex.org/W2380329658","https://openalex.org/W2765557588","https://openalex.org/W2897451483","https://openalex.org/W3005619958","https://openalex.org/W4237288941"],"related_works":["https://openalex.org/W4205326760","https://openalex.org/W2022575379","https://openalex.org/W2647065762","https://openalex.org/W2142266554","https://openalex.org/W2073789596","https://openalex.org/W2109422125","https://openalex.org/W2809220500","https://openalex.org/W2150895999","https://openalex.org/W1901324066","https://openalex.org/W2248356539"],"abstract_inverted_index":{"Abstract":[0],"Railway":[1],"systems":[2],"are":[3,208],"composed":[4],"of":[5,8,24,42,57,66,124,141,183,192,200],"a":[6,159,163,201,255],"multitude":[7],"subsystems,":[9],"sensors,":[10],"and":[11,33,40,79,109,139,162,165,174,231,244,247,254],"actuators":[12],"that":[13],"exchange":[14],"datagrams":[15],"through":[16],"safety-critical":[17],"communication":[18,83,106,121],"protocols.":[19],"However,":[20],"the":[21,38,43,51,59,64,67,82,87,115,125,135,142,149,170,193,198,219,224,239,260],"vast":[22],"majority":[23],"these":[25],"protocols":[26,84],"rely":[27],"on":[28],"ad":[29],"hoc":[30],"interlacing":[31],"mechanisms":[32],"safety":[34,151,160,180,202,206,215,256],"codes":[35],"which":[36,168,195,258],"raise":[37],"heterogeneity":[39],"complexity":[41],"overarching":[44],"railway":[45,61,127,154],"system.":[46,128],"Therefore,":[47],"Rete":[48],"Ferroviaria":[49],"Italiana,":[50],"company":[52],"who":[53],"is":[54,76,111],"in":[55,134,146,226],"charge":[56],"managing":[58],"Italian":[60,126],"network,":[62],"coordinated":[63],"definition":[65],"Protocollo":[68,143],"Vitale":[69,144],"Standard":[70,145],"(Standard":[71],"Vital":[72],"Protocol).":[73],"This":[74,129],"protocol":[75,240],"inspired":[77],"to,":[78],"compliant":[80],"with,":[81],"adopted":[85],"for":[86,153,263],"European":[88,150],"Train":[89],"Control":[90],"System":[91],"(ETCS)":[92],"(SUBSET,":[93],"UNISIG,":[94,102],"037,":[95],"Euroradio":[96],"FIS,":[97],"version":[98],"2.3.":[99],"0;":[100],"SUBSET,":[101],"098,":[103],"RBC-RBC":[104],"safe":[105,120],"interface,":[107],"2007),":[108],"it":[110],"meant":[112],"to":[113,118,237],"become":[114],"standard":[116],"layer":[117],"enable":[119],"between":[122],"components":[123],"paper":[130],"reports":[131],"our":[132],"experience":[133],"design,":[136,171,221],"implementation,":[137],"verification,":[138,173],"validation":[140,166,175],"compliance":[147,227],"with":[148,197,228],"standards":[152],"systems.":[155],"We":[156],"first":[157],"defined":[158],"plan":[161],"verification":[164],"plan,":[167],"guide":[169],"development,":[172],"activities":[176],"as":[177],"required":[178],"by":[179],"standards.":[181],"Guidelines":[182],"such":[184],"plans":[185],"have":[186],"been":[187],"followed":[188],"strictly":[189],"until":[190],"completion":[191],"work,":[194],"concludes":[196],"provision":[199],"case":[203,257],"where":[204],"all":[205,251],"evidences":[207,261],"summarized.":[209],"Noticeably,":[210],"we":[211],"(i)":[212],"selected":[213],"appropriate":[214],"mechanisms,":[216],"(ii)":[217],"verified":[218],"software":[220,225],"(iii)":[222],"implemented":[223],"code":[229],"metrics":[230],"coding":[232],"rules,":[233],"(iv)":[234],"conducted":[235],"tests":[236],"validate":[238],"against":[241],"its":[242],"functional":[243],"performance":[245],"requirements,":[246],"ultimately":[248],"(v)":[249],"devised":[250],"relevant":[252],"documentation":[253],"summarizes":[259],"needed":[262],"certification.":[264]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}