{"id":"https://openalex.org/W3192789951","doi":"https://doi.org/10.1007/s00165-021-00556-1","title":"Analysing an autonomous tramway positioning system with the Uppaal Statistical Model Checker","display_name":"Analysing an autonomous tramway positioning system with the Uppaal Statistical Model Checker","publication_year":2021,"publication_date":"2021-12-01","ids":{"openalex":"https://openalex.org/W3192789951","doi":"https://doi.org/10.1007/s00165-021-00556-1","mag":"3192789951"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-021-00556-1","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-021-00556-1","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["1433-299X","0934-5043"],"is_oa":false,"is_in_doaj":false,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319965","https://openalex.org/P4310319900"],"host_organization_lineage_names":["Springer Nature","Springer Science+Business Media"],"type":"journal"},"license":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-021-00556-1","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5055266810","display_name":"Davide Basile","orcid":"https://orcid.org/0000-0002-7196-6609"},"institutions":[{"id":"https://openalex.org/I122991210","display_name":"Institute of Information Science and Technologies","ror":"https://ror.org/05kacka20","country_code":"IT","type":"facility","lineage":["https://openalex.org/I122991210","https://openalex.org/I4210155236"]},{"id":"https://openalex.org/I4210155236","display_name":"National Research Council","ror":"https://ror.org/04zaypm56","country_code":"IT","type":"nonprofit","lineage":["https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Davide Basile","raw_affiliation_string":"Institute of Information Science and Technologies \u201cAlessandro Faedo\u201d - ISTI, National Research Council, Pisa, Italy","raw_affiliation_strings":["Institute of Information Science and Technologies \u201cAlessandro Faedo\u201d - ISTI, National Research Council, Pisa, Italy"]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084211673","display_name":"Alessandro Fantechi","orcid":"https://orcid.org/0000-0002-4648-4667"},"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":"Alessandro Fantechi","raw_affiliation_string":"Department of Information Engineering, University of Florence, Florence, Italy","raw_affiliation_strings":["Department of Information Engineering, University of Florence, Florence, Italy"]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035853545","display_name":"Luigi Rucher","orcid":null},"institutions":[{"id":"https://openalex.org/I4210102386","display_name":"Thales (Italy)","ror":"https://ror.org/00rwwx648","country_code":"IT","type":"company","lineage":["https://openalex.org/I4210102386","https://openalex.org/I4210140930"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Luigi Rucher","raw_affiliation_string":"Thales Italia S.p.A., Florence, Italy","raw_affiliation_strings":["Thales Italia S.p.A., Florence, Italy"]},{"author_position":"last","author":{"id":"https://openalex.org/A5018661374","display_name":"Gianluca Mand\u00f2","orcid":null},"institutions":[{"id":"https://openalex.org/I4210102386","display_name":"Thales (Italy)","ror":"https://ror.org/00rwwx648","country_code":"IT","type":"company","lineage":["https://openalex.org/I4210102386","https://openalex.org/I4210140930"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Gianluca Mand\u00f2","raw_affiliation_string":"Thales Italia S.p.A., Florence, Italy","raw_affiliation_strings":["Thales Italia S.p.A., Florence, Italy"]}],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"has_fulltext":false,"cited_by_count":8,"cited_by_percentile_year":{"min":89,"max":90},"biblio":{"volume":"33","issue":"6","first_page":"957","last_page":"987"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T12423","display_name":"Software Reliability Assessment and Prediction","score":0.9993,"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"}},"topics":[{"id":"https://openalex.org/T12423","display_name":"Software Reliability Assessment and Prediction","score":0.9993,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Software Verification and Control","score":0.9989,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Automated Software Testing Techniques","score":0.9969,"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":[{"keyword":"autonomous tramway","score":0.6535}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7338123},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.65157616},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.45029542},{"id":"https://openalex.org/C49261128","wikidata":"https://www.wikidata.org/wiki/Q1132455","display_name":"Hazard","level":2,"score":0.4467554},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4155572},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.37127},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C178790620","wikidata":"https://www.wikidata.org/wiki/Q11351","display_name":"Organic chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-021-00556-1","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-021-00556-1","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["1433-299X","0934-5043"],"is_oa":false,"is_in_doaj":false,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319965","https://openalex.org/P4310319900"],"host_organization_lineage_names":["Springer Nature","Springer Science+Business Media"],"type":"journal"},"license":null,"version":"publishedVersion","is_accepted":true,"is_published":true}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-021-00556-1","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-021-00556-1","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["1433-299X","0934-5043"],"is_oa":false,"is_in_doaj":false,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319965","https://openalex.org/P4310319900"],"host_organization_lineage_names":["Springer Nature","Springer Science+Business Media"],"type":"journal"},"license":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/11","score":0.48,"display_name":"Sustainable cities and communities"}],"grants":[],"referenced_works_count":49,"referenced_works":["https://openalex.org/W1433175984","https://openalex.org/W1883328791","https://openalex.org/W2045182441","https://openalex.org/W2047465932","https://openalex.org/W2087018957","https://openalex.org/W2166423024","https://openalex.org/W2277593739","https://openalex.org/W2294621091","https://openalex.org/W2390333316","https://openalex.org/W2510409058","https://openalex.org/W2518106139","https://openalex.org/W2621243565","https://openalex.org/W2766225580","https://openalex.org/W2767965410","https://openalex.org/W2787596386","https://openalex.org/W2791070386","https://openalex.org/W2800996886","https://openalex.org/W2805527782","https://openalex.org/W2808836015","https://openalex.org/W2889263046","https://openalex.org/W2899056152","https://openalex.org/W2899125593","https://openalex.org/W2899429829","https://openalex.org/W2904385617","https://openalex.org/W2944954660","https://openalex.org/W2945182033","https://openalex.org/W2945199772","https://openalex.org/W2945678878","https://openalex.org/W2946615997","https://openalex.org/W2969411916","https://openalex.org/W2970913803","https://openalex.org/W2979249584","https://openalex.org/W2980166079","https://openalex.org/W2981584093","https://openalex.org/W2983541997","https://openalex.org/W2988187357","https://openalex.org/W2991171679","https://openalex.org/W3006060688","https://openalex.org/W3026792973","https://openalex.org/W3035434438","https://openalex.org/W3082634688","https://openalex.org/W3086715963","https://openalex.org/W3095654151","https://openalex.org/W3116227276","https://openalex.org/W3123396796","https://openalex.org/W3130698336","https://openalex.org/W4250197954","https://openalex.org/W4252654337","https://openalex.org/W4298869446"],"related_works":["https://openalex.org/W2030935018","https://openalex.org/W1538854713","https://openalex.org/W1484021165","https://openalex.org/W3021865842","https://openalex.org/W2041209185","https://openalex.org/W2542590036","https://openalex.org/W2196991573","https://openalex.org/W1785234853","https://openalex.org/W2356154743","https://openalex.org/W4235160909"],"ngrams_url":"https://api.openalex.org/works/W3192789951/ngrams","abstract_inverted_index":{"Abstract":[0],"The":[1,117],"substitution":[2],"of":[3,24,46,53,64,82,88,112,123],"traditional":[4,72,142],"occupancy":[5],"detecting":[6],"sensors":[7],"with":[8,49,69],"an":[9,31,83],"Autonomous":[10],"Positioning":[11],"System":[12],"(APS)":[13],"is":[14,30,92,96,115],"a":[15,66,86],"promising":[16],"solution":[17,91],"to":[18,41,71,109,135],"contain":[19],"costs":[20],"and":[21,37,55,94,127],"improve":[22],"performance":[23],"current":[25],"tramway":[26],"signalling":[27],"systems.":[28],"APS":[29],"onboard":[32],"system":[33],"using":[34,98],"satellite":[35,129],"positioning":[36,59,130],"other":[38],"inertial":[39],"platforms":[40],"autonomously":[42],"estimate":[43],"the":[44,47,50,80,89,110,121,141],"position":[45],"tram":[48],"needed":[51],"levels":[52],"uncertainty":[54,68],"protection.":[56],"However,":[57],"autonomous":[58],"introduces,":[60],"even":[61],"in":[62,79,140],"absence":[63],"faults,":[65],"quantitative":[67],"respect":[70],"sensors.":[73],"This":[74],"paper":[75],"investigates":[76],"this":[77],"issue":[78],"context":[81],"industrial":[84],"project:":[85],"model":[87],"envisaged":[90],"proposed,":[93],"it":[95],"analysed":[97],"Uppaal":[99],"Statistical":[100],"Model":[101],"Checker.":[102],"A":[103],"novel":[104],"model-driven":[105],"hazard":[106],"analysis":[107,118],"approach":[108],"exploration":[111],"emerging":[113],"hazards":[114],"proposed.":[116],"emphasises":[119],"how":[120],"virtualisation":[122],"legacy":[124],"track":[125],"circuits":[126],"on-board":[128],"equipment":[131],"may":[132],"give":[133],"rise":[134],"new":[136],"hazards,":[137],"not":[138],"present":[139],"system.":[143]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W3192789951","counts_by_year":[{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":3}],"updated_date":"2024-03-26T23:11:02.679375","created_date":"2021-08-16"}