{"id":"https://openalex.org/W2942651124","doi":"https://doi.org/10.1145/3297280.3297479","title":"Constructing product-line safety cases from contract-based specifications","display_name":"Constructing product-line safety cases from contract-based specifications","publication_year":2019,"publication_date":"2019-04-08","ids":{"openalex":"https://openalex.org/W2942651124","doi":"https://doi.org/10.1145/3297280.3297479","mag":"2942651124"},"language":"en","primary_location":{"id":"doi:10.1145/3297280.3297479","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3297280.3297479","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-250230","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5110237156","display_name":"Damir Ne\u0161i\u0107","orcid":null},"institutions":[{"id":"https://openalex.org/I86987016","display_name":"KTH Royal Institute of Technology","ror":"https://ror.org/026vcq606","country_code":"SE","type":"education","lineage":["https://openalex.org/I86987016"]}],"countries":["SE"],"is_corresponding":true,"raw_author_name":"Damir Ne\u0161i\u0107","raw_affiliation_strings":["Royal Institute of Technology, Stockholm, Sweden"],"affiliations":[{"raw_affiliation_string":"Royal Institute of Technology, Stockholm, Sweden","institution_ids":["https://openalex.org/I86987016"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070092646","display_name":"Mattias Nyberg","orcid":"https://orcid.org/0000-0001-6667-3783"},"institutions":[{"id":"https://openalex.org/I86987016","display_name":"KTH Royal Institute of Technology","ror":"https://ror.org/026vcq606","country_code":"SE","type":"education","lineage":["https://openalex.org/I86987016"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Mattias Nyberg","raw_affiliation_strings":["Royal Institute of Technology, Stockholm, Sweden"],"affiliations":[{"raw_affiliation_string":"Royal Institute of Technology, Stockholm, Sweden","institution_ids":["https://openalex.org/I86987016"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5000258375","display_name":"Barbara Gallina","orcid":"https://orcid.org/0000-0002-6952-1053"},"institutions":[{"id":"https://openalex.org/I82509713","display_name":"M\u00e4lardalen University","ror":"https://ror.org/033vfbz75","country_code":"SE","type":"education","lineage":["https://openalex.org/I82509713"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Barbara Gallina","raw_affiliation_strings":["M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden"],"affiliations":[{"raw_affiliation_string":"M\u00e4lardalen University, V\u00e4ster\u00e5s, Sweden","institution_ids":["https://openalex.org/I82509713"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5110237156"],"corresponding_institution_ids":["https://openalex.org/I86987016"],"apc_list":null,"apc_paid":null,"fwci":1.7745,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.83093341,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"2022","last_page":"2031"},"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.9998999834060669,"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.9998999834060669,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9793000221252441,"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.9779999852180481,"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/notation","display_name":"Notation","score":0.7582945823669434},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7173946499824524},{"id":"https://openalex.org/keywords/structuring","display_name":"Structuring","score":0.6491413116455078},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.5583686232566833},{"id":"https://openalex.org/keywords/argumentation-theory","display_name":"Argumentation theory","score":0.5394132733345032},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4993913173675537},{"id":"https://openalex.org/keywords/safety-case","display_name":"Safety case","score":0.47485876083374023},{"id":"https://openalex.org/keywords/product","display_name":"Product (mathematics)","score":0.4552631676197052},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.4457446336746216},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3507835865020752},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.339467853307724},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.3218270540237427},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.15848839282989502},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.09821724891662598}],"concepts":[{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.7582945823669434},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7173946499824524},{"id":"https://openalex.org/C2775945657","wikidata":"https://www.wikidata.org/wiki/Q381442","display_name":"Structuring","level":2,"score":0.6491413116455078},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.5583686232566833},{"id":"https://openalex.org/C65059942","wikidata":"https://www.wikidata.org/wiki/Q270105","display_name":"Argumentation theory","level":2,"score":0.5394132733345032},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4993913173675537},{"id":"https://openalex.org/C2780234205","wikidata":"https://www.wikidata.org/wiki/Q2281276","display_name":"Safety case","level":2,"score":0.47485876083374023},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.4552631676197052},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.4457446336746216},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3507835865020752},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.339467853307724},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.3218270540237427},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.15848839282989502},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.09821724891662598},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3297280.3297479","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3297280.3297479","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing","raw_type":"proceedings-article"},{"id":"pmh:oai:DiVA.org:kth-250230","is_oa":true,"landing_page_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-250230","pdf_url":null,"source":{"id":"https://openalex.org/S4306401559","display_name":"KTH Publication Database DiVA (KTH Royal Institute of Technology)","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference paper"}],"best_oa_location":{"id":"pmh:oai:DiVA.org:kth-250230","is_oa":true,"landing_page_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-250230","pdf_url":null,"source":{"id":"https://openalex.org/S4306401559","display_name":"KTH Publication Database DiVA (KTH Royal Institute of Technology)","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference paper"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2908860541","display_name":null,"funder_award_id":"692474","funder_id":"https://openalex.org/F4320321030","funder_display_name":"VINNOVA"},{"id":"https://openalex.org/G5911495451","display_name":null,"funder_award_id":"692474","funder_id":"https://openalex.org/F4320327207","funder_display_name":"Electronic Components and Systems for European Leadership"},{"id":"https://openalex.org/G8112774225","display_name":null,"funder_award_id":"2018-01778","funder_id":"https://openalex.org/F4320321030","funder_display_name":"VINNOVA"}],"funders":[{"id":"https://openalex.org/F4320321030","display_name":"VINNOVA","ror":"https://ror.org/01kd5m353"},{"id":"https://openalex.org/F4320327207","display_name":"Electronic Components and Systems for European Leadership","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":48,"referenced_works":["https://openalex.org/W166035582","https://openalex.org/W220935706","https://openalex.org/W239543071","https://openalex.org/W257899693","https://openalex.org/W330135473","https://openalex.org/W849075951","https://openalex.org/W1480909796","https://openalex.org/W1488188457","https://openalex.org/W1496394448","https://openalex.org/W1502211585","https://openalex.org/W1513515524","https://openalex.org/W1535987901","https://openalex.org/W1544397242","https://openalex.org/W1555563750","https://openalex.org/W1870305865","https://openalex.org/W1970665571","https://openalex.org/W1997717271","https://openalex.org/W2000707938","https://openalex.org/W2002608611","https://openalex.org/W2013164354","https://openalex.org/W2017335133","https://openalex.org/W2028287022","https://openalex.org/W2034052160","https://openalex.org/W2053016913","https://openalex.org/W2066810711","https://openalex.org/W2066867661","https://openalex.org/W2091836925","https://openalex.org/W2134399923","https://openalex.org/W2156062547","https://openalex.org/W2466842930","https://openalex.org/W2502486893","https://openalex.org/W2509957538","https://openalex.org/W2516993818","https://openalex.org/W2620236264","https://openalex.org/W2737336303","https://openalex.org/W2738233416","https://openalex.org/W2740333172","https://openalex.org/W2746490395","https://openalex.org/W2751067278","https://openalex.org/W2770542681","https://openalex.org/W2784233274","https://openalex.org/W2805540622","https://openalex.org/W2898981761","https://openalex.org/W2996545772","https://openalex.org/W3200788958","https://openalex.org/W4248025016","https://openalex.org/W4250063148","https://openalex.org/W6912992434"],"related_works":["https://openalex.org/W4256185029","https://openalex.org/W2141332034","https://openalex.org/W4388437769","https://openalex.org/W2762454042","https://openalex.org/W2064153856","https://openalex.org/W2337488240","https://openalex.org/W4394443292","https://openalex.org/W52290235","https://openalex.org/W3007362904","https://openalex.org/W2478672773"],"abstract_inverted_index":{"Safety":[0],"cases":[1,31],"are":[2,13,67],"used":[3],"to":[4,15,135],"argue":[5],"that":[6,12,107],"safety-critical":[7],"systems":[8,22,37,111],"satisfy":[9],"the":[10,17,21,61,64,86,114,117,124,142,147],"requirements":[11],"determined":[14],"mitigate":[16],"potential":[18],"hazards":[19],"in":[20,43],"operating":[23],"environment.":[24],"Although":[25],"typically":[26,47],"a":[27,50,75,89,98,104,136,152],"manual":[28],"task,":[29],"safety":[30,65,90,137],"have":[32],"been":[33],"successfully":[34],"created":[35,130],"for":[36,85,92],"without":[38],"many":[39],"configuration":[40],"options.":[41],"However,":[42],"highly":[44],"configurable":[45,110],"systems,":[46],"developed":[48],"as":[49],"Product":[51],"Line":[52],"(PL),":[53],"arguing":[54],"about":[55],"each":[56],"possible":[57],"configuration,":[58],"and":[59,77,112,156],"ensuring":[60],"completeness":[62],"of":[63,88,116],"case":[66,91,138],"still":[68],"open":[69],"research":[70],"problems.":[71],"This":[72],"paper":[73],"presents":[74],"novel":[76],"general":[78,99],"approach,":[79],"based":[80],"on":[81,151],"Contract-Based":[82],"Specification":[83],"(CBS),":[84],"construction":[87],"an":[93],"arbitrary":[94,127],"PL.":[95],"Starting":[96],"from":[97,126],"CBS":[100,119,133],"framework,":[101,134],"we":[102,122],"present":[103],"PL":[105,128],"extensions":[106],"allows":[108],"expressing":[109],"preserves":[113],"properties":[115],"original":[118],"framework.":[120],"Then,":[121],"define":[123],"transformation":[125],"models,":[129],"using":[131,141],"extended":[132],"argumentation-structure,":[139],"expressed":[140],"Goal":[143],"Structuring":[144],"Notation.":[145],"Finally,":[146],"approach":[148],"is":[149],"exemplified":[150],"simplified,":[153],"but":[154],"real,":[155],"currently":[157],"produced":[158],"system":[159],"by":[160],"Scania":[161],"CV":[162],"AB.":[163]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":3}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}