{"id":"https://openalex.org/W7127911549","doi":"https://doi.org/10.1007/978-3-032-12484-5_6","title":"Opportunities and Risks of Generative AI in Model-Based Engineering of Railway Systems","display_name":"Opportunities and Risks of Generative AI in Model-Based Engineering of Railway Systems","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7127911549","doi":"https://doi.org/10.1007/978-3-032-12484-5_6"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-032-12484-5_6","doi":"https://doi.org/10.1007/978-3-032-12484-5_6","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-032-12484-5_6","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","jufo-1","ki-jl-1","norway-1","vabb-shw"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"volume":{"id":"https://openalex.org/W7127909663","display_name":"Journeys Between Formal Methods and the Railway Industry"},"type":"conference-paper","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5037708866","display_name":"Francesco Flammini","orcid":"https://orcid.org/0000-0002-2833-7196","observed_orcids":["https://orcid.org/0000-0002-2833-7196"]},"institutions":[{"id":"https://openalex.org/I15196421","display_name":"University of Applied Sciences and Arts of Southern Switzerland","ror":"https://ror.org/05ep8g269","country_code":"CH","type":"education","lineage":["https://openalex.org/I15196421"]},{"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":["CH","IT"],"is_corresponding":true,"raw_author_name":"Francesco Flammini","raw_affiliation_strings":["University of Applied Sciences and Arts of Southern Switzerland, Lugano, Switzerland","University of Florence, Florence, Italy"],"raw_orcid":"https://orcid.org/0000-0002-2833-7196","affiliations":[{"raw_affiliation_string":"University of Applied Sciences and Arts of Southern Switzerland, Lugano, Switzerland","institution_ids":["https://openalex.org/I15196421"]},{"raw_affiliation_string":"University of Florence, Florence, Italy","institution_ids":["https://openalex.org/I45084792"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5106057482","display_name":"Arianna Nocente","orcid":"https://orcid.org/0009-0001-6138-5720","observed_orcids":["https://orcid.org/0009-0001-6138-5720"]},"institutions":[{"id":"https://openalex.org/I36169673","display_name":"Alstom (France)","ror":"https://ror.org/00t4db855","country_code":"FR","type":"company","lineage":["https://openalex.org/I36169673"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Arianna Nocente","raw_affiliation_strings":["Alstom, Paris, France"],"raw_orcid":"https://orcid.org/0009-0001-6138-5720","affiliations":[{"raw_affiliation_string":"Alstom, Paris, France","institution_ids":["https://openalex.org/I36169673"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065265267","display_name":"Cinzia Bernardeschi","orcid":"https://orcid.org/0000-0003-1604-4465","observed_orcids":["https://orcid.org/0000-0003-1604-4465"]},"institutions":[{"id":"https://openalex.org/I108290504","display_name":"University of Pisa","ror":"https://ror.org/03ad39j10","country_code":"IT","type":"education","lineage":["https://openalex.org/I108290504"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Cinzia Bernardeschi","raw_affiliation_strings":["University of Pisa, Pisa, Italy"],"raw_orcid":"https://orcid.org/0000-0003-1604-4465","affiliations":[{"raw_affiliation_string":"University of Pisa, Pisa, Italy","institution_ids":["https://openalex.org/I108290504"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5010808381","display_name":"Valeria Vittorini","orcid":"https://orcid.org/0000-0002-0451-9593","observed_orcids":["https://orcid.org/0000-0002-0451-9593"]},"institutions":[{"id":"https://openalex.org/I71267560","display_name":"University of Naples Federico II","ror":"https://ror.org/05290cv24","country_code":"IT","type":"education","lineage":["https://openalex.org/I71267560"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Valeria Vittorini","raw_affiliation_strings":["University of Naples Federico II, Naples, Italy"],"raw_orcid":"https://orcid.org/0000-0002-0451-9593","affiliations":[{"raw_affiliation_string":"University of Naples Federico II, Naples, Italy","institution_ids":["https://openalex.org/I71267560"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5037708866"],"corresponding_institution_ids":["https://openalex.org/I15196421","https://openalex.org/I45084792"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"92","last_page":"114"},"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.9800000190734863,"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.9800000190734863,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.01119999960064888,"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 Verification","score":0.004999999888241291,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/generative-ai","display_name":"generative AI","score":0.9980000257492065},{"id":"https://openalex.org/keywords/large-language-models","display_name":"large language models","score":0.9990000128746033},{"id":"https://openalex.org/keywords/model-based-engineering","display_name":"model-based engineering","score":0.9940000176429749},{"id":"https://openalex.org/keywords/railway-systems","display_name":"railway systems","score":0.9789999723434448},{"id":"https://openalex.org/keywords/safety-critical-systems","display_name":"safety-critical systems","score":0.9959999918937683},{"id":"https://openalex.org/keywords/verification-and-validation","display_name":"verification and validation","score":0.9459999799728394},{"id":"https://openalex.org/keywords/model-transformation","display_name":"model transformation","score":0.972000002861023},{"id":"https://openalex.org/keywords/test-case-generation","display_name":"test case generation","score":0.949999988079071},{"id":"https://openalex.org/keywords/natural-language-requirements","display_name":"natural language requirements","score":0.6690000295639038},{"id":"https://openalex.org/keywords/formal-specification","display_name":"formal specification","score":0.6309999823570251},{"id":"https://openalex.org/keywords/regulatory-compliance","display_name":"regulatory compliance","score":0.7129999995231628},{"id":"https://openalex.org/keywords/transparency","display_name":"transparency","score":0.5889999866485596}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.775600016117096},{"id":"https://openalex.org/C39890363","wikidata":"https://www.wikidata.org/wiki/Q36108","display_name":"Generative grammar","level":2,"score":0.555899977684021},{"id":"https://openalex.org/C177606310","wikidata":"https://www.wikidata.org/wiki/Q5674297","display_name":"Adaptability","level":2,"score":0.4763999879360199},{"id":"https://openalex.org/C6604083","wikidata":"https://www.wikidata.org/wiki/Q376937","display_name":"Requirements engineering","level":3,"score":0.47350001335144043},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4729999899864197},{"id":"https://openalex.org/C2780233690","wikidata":"https://www.wikidata.org/wiki/Q535347","display_name":"Transparency (behavior)","level":2,"score":0.42989999055862427},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4025999903678894},{"id":"https://openalex.org/C174348530","wikidata":"https://www.wikidata.org/wiki/Q188635","display_name":"Bridging (networking)","level":2,"score":0.4009999930858612},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.39489999413490295},{"id":"https://openalex.org/C64543145","wikidata":"https://www.wikidata.org/wiki/Q162942","display_name":"Intersection (aeronautics)","level":2,"score":0.37720000743865967},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.37599998712539673},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.34450000524520874},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.3296999931335449},{"id":"https://openalex.org/C153701036","wikidata":"https://www.wikidata.org/wiki/Q659974","display_name":"Trustworthiness","level":2,"score":0.3285999894142151},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.3037000000476837},{"id":"https://openalex.org/C43540301","wikidata":"https://www.wikidata.org/wiki/Q689971","display_name":"Paradigm shift","level":2,"score":0.2935999929904938},{"id":"https://openalex.org/C2776650193","wikidata":"https://www.wikidata.org/wiki/Q264661","display_name":"Obstacle","level":2,"score":0.29249998927116394},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.2865999937057495},{"id":"https://openalex.org/C78780964","wikidata":"https://www.wikidata.org/wiki/Q7233193","display_name":"Position paper","level":2,"score":0.2858000099658966},{"id":"https://openalex.org/C539667460","wikidata":"https://www.wikidata.org/wiki/Q2414942","display_name":"Management science","level":1,"score":0.2752000093460083},{"id":"https://openalex.org/C167966045","wikidata":"https://www.wikidata.org/wiki/Q5532625","display_name":"Generative model","level":3,"score":0.2705000042915344},{"id":"https://openalex.org/C110354214","wikidata":"https://www.wikidata.org/wiki/Q6314146","display_name":"Engineering management","level":1,"score":0.266400009393692},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.257999986410141},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.2558000087738037},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.2547000050544739}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-032-12484-5_6","doi":"https://doi.org/10.1007/978-3-032-12484-5_6","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-032-12484-5_6","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","jufo-1","ki-jl-1","norway-1","vabb-shw"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:arpi.unipi.it:11568/1358056","doi":null,"is_oa":false,"landing_page_url":"https://link.springer.com/chapter/10.1007/978-3-032-12484-5_6","pdf_url":null,"source":{"id":"https://openalex.org/S4377196265","display_name":"CINECA IRIS Institutial research information system (University of Pisa)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I108290504","host_organization_name":"University of Pisa","host_organization_lineage":["https://openalex.org/I108290504"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/bookPart"},{"id":"pmh:oai:flore.unifi.it:2158/1453444","doi":null,"is_oa":false,"landing_page_url":"https://hdl.handle.net/2158/1453444","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,"listed_in":[],"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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/bookPart"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.7207000255584717}],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":89,"referenced_works":["https://openalex.org/W98002066","https://openalex.org/W2012896668","https://openalex.org/W2165073069","https://openalex.org/W2576277975","https://openalex.org/W2594877703","https://openalex.org/W2610679774","https://openalex.org/W2957311447","https://openalex.org/W2962692913","https://openalex.org/W2980176926","https://openalex.org/W3091798065","https://openalex.org/W3174740990","https://openalex.org/W3184441520","https://openalex.org/W3185425515","https://openalex.org/W3202183072","https://openalex.org/W3216409334","https://openalex.org/W4229007983","https://openalex.org/W4280503818","https://openalex.org/W4285213164","https://openalex.org/W4308613717","https://openalex.org/W4311459452","https://openalex.org/W4379165537","https://openalex.org/W4379177005","https://openalex.org/W4386712343","https://openalex.org/W4390189975","https://openalex.org/W4390490761","https://openalex.org/W4391262680","https://openalex.org/W4392573904","https://openalex.org/W4392781032","https://openalex.org/W4396631381","https://openalex.org/W4399032596","https://openalex.org/W4399667778","https://openalex.org/W4400399489","https://openalex.org/W4401352093","https://openalex.org/W4401453194","https://openalex.org/W4401537862","https://openalex.org/W4401567960","https://openalex.org/W4401719166","https://openalex.org/W4402185278","https://openalex.org/W4402241126","https://openalex.org/W4402340199","https://openalex.org/W4402466851","https://openalex.org/W4402586225","https://openalex.org/W4402727068","https://openalex.org/W4402937549","https://openalex.org/W4403228984","https://openalex.org/W4403413493","https://openalex.org/W4403536212","https://openalex.org/W4403536413","https://openalex.org/W4403757568","https://openalex.org/W4403970695","https://openalex.org/W4403995273","https://openalex.org/W4404629013","https://openalex.org/W4405103253","https://openalex.org/W4405362862","https://openalex.org/W4406808092","https://openalex.org/W4407693852","https://openalex.org/W4407856367","https://openalex.org/W4408413243","https://openalex.org/W4408614692","https://openalex.org/W4408897542","https://openalex.org/W4409017116","https://openalex.org/W4409213094","https://openalex.org/W4409363645","https://openalex.org/W4409403749","https://openalex.org/W4410474101","https://openalex.org/W4410538665","https://openalex.org/W4410855669","https://openalex.org/W4411234014","https://openalex.org/W4411550852","https://openalex.org/W4411552826","https://openalex.org/W4412030850","https://openalex.org/W4412081682","https://openalex.org/W4412130111","https://openalex.org/W4412444947","https://openalex.org/W4412489763","https://openalex.org/W4412719237","https://openalex.org/W4412742939","https://openalex.org/W4412875540","https://openalex.org/W4413018470","https://openalex.org/W4413255886","https://openalex.org/W4413440743","https://openalex.org/W4413479692","https://openalex.org/W4413554739","https://openalex.org/W4413967818","https://openalex.org/W4414009812","https://openalex.org/W4415896703","https://openalex.org/W4416260402","https://openalex.org/W6910724982","https://openalex.org/W7164388270"],"related_works":["https://openalex.org/W4411754212","https://openalex.org/W7160779959","https://openalex.org/W7212300530","https://openalex.org/W7131387382","https://openalex.org/W7123962931","https://openalex.org/W4412405261","https://openalex.org/W7214291195","https://openalex.org/W7218593589","https://openalex.org/W4317651258","https://openalex.org/W4414637113"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2026-02-07T00:00:00"}