{"id":"https://openalex.org/W1899358208","doi":"https://doi.org/10.1109/syseng.2015.7302769","title":"Analysis of a driver and automated driving system interaction using a communicating sequential process","display_name":"Analysis of a driver and automated driving system interaction using a communicating sequential process","publication_year":2015,"publication_date":"2015-09-01","ids":{"openalex":"https://openalex.org/W1899358208","doi":"https://doi.org/10.1109/syseng.2015.7302769","mag":"1899358208"},"language":"en","primary_location":{"id":"doi:10.1109/syseng.2015.7302769","is_oa":false,"landing_page_url":"https://doi.org/10.1109/syseng.2015.7302769","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 IEEE International Symposium on Systems Engineering (ISSE)","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/A5062718780","display_name":"Satoko Kinoshita","orcid":null},"institutions":[{"id":"https://openalex.org/I203951103","display_name":"Keio University","ror":"https://ror.org/02kn6nx58","country_code":"JP","type":"education","lineage":["https://openalex.org/I203951103"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Satoko Kinoshita","raw_affiliation_strings":["Graduate School of System Design and Management Keio University Yokohama Japan"],"affiliations":[{"raw_affiliation_string":"Graduate School of System Design and Management Keio University Yokohama Japan","institution_ids":["https://openalex.org/I203951103"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102267728","display_name":"Sunkil Yun","orcid":null},"institutions":[{"id":"https://openalex.org/I203951103","display_name":"Keio University","ror":"https://ror.org/02kn6nx58","country_code":"JP","type":"education","lineage":["https://openalex.org/I203951103"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Sunkil Yun","raw_affiliation_strings":["Graduate School of System Design and Management Keio University Yokohama Japan"],"affiliations":[{"raw_affiliation_string":"Graduate School of System Design and Management Keio University Yokohama Japan","institution_ids":["https://openalex.org/I203951103"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000333336","display_name":"Noriyasu Kitamura","orcid":null},"institutions":[{"id":"https://openalex.org/I203951103","display_name":"Keio University","ror":"https://ror.org/02kn6nx58","country_code":"JP","type":"education","lineage":["https://openalex.org/I203951103"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Noriyasu Kitamura","raw_affiliation_strings":["Graduate School of System Design and Management Keio University Yokohama Japan"],"affiliations":[{"raw_affiliation_string":"Graduate School of System Design and Management Keio University Yokohama Japan","institution_ids":["https://openalex.org/I203951103"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5063838080","display_name":"Hidekazu Nishimura","orcid":"https://orcid.org/0000-0003-1962-2646"},"institutions":[{"id":"https://openalex.org/I203951103","display_name":"Keio University","ror":"https://ror.org/02kn6nx58","country_code":"JP","type":"education","lineage":["https://openalex.org/I203951103"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Hidekazu Nishimura","raw_affiliation_strings":["Graduate School of System Design and Management Keio University Yokohama Japan"],"affiliations":[{"raw_affiliation_string":"Graduate School of System Design and Management Keio University Yokohama Japan","institution_ids":["https://openalex.org/I203951103"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5062718780"],"corresponding_institution_ids":["https://openalex.org/I203951103"],"apc_list":null,"apc_paid":null,"fwci":1.2098,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.81612095,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"272","last_page":"277"},"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.9980999827384949,"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.9980999827384949,"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.9975000023841858,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9923999905586243,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/process","display_name":"Process (computing)","score":0.7045587301254272},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6893209218978882},{"id":"https://openalex.org/keywords/interface","display_name":"Interface (matter)","score":0.5441185235977173},{"id":"https://openalex.org/keywords/driving-simulator","display_name":"Driving simulator","score":0.5209552049636841},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.4989593029022217},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.49396902322769165},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.4768208861351013},{"id":"https://openalex.org/keywords/user-interface","display_name":"User interface","score":0.4506618082523346},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.4138909876346588},{"id":"https://openalex.org/keywords/simulation","display_name":"Simulation","score":0.38086891174316406},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.15390115976333618},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.08712807297706604},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.08461284637451172}],"concepts":[{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.7045587301254272},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6893209218978882},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.5441185235977173},{"id":"https://openalex.org/C2780689630","wikidata":"https://www.wikidata.org/wiki/Q2081815","display_name":"Driving simulator","level":2,"score":0.5209552049636841},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4989593029022217},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.49396902322769165},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.4768208861351013},{"id":"https://openalex.org/C89505385","wikidata":"https://www.wikidata.org/wiki/Q47146","display_name":"User interface","level":2,"score":0.4506618082523346},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.4138909876346588},{"id":"https://openalex.org/C44154836","wikidata":"https://www.wikidata.org/wiki/Q45045","display_name":"Simulation","level":1,"score":0.38086891174316406},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.15390115976333618},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.08712807297706604},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.08461284637451172},{"id":"https://openalex.org/C157915830","wikidata":"https://www.wikidata.org/wiki/Q2928001","display_name":"Bubble","level":2,"score":0.0},{"id":"https://openalex.org/C129307140","wikidata":"https://www.wikidata.org/wiki/Q6795880","display_name":"Maximum bubble pressure method","level":3,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/syseng.2015.7302769","is_oa":false,"landing_page_url":"https://doi.org/10.1109/syseng.2015.7302769","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 IEEE International Symposium on Systems Engineering (ISSE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320323728","display_name":"Information-Technology Promotion Agency","ror":"https://ror.org/034e1cb35"},{"id":"https://openalex.org/F4320337373","display_name":"Center for Information Technology","ror":"https://ror.org/03jh5a977"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W1481029116","https://openalex.org/W1532054750","https://openalex.org/W1557496348","https://openalex.org/W2008856128","https://openalex.org/W2093387592","https://openalex.org/W4210886820","https://openalex.org/W4249261707","https://openalex.org/W6628878156"],"related_works":["https://openalex.org/W2258033839","https://openalex.org/W4297884099","https://openalex.org/W3203668668","https://openalex.org/W4391055430","https://openalex.org/W3214769583","https://openalex.org/W2116812645","https://openalex.org/W1980239608","https://openalex.org/W4377157894","https://openalex.org/W2395327451","https://openalex.org/W3009214786"],"abstract_inverted_index":{"This":[0],"study":[1,176],"presents":[2],"an":[3,12,62,185],"analysis":[4,154,180],"of":[5,25,57,80,96,116,163,181,190,197],"the":[6,37,45,48,58,65,69,83,89,97,102,105,137,171,179,182,188],"interaction":[7],"between":[8,47,139,184],"a":[9,18,110,114,126,191],"driver":[10,49,90,103],"and":[11,50,104,141,187,193],"automated":[13,26,198],"driving":[14],"system":[15,112,115],"(ADS)":[16],"using":[17,145,155],"communicating":[19],"sequential":[20],"process":[21],"(CSP).":[22],"Level":[23],"3":[24],"vehicles":[27],"requires":[28],"that":[29],"drivers":[30],"are":[31],"able":[32],"to":[33,73,76,135,169,178],"take":[34],"control":[35,79,95],"from":[36],"ADS":[38,51,66,84,106,186],"in":[39,113,118],"emergency":[40,63],"situations.":[41],"To":[42],"allow":[43],"this,":[44],"interactions":[46,138,183],"must":[52,67],"be":[53,92],"treated":[54,108],"as":[55,109],"part":[56],"safety":[59],"system.":[60],"In":[61,99],"situation,":[64],"know":[68],"driver's":[70,172],"current":[71],"state,":[72],"judge":[74],"whether":[75],"hand":[77],"over":[78],"driving.":[81],"If":[82],"cannot":[85],"monitor":[86],"this":[87,100],"successfully,":[88],"may":[91],"inappropriately":[93],"given":[94],"vehicle.":[98],"study,":[101],"were":[107,143],"concurrent":[111],"systems,":[117],"which":[119],"both":[120],"operated":[121],"independently,":[122],"while":[123],"interacting":[124],"through":[125],"human":[127,164],"machine":[128],"interface.":[129],"A":[130,159],"CSP":[131,149],"model":[132,146,150,162],"was":[133,151,167],"built":[134],"describe":[136,170],"them,":[140],"these":[142],"analyzed":[144],"checking.":[147],"The":[148,175],"based":[152],"on":[153],"System":[156],"Modeling":[157],"Language.":[158],"simple":[160],"four-stage":[161],"information":[165],"processing":[166],"used":[168],"state":[173],"transitions.":[174],"contributes":[177],"behavior":[189],"driver,":[192],"will":[194],"help":[195],"designers":[196],"vehicles.":[199]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}
