{"id":"https://openalex.org/W4225693064","doi":"https://doi.org/10.1109/qrs54544.2021.00066","title":"The bidirectional safety analysis & validation framework of system and software with its techniques and applications","display_name":"The bidirectional safety analysis & validation framework of system and software with its techniques and applications","publication_year":2021,"publication_date":"2021-12-01","ids":{"openalex":"https://openalex.org/W4225693064","doi":"https://doi.org/10.1109/qrs54544.2021.00066"},"language":"en","primary_location":{"id":"doi:10.1109/qrs54544.2021.00066","is_oa":false,"landing_page_url":"https://doi.org/10.1109/qrs54544.2021.00066","pdf_url":null,"source":{"id":"https://openalex.org/S4363608552","display_name":"2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS)","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":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5038977421","display_name":"Haifeng Li","orcid":"https://orcid.org/0000-0003-1597-3684"},"institutions":[{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Haifeng Li","raw_affiliation_strings":["Institute of Reliability Engineering, Beihang University,Beijing,China","Institute of Reliability Engineering, Beihang University, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Reliability Engineering, Beihang University,Beijing,China","institution_ids":["https://openalex.org/I82880672"]},{"raw_affiliation_string":"Institute of Reliability Engineering, Beihang University, Beijing, China","institution_ids":["https://openalex.org/I82880672"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100353323","display_name":"Chang Liu","orcid":"https://orcid.org/0000-0002-9747-2869"},"institutions":[{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chang Liu","raw_affiliation_strings":["Institute of Reliability Engineering, Beihang University,Beijing,China","Institute of Reliability Engineering, Beihang University, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Reliability Engineering, Beihang University,Beijing,China","institution_ids":["https://openalex.org/I82880672"]},{"raw_affiliation_string":"Institute of Reliability Engineering, Beihang University, Beijing, China","institution_ids":["https://openalex.org/I82880672"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5113971709","display_name":"Huancheng Su","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Huancheng Su","raw_affiliation_strings":["Nanjing Electronic Equipment Institute,Nanjing,China","Nanjing Electronic Equipment Institute, Nanjing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Nanjing Electronic Equipment Institute,Nanjing,China","institution_ids":[]},{"raw_affiliation_string":"Nanjing Electronic Equipment Institute, Nanjing, China","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"41","issue":null,"first_page":"555","last_page":"563"},"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.9991999864578247,"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.9991999864578247,"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/T11357","display_name":"Risk and Safety Analysis","score":0.9980999827384949,"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9968000054359436,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/fault-tree-analysis","display_name":"Fault tree analysis","score":0.6907585859298706},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.560094952583313},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.536733865737915},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.534859299659729},{"id":"https://openalex.org/keywords/verification-and-validation","display_name":"Verification and validation","score":0.530090868473053},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.5133635401725769},{"id":"https://openalex.org/keywords/hazard-analysis","display_name":"Hazard analysis","score":0.5112786293029785},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.46647459268569946},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.46358180046081543},{"id":"https://openalex.org/keywords/system-safety","display_name":"System safety","score":0.43224990367889404},{"id":"https://openalex.org/keywords/hazard","display_name":"Hazard","score":0.41830724477767944},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.34991294145584106},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.30346280336380005},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.13145452737808228}],"concepts":[{"id":"https://openalex.org/C107094494","wikidata":"https://www.wikidata.org/wiki/Q428453","display_name":"Fault tree analysis","level":2,"score":0.6907585859298706},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.560094952583313},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.536733865737915},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.534859299659729},{"id":"https://openalex.org/C48002344","wikidata":"https://www.wikidata.org/wiki/Q2919644","display_name":"Verification and validation","level":2,"score":0.530090868473053},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.5133635401725769},{"id":"https://openalex.org/C206355099","wikidata":"https://www.wikidata.org/wiki/Q3614972","display_name":"Hazard analysis","level":2,"score":0.5112786293029785},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.46647459268569946},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.46358180046081543},{"id":"https://openalex.org/C132835097","wikidata":"https://www.wikidata.org/wiki/Q7663745","display_name":"System safety","level":2,"score":0.43224990367889404},{"id":"https://openalex.org/C49261128","wikidata":"https://www.wikidata.org/wiki/Q1132455","display_name":"Hazard","level":2,"score":0.41830724477767944},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.34991294145584106},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.30346280336380005},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.13145452737808228},{"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},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/qrs54544.2021.00066","is_oa":false,"landing_page_url":"https://doi.org/10.1109/qrs54544.2021.00066","pdf_url":null,"source":{"id":"https://openalex.org/S4363608552","display_name":"2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS)","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":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":4,"referenced_works":["https://openalex.org/W2076098042","https://openalex.org/W2573085842","https://openalex.org/W3114542295","https://openalex.org/W3152805452"],"related_works":["https://openalex.org/W2765721596","https://openalex.org/W2033718781","https://openalex.org/W1493529820","https://openalex.org/W1969819468","https://openalex.org/W4239754651","https://openalex.org/W4401706919","https://openalex.org/W1998788341","https://openalex.org/W2362842781","https://openalex.org/W2763916043","https://openalex.org/W2349629804"],"abstract_inverted_index":{"According":[0],"to":[1,70,83,131,140],"SAE":[2],"ARP":[3],"4761,":[4],"the":[5,38,43,53,58,72,85,89,125,134,149,154,159,169,177,200,216,228,243,248],"system":[6,59,93,115,130,170,230,249],"safety":[7,74,86,109,126,135,146,213],"analysis":[8,110,151,166,186],"and":[9,32,50,52,60,94,111,116,133,163,172,179,184,195,219,223,231,236,250],"validation":[10,112,136],"is":[11,66,122],"a":[12,107,238],"complex":[13],"process":[14,75,91,128,137,234],"which":[15,121],"can":[16,224],"be":[17,225],"divided":[18],"into":[19,88,227],"three":[20,73,145],"parts,":[21],"namely,":[22],"Function":[23],"Hazard":[24],"Analysis":[25,30,35],"(FHA),":[26],"Preliminary":[27],"System":[28,33],"Safety":[29,34],"(PSSA),":[31],"(SSA).":[36],"However,":[37],"existing":[39],"researches":[40],"rarely":[41],"consider":[42],"integral":[44],"implementation":[45],"framework":[46,113,194,214],"of":[47,92,114,124,242],"FHA,":[48,158,217],"PSSA":[49],"SSA,":[51],"bidirectional":[54,108,212,239],"interactive":[55,245],"relationship":[56,246],"between":[57,247],"its":[61,95,251],"software/hardware":[62],"items.":[63,253],"Thus":[64],"it":[65],"not":[67],"only":[68],"difficult":[69,82],"connect":[71],"with":[76],"each":[77],"other":[78],"closely,":[79,235],"but":[80],"also":[81],"apply":[84,192],"works":[87],"development":[90,233],"software":[96,117,139,173,181,232,252],"items":[97],"effectively.":[98],"To":[99],"solve":[100],"this":[101,119,193,210],"application":[102],"problem,":[103],"first":[104],"we":[105,143,191],"propose":[106,144],"in":[118,157,175,188],"paper,":[120],"composed":[123],"allocation":[127],"from":[129,138],"software,":[132],"system.":[141],"Furthermore,":[142],"techniques,":[147],"namely":[148],"hazard":[150,164],"based":[152,167],"on":[153,168,199],"abnormal":[155],"output":[156],"fault":[160],"tree":[161],"construction":[162],"cause":[165],"architecture":[171],"failure":[174,182],"PSSA,":[176,218],"model-based":[178],"data-driven":[180],"mode":[183],"effects":[185],"approach":[187],"SSA.":[189],"Finally,":[190],"these":[196],"new":[197,211],"approaches":[198],"typical":[201],"airborne":[202],"control":[203],"software.":[204],"The":[205],"experiment":[206],"results":[207],"show":[208],"that":[209],"connects":[215],"SSA":[220],"together":[221],"organically":[222],"integrated":[226],"whole":[229],"construct":[237],"closed":[240],"loop":[241],"data":[244]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}