{"id":"https://openalex.org/W4392678553","doi":"https://doi.org/10.1007/s11334-024-00551-8","title":"Systematic hierarchical analysis of requirements for critical systems","display_name":"Systematic hierarchical analysis of requirements for critical systems","publication_year":2024,"publication_date":"2024-03-12","ids":{"openalex":"https://openalex.org/W4392678553","doi":"https://doi.org/10.1007/s11334-024-00551-8"},"language":"en","primary_location":{"id":"doi:10.1007/s11334-024-00551-8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11334-024-00551-8","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11334-024-00551-8.pdf","source":{"id":"https://openalex.org/S151239915","display_name":"Innovations in Systems and Software Engineering","issn_l":"1614-5046","issn":["1614-5046","1614-5054"],"is_oa":false,"is_in_doaj":false,"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","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Innovations in Systems and Software Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s11334-024-00551-8.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5051193769","display_name":"Asieh Salehi Fathabadi","orcid":"https://orcid.org/0000-0002-0508-3066"},"institutions":[{"id":"https://openalex.org/I43439940","display_name":"University of Southampton","ror":"https://ror.org/01ryk1543","country_code":"GB","type":"education","lineage":["https://openalex.org/I43439940"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Asieh Salehi Fathabadi","raw_affiliation_strings":["Electronics and Computer Science, University of Southampton, Southampton, SO171BJ, UK"],"raw_orcid":"https://orcid.org/0000-0002-0508-3066","affiliations":[{"raw_affiliation_string":"Electronics and Computer Science, University of Southampton, Southampton, SO171BJ, UK","institution_ids":["https://openalex.org/I43439940"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018781402","display_name":"Colin Snook","orcid":"https://orcid.org/0000-0002-0210-0983"},"institutions":[{"id":"https://openalex.org/I43439940","display_name":"University of Southampton","ror":"https://ror.org/01ryk1543","country_code":"GB","type":"education","lineage":["https://openalex.org/I43439940"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Colin Snook","raw_affiliation_strings":["Electronics and Computer Science, University of Southampton, Southampton, SO171BJ, UK"],"raw_orcid":"https://orcid.org/0000-0002-0210-0983","affiliations":[{"raw_affiliation_string":"Electronics and Computer Science, University of Southampton, Southampton, SO171BJ, UK","institution_ids":["https://openalex.org/I43439940"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063388858","display_name":"Dana Dghaym","orcid":"https://orcid.org/0000-0002-2196-2749"},"institutions":[{"id":"https://openalex.org/I43439940","display_name":"University of Southampton","ror":"https://ror.org/01ryk1543","country_code":"GB","type":"education","lineage":["https://openalex.org/I43439940"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Dana Dghaym","raw_affiliation_strings":["Electronics and Computer Science, University of Southampton, Southampton, SO171BJ, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Electronics and Computer Science, University of Southampton, Southampton, SO171BJ, UK","institution_ids":["https://openalex.org/I43439940"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042805366","display_name":"Thai Son Hoang","orcid":"https://orcid.org/0000-0003-4095-0732"},"institutions":[{"id":"https://openalex.org/I43439940","display_name":"University of Southampton","ror":"https://ror.org/01ryk1543","country_code":"GB","type":"education","lineage":["https://openalex.org/I43439940"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Thai Son Hoang","raw_affiliation_strings":["Electronics and Computer Science, University of Southampton, Southampton, SO171BJ, UK"],"raw_orcid":"https://orcid.org/0000-0003-4095-0732","affiliations":[{"raw_affiliation_string":"Electronics and Computer Science, University of Southampton, Southampton, SO171BJ, UK","institution_ids":["https://openalex.org/I43439940"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088729256","display_name":"Fahad Alotaibi","orcid":"https://orcid.org/0000-0001-8545-907X"},"institutions":[{"id":"https://openalex.org/I43439940","display_name":"University of Southampton","ror":"https://ror.org/01ryk1543","country_code":"GB","type":"education","lineage":["https://openalex.org/I43439940"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Fahad Alotaibi","raw_affiliation_strings":["Electronics and Computer Science, University of Southampton, Southampton, SO171BJ, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Electronics and Computer Science, University of Southampton, Southampton, SO171BJ, UK","institution_ids":["https://openalex.org/I43439940"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5056335848","display_name":"Michael Butler","orcid":"https://orcid.org/0000-0003-4642-5373"},"institutions":[{"id":"https://openalex.org/I43439940","display_name":"University of Southampton","ror":"https://ror.org/01ryk1543","country_code":"GB","type":"education","lineage":["https://openalex.org/I43439940"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Michael Butler","raw_affiliation_strings":["Electronics and Computer Science, University of Southampton, Southampton, SO171BJ, UK"],"raw_orcid":"https://orcid.org/0000-0003-4642-5373","affiliations":[{"raw_affiliation_string":"Electronics and Computer Science, University of Southampton, Southampton, SO171BJ, UK","institution_ids":["https://openalex.org/I43439940"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5051193769"],"corresponding_institution_ids":["https://openalex.org/I43439940"],"apc_list":{"value":3190,"currency":"USD","value_usd":3190},"apc_paid":{"value":3190,"currency":"USD","value_usd":3190},"fwci":4.4035,"has_fulltext":true,"cited_by_count":10,"citation_normalized_percentile":{"value":0.94951665,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":"21","issue":"2","first_page":"569","last_page":"593"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9993000030517578,"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 and Analysis Research","score":0.9993000030517578,"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9984999895095825,"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/T12000","display_name":"Systems Engineering Methodologies and Applications","score":0.9944000244140625,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.4816385805606842},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.3369949162006378},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.28745752573013306}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4816385805606842},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.3369949162006378},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.28745752573013306}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s11334-024-00551-8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11334-024-00551-8","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11334-024-00551-8.pdf","source":{"id":"https://openalex.org/S151239915","display_name":"Innovations in Systems and Software Engineering","issn_l":"1614-5046","issn":["1614-5046","1614-5054"],"is_oa":false,"is_in_doaj":false,"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","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Innovations in Systems and Software Engineering","raw_type":"journal-article"},{"id":"pmh:oai:eprints.soton.ac.uk:488101","is_oa":true,"landing_page_url":"http://doi.org/10.1007/s11334-024-00551-8>).","pdf_url":"https://eprints.soton.ac.uk/488101/1/s11334-024-00551-8.pdf","source":{"id":"https://openalex.org/S4306401019","display_name":"ePrints Soton (University of Southampton)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I43439940","host_organization_name":"University of Southampton","host_organization_lineage":["https://openalex.org/I43439940"],"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":"Article"}],"best_oa_location":{"id":"doi:10.1007/s11334-024-00551-8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11334-024-00551-8","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11334-024-00551-8.pdf","source":{"id":"https://openalex.org/S151239915","display_name":"Innovations in Systems and Software Engineering","issn_l":"1614-5046","issn":["1614-5046","1614-5054"],"is_oa":false,"is_in_doaj":false,"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","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Innovations in Systems and Software Engineering","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3164523449","display_name":null,"funder_award_id":"EP/R007268/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G8220750462","display_name":null,"funder_award_id":"113213","funder_id":"https://openalex.org/F4320314731","funder_display_name":"UK Research and Innovation"}],"funders":[{"id":"https://openalex.org/F4320314731","display_name":"UK Research and Innovation","ror":"https://ror.org/001aqnf71"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4392678553.pdf","grobid_xml":"https://content.openalex.org/works/W4392678553.grobid-xml"},"referenced_works_count":25,"referenced_works":["https://openalex.org/W1964053994","https://openalex.org/W1970133304","https://openalex.org/W1971486022","https://openalex.org/W1992707013","https://openalex.org/W2031111226","https://openalex.org/W2032996292","https://openalex.org/W2051986607","https://openalex.org/W2094710057","https://openalex.org/W2145071552","https://openalex.org/W2192363477","https://openalex.org/W2408436717","https://openalex.org/W2507474852","https://openalex.org/W2605608181","https://openalex.org/W2746734514","https://openalex.org/W2750760727","https://openalex.org/W2924885123","https://openalex.org/W3016506139","https://openalex.org/W3041991984","https://openalex.org/W3088867746","https://openalex.org/W3121050441","https://openalex.org/W3171287387","https://openalex.org/W4244819751","https://openalex.org/W4288864455","https://openalex.org/W4308627934","https://openalex.org/W4323966620"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W4391913857","https://openalex.org/W2350741829","https://openalex.org/W2530322880"],"abstract_inverted_index":{"Abstract":[0],"Safety":[1],"and":[2,20,54,61,75,85,95,105,118,141,157,191,199],"security":[3,55,96,106,132],"are":[4,244],"key":[5],"considerations":[6],"in":[7,183],"the":[8,18,83,100,126,129,136,155,162,174,181,203,206,242],"design":[9,84,127,156,182],"of":[10,22,46,59,87,180],"critical":[11,27,89,218],"systems.":[12],"Requirements":[13],"analysis":[14,36,60,77,107,114,137],"methods":[15],"rely":[16],"on":[17],"expertise":[19],"experience":[21],"human":[23,30],"intervention":[24],"to":[25,34,42,81,115,150,161,177,201,222],"make":[26],"judgements.":[28],"While":[29],"judgement":[31],"is":[32,39],"essential":[33],"an":[35],"method,":[37],"it":[38],"also":[40],"important":[41],"ensure":[43],"a":[44,73,184],"degree":[45],"formality":[47],"so":[48,240],"that":[49,79,125,235,241],"we":[50,71,123,188,216,236],"reason":[51],"about":[52],"safety":[53,93,104,130,163],"at":[56,99,108,168],"early":[57],"stages":[58],"design,":[62,204],"rather":[63],"than":[64],"detect":[65],"problems":[66],"later.":[67],"In":[68,213],"this":[69,169],"paper,":[70],"present":[72],"hierarchical":[74,185],"incremental":[76],"process":[78,176],"aims":[80],"justify":[82],"flow-down":[86],"derived":[88],"requirements":[90,133,209,220],"arising":[91,153],"from":[92,154,227],"hazards":[94,117],"vulnerabilities":[97],"identified":[98],"system":[101,207,229],"level.":[102,170],"The":[103,146],"each":[109,121,178],"level":[110,208,230],"uses":[111],"STPA-style":[112],"action":[113],"identify":[116,151],"vulnerabilities.":[119],"At":[120],"level,":[122],"verify":[124],"achieves":[128],"or":[131],"by":[134],"backing":[135],"with":[138,195,210],"formal":[139,147,197],"modelling":[140,198],"proof":[142],"using":[143],"Event-B":[144],"refinement.":[145],"model":[148],"helps":[149],"hazards/vulnerabilities":[152,243],"how":[158],"they":[159],"relate":[160],"accidents/security":[164],"losses":[165],"being":[166],"considered":[167],"We":[171],"then":[172],"re-apply":[173],"same":[175],"component":[179,211],"manner.":[186],"Thus,":[187],"use":[189],"hazard":[190],"vulnerability":[192],"analysis,":[193],"together":[194],"refinement-based":[196],"verification,":[200],"drive":[202],"replacing":[205],"requirements.":[212],"doing":[214],"so,":[215],"decompose":[217],"system-level":[219],"down":[221],"component-level":[223],"requirements,":[224,231],"transforming":[225],"them":[226],"abstract":[228],"towards":[232],"concrete":[233],"solutions":[234],"can":[237],"implement":[238],"correctly":[239],"mitigated.":[245]},"counts_by_year":[{"year":2026,"cited_by_count":4},{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":2}],"updated_date":"2026-08-23T07:36:19.812096","created_date":"2024-03-13T00:00:00"}