{"id":"https://openalex.org/W2139411913","doi":"https://doi.org/10.1109/huics.1996.549491","title":"Creating and analyzing requirement specifications of joint human-computer controllers for safety-critical systems","display_name":"Creating and analyzing requirement specifications of joint human-computer controllers for safety-critical systems","publication_year":2002,"publication_date":"2002-12-24","ids":{"openalex":"https://openalex.org/W2139411913","doi":"https://doi.org/10.1109/huics.1996.549491","mag":"2139411913"},"language":"en","primary_location":{"id":"doi:10.1109/huics.1996.549491","doi":"https://doi.org/10.1109/huics.1996.549491","is_oa":false,"landing_page_url":"https://doi.org/10.1109/huics.1996.549491","pdf_url":null,"source":{"id":"https://openalex.org/S7407115144","display_name":"Annual Symposium on Human Interaction with Complex Systems (HICS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"Proceedings Third Annual Symposium on Human Interaction with Complex Systems. HICS'96","raw_type":"proceedings-article"},"volume":null,"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/A5076251961","display_name":"Francesmary Modugno","orcid":"https://orcid.org/0000-0003-0637-1534","observed_orcids":["https://orcid.org/0000-0003-0637-1534"]},"institutions":[{"id":"https://openalex.org/I201448701","display_name":"University of Washington","ror":"https://ror.org/00cvxb145","country_code":"US","type":"education","lineage":["https://openalex.org/I201448701"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"F. Modugno","raw_affiliation_strings":["University of Washington, Seattle, WA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Washington, Seattle, WA, USA","institution_ids":["https://openalex.org/I201448701"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084051792","display_name":"Nancy G. Leveson","orcid":"https://orcid.org/0000-0001-6294-8890","observed_orcids":["https://orcid.org/0000-0001-6294-8890"]},"institutions":[{"id":"https://openalex.org/I201448701","display_name":"University of Washington","ror":"https://ror.org/00cvxb145","country_code":"US","type":"education","lineage":["https://openalex.org/I201448701"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"N.G. Leveson","raw_affiliation_strings":["University of Washington, Seattle, WA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Washington, Seattle, WA, USA","institution_ids":["https://openalex.org/I201448701"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059098294","display_name":"Jon Damon Reese","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I201448701","display_name":"University of Washington","ror":"https://ror.org/00cvxb145","country_code":"US","type":"education","lineage":["https://openalex.org/I201448701"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"J.D. Reese","raw_affiliation_strings":["University of Washington, Seattle, WA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Washington, Seattle, WA, USA","institution_ids":["https://openalex.org/I201448701"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069791199","display_name":"K. Partridffe","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"K. Partridffe","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5042349761","display_name":"Sean David Sandys","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I201448701","display_name":"University of Washington","ror":"https://ror.org/00cvxb145","country_code":"US","type":"education","lineage":["https://openalex.org/I201448701"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"S. Sandys","raw_affiliation_strings":["University of Washington, Seattle, WA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Washington, Seattle, WA, USA","institution_ids":["https://openalex.org/I201448701"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.184,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.7902601,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"46","last_page":"53"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10525","display_name":"Human-Automation Interaction and Safety","score":0.5874000191688538,"subfield":{"id":"https://openalex.org/subfields/3207","display_name":"Social Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10525","display_name":"Human-Automation Interaction and Safety","score":0.5874000191688538,"subfield":{"id":"https://openalex.org/subfields/3207","display_name":"Social Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"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.22280000150203705,"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.048500001430511475,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/human-computer-interaction","display_name":"human-computer interaction","score":0.7149999737739563},{"id":"https://openalex.org/keywords/safety-critical-systems","display_name":"safety-critical systems","score":0.7509999871253967},{"id":"https://openalex.org/keywords/requirements-specification","display_name":"requirements specification","score":0.5580000281333923},{"id":"https://openalex.org/keywords/human-factors","display_name":"human factors","score":0.35100001096725464},{"id":"https://openalex.org/keywords/aircraft-guidance-systems","display_name":"aircraft guidance systems","score":0.6230000257492065},{"id":"https://openalex.org/keywords/high-speed-civil-transport","display_name":"high-speed civil transport","score":0.9610000252723694},{"id":"https://openalex.org/keywords/mode-confusion","display_name":"mode confusion","score":0.8370000123977661}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6480083465576172},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.5944218039512634},{"id":"https://openalex.org/C2781140086","wikidata":"https://www.wikidata.org/wiki/Q557945","display_name":"Confusion","level":2,"score":0.5695003271102905},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.4642506241798401},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.4641628861427307},{"id":"https://openalex.org/C84651959","wikidata":"https://www.wikidata.org/wiki/Q17052506","display_name":"System requirements specification","level":2,"score":0.4596928656101227},{"id":"https://openalex.org/C57371142","wikidata":"https://www.wikidata.org/wiki/Q16914225","display_name":"Functional specification","level":5,"score":0.45842352509498596},{"id":"https://openalex.org/C48677424","wikidata":"https://www.wikidata.org/wiki/Q6888088","display_name":"Mode (computer interface)","level":2,"score":0.43512922525405884},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.4322049915790558},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.376747190952301},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.3356640338897705},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.2629344165325165},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.24656206369400024},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.20026564598083496},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.15821436047554016},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.14324268698692322},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.10202544927597046},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C158448853","wikidata":"https://www.wikidata.org/wiki/Q425218","display_name":"Repressor","level":4,"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/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C86339819","wikidata":"https://www.wikidata.org/wiki/Q407384","display_name":"Transcription factor","level":3,"score":0.0},{"id":"https://openalex.org/C11171543","wikidata":"https://www.wikidata.org/wiki/Q41630","display_name":"Psychoanalysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/huics.1996.549491","doi":"https://doi.org/10.1109/huics.1996.549491","is_oa":false,"landing_page_url":"https://doi.org/10.1109/huics.1996.549491","pdf_url":null,"source":{"id":"https://openalex.org/S7407115144","display_name":"Annual Symposium on Human Interaction with Complex Systems (HICS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"Proceedings Third Annual Symposium on Human Interaction with Complex Systems. HICS'96","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W63452608","https://openalex.org/W1576990566","https://openalex.org/W1977431771","https://openalex.org/W2038877132","https://openalex.org/W2099529102","https://openalex.org/W2146191617","https://openalex.org/W2147880466","https://openalex.org/W2160875129","https://openalex.org/W2163322071","https://openalex.org/W4210651582","https://openalex.org/W4251993681","https://openalex.org/W6602566610","https://openalex.org/W6683702256"],"related_works":["https://openalex.org/W7097810690","https://openalex.org/W2157419590","https://openalex.org/W7098448055","https://openalex.org/W2063167227","https://openalex.org/W6997031704","https://openalex.org/W4233090639","https://openalex.org/W1969929757","https://openalex.org/W2166043946","https://openalex.org/W7099571989","https://openalex.org/W2020202069"],"abstract_inverted_index":{"The":[0],"causes":[1],"of":[2,76,95,100],"many":[3],"accidents":[4],"in":[5,16,20,23,45,117],"safety-critical":[6],"systems,":[7],"such":[8],"as":[9,106,108],"aircraft":[10],"and":[11,27,41,51,65],"nuclear":[12],"pourer":[13],"plants,":[14],"can":[15,55],"part":[17],"be":[18],"found":[19],"the":[21,30,63,73,111,122],"breakdown":[22],"communication":[24,59],"between":[25],"operators":[26],"computer(s)":[28],"controlling":[29],"system.":[31],"In":[32],"this":[33,58],"paper,":[34],"we":[35],"outline":[36],"a":[37,43,69,77],"method":[38],"to":[39,47,57,103,119],"model":[40],"analyze":[42],"controller":[44],"order":[46,118],"uncover":[48],"potential":[49,93],"requirement":[50],"design":[52],"problems":[53],"that":[54],"contribute":[56],"breakdown.":[60],"We":[61],"illustrate":[62],"modeling":[64],"analysis":[66,87],"techniques":[67],"on":[68],"requirements":[70],"specification":[71,99],"for":[72],"guidance":[74],"system":[75,90],"high-speed":[78],"civil":[79],"transport":[80],"being":[81],"developed":[82],"at":[83],"NASA":[84],"Ames.":[85],"Our":[86],"revealed":[88],"several":[89],"hazards,":[91],"including":[92],"sources":[94],"mode":[96],"confusion,":[97],"incomplete":[98],"computer":[101],"response":[102],"operator":[104,114],"input,":[105],"well":[107],"assumptions":[109],"about":[110],"knowledge":[112],"an":[113],"must":[115],"have":[116],"successfully":[120],"control":[121],"aircraft.":[123]},"counts_by_year":[],"updated_date":"2026-10-28T10:33:24.094632","created_date":"2016-06-24T00:00:00"}