{"id":"https://openalex.org/W4212929996","doi":"https://doi.org/10.5220/0010847300003119","title":"Model-based Generation of Hazard-driven Arguments and Formal Verification Evidence for Assurance Cases","display_name":"Model-based Generation of Hazard-driven Arguments and Formal Verification Evidence for Assurance Cases","publication_year":2022,"publication_date":"2022-01-01","ids":{"openalex":"https://openalex.org/W4212929996","doi":"https://doi.org/10.5220/0010847300003119"},"language":"en","primary_location":{"id":"doi:10.5220/0010847300003119","is_oa":false,"landing_page_url":"https://doi.org/10.5220/0010847300003119","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development","raw_type":"proceedings-article"},"type":"article","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/A5113855987","display_name":"Yan Fang","orcid":"https://orcid.org/0009-0005-2351-6063"},"institutions":[{"id":"https://openalex.org/I52099693","display_name":"University of York","ror":"https://ror.org/04m01e293","country_code":"GB","type":"education","lineage":["https://openalex.org/I52099693"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Fang Yan","raw_affiliation_strings":["Department of Computer Science, University of York, York, U.K., --- Select a Country ---"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of York, York, U.K., --- Select a Country ---","institution_ids":["https://openalex.org/I52099693"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018039260","display_name":"Simon Foster","orcid":"https://orcid.org/0000-0002-9889-9514"},"institutions":[{"id":"https://openalex.org/I52099693","display_name":"University of York","ror":"https://ror.org/04m01e293","country_code":"GB","type":"education","lineage":["https://openalex.org/I52099693"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Simon Foster","raw_affiliation_strings":["Department of Computer Science, University of York, York, U.K., --- Select a Country ---"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of York, York, U.K., --- Select a Country ---","institution_ids":["https://openalex.org/I52099693"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017840476","display_name":"Ibrahim Habli","orcid":"https://orcid.org/0000-0003-2736-8238"},"institutions":[{"id":"https://openalex.org/I52099693","display_name":"University of York","ror":"https://ror.org/04m01e293","country_code":"GB","type":"education","lineage":["https://openalex.org/I52099693"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Ibrahim Habli","raw_affiliation_strings":["Department of Computer Science, University of York, York, U.K., --- Select a Country ---"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of York, York, U.K., --- Select a Country ---","institution_ids":["https://openalex.org/I52099693"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5088805952","display_name":"Ran Wei","orcid":"https://orcid.org/0000-0003-2191-1359"},"institutions":[{"id":"https://openalex.org/I27357992","display_name":"Dalian University of Technology","ror":"https://ror.org/023hj5876","country_code":"CN","type":"education","lineage":["https://openalex.org/I27357992"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ran Wei","raw_affiliation_strings":["School of Artificial Intelligence, Dalian University of Technology, Dalian, China, --- Select a Country ---"],"affiliations":[{"raw_affiliation_string":"School of Artificial Intelligence, Dalian University of Technology, Dalian, China, --- Select a Country ---","institution_ids":["https://openalex.org/I27357992"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5113855987"],"corresponding_institution_ids":["https://openalex.org/I52099693"],"apc_list":null,"apc_paid":null,"fwci":0.4642,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.58970507,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"252","last_page":"263"},"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.9995999932289124,"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.9995999932289124,"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/T11357","display_name":"Risk and Safety Analysis","score":0.9934999942779541,"subfield":{"id":"https://openalex.org/subfields/1804","display_name":"Statistics, Probability and Uncertainty"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9872000217437744,"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.6609804034233093},{"id":"https://openalex.org/keywords/hazard","display_name":"Hazard","score":0.4877982437610626},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.48148882389068604},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.4504165053367615},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4213111698627472},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4203472137451172},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.28131020069122314}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6609804034233093},{"id":"https://openalex.org/C49261128","wikidata":"https://www.wikidata.org/wiki/Q1132455","display_name":"Hazard","level":2,"score":0.4877982437610626},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.48148882389068604},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.4504165053367615},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4213111698627472},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4203472137451172},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.28131020069122314},{"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/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5220/0010847300003119","is_oa":false,"landing_page_url":"https://doi.org/10.5220/0010847300003119","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development","raw_type":"proceedings-article"},{"id":"pmh:oai:eprints.whiterose.ac.uk:182058","is_oa":false,"landing_page_url":"https://orcid.org/0000-0002-9889-9514>,","pdf_url":null,"source":{"id":"https://openalex.org/S4306400854","display_name":"White Rose Research Online (University of Leeds, The University of Sheffield, University of York)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2800616092","host_organization_name":"White Rose University Consortium","host_organization_lineage":["https://openalex.org/I2800616092"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"NonPeerReviewed"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.8100000023841858,"id":"https://metadata.un.org/sdg/13","display_name":"Climate action"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W177970991","https://openalex.org/W190625790","https://openalex.org/W1509087931","https://openalex.org/W1538014561","https://openalex.org/W1992707013","https://openalex.org/W2050362288","https://openalex.org/W2093830757","https://openalex.org/W2128510433","https://openalex.org/W2165203881","https://openalex.org/W2770542681","https://openalex.org/W2774981561","https://openalex.org/W2895208382","https://openalex.org/W2912806430","https://openalex.org/W2949989823","https://openalex.org/W2952579041","https://openalex.org/W2955226868","https://openalex.org/W2972903877","https://openalex.org/W3014561174","https://openalex.org/W3043634606","https://openalex.org/W3088867746","https://openalex.org/W3102912103","https://openalex.org/W3118305541","https://openalex.org/W3165301215","https://openalex.org/W4213287371"],"related_works":["https://openalex.org/W2006962382","https://openalex.org/W2149716943","https://openalex.org/W4312733571","https://openalex.org/W113732979","https://openalex.org/W161255303","https://openalex.org/W4315606162","https://openalex.org/W1544097700","https://openalex.org/W2340807904","https://openalex.org/W2037121848","https://openalex.org/W61995002"],"abstract_inverted_index":{"Assurance":[0],"cases":[1],"(ACs)":[2],"are":[3],"an":[4,55,121,172],"established":[5],"practice":[6],"for":[7],"arguing":[8],"confidence":[9],"in":[10,19,60,88],"critical":[11],"system":[12,23,35,48,89],"properties":[13],"such":[14],"as":[15,46],"safety":[16],"and":[17,73,104,109,127,134,158,165],"security":[18],"high-risk":[20],"industries.ACs":[21],"use":[22],"artifacts":[24,133],"to":[25,30,39,42,68,94,124,171],"argue":[26],"the":[27,31,71,81,115,177],"aforementioned":[28],"properties.Due":[29],"iterative":[32],"nature":[33],"of":[34,62,75,84,117,155],"development,":[36,90],"we":[37],"need":[38],"update":[40,110],"ACs":[41,76,96],"maintain":[43],"assurance":[44],"validity":[45],"a":[47,51,65,78],"evolves.For":[49],"example,":[50],"changed":[52],"design":[53,98,132,136],"or":[54,64],"added":[56],"hazard":[57],"would":[58],"result":[59],"re-evaluation":[61],"claims":[63],"new":[66],"claim":[67],"be":[69],"verified.Thus,":[70],"generation":[72,126,145],"maintenance":[74],"is":[77,92,120,160],"labour-intensive":[79],"process.With":[80],"growing":[82],"application":[83],"Model-based":[85],"Engineering":[86],"(MBE)":[87],"it":[91],"beneficial":[93],"generate":[95],"from":[97,129],"models":[99,137],"because":[100],"this":[101,118],"captures":[102],"traceability,":[103],"enables":[105],"automatic":[106,122],"AC":[107,125,143,156],"creation":[108],"driven":[111],"by":[112,146,150,162],"model":[113,163,166],"modification.Accordingly,":[114],"contribution":[116],"paper":[119],"approach":[123,140,170],"assembly":[128,157],"both":[130],"unstructured":[131],"UML-like":[135],"within":[138],"Eclipse.This":[139],"also":[141],"supports":[142],"evidence":[144],"formal":[147],"verification":[148,159],"facilitated":[149],"automatically":[151],"generated":[152],"assertions.The":[153],"realization":[154],"supported":[161],"query":[164],"transformation.We":[167],"apply":[168],"our":[169],"autonomous":[173],"underwater":[174],"robot":[175],"with":[176],"RoboChart":[178],"robotics":[179],"modelling":[180],"language.":[181]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}