{"id":"https://openalex.org/W580966105","doi":null,"title":"Design validation of multi-mode systems","display_name":"Design validation of multi-mode systems","publication_year":2013,"publication_date":"2013-01-01","ids":{"openalex":"https://openalex.org/W580966105","mag":"580966105"},"language":"en","primary_location":{"id":"mag:580966105","doi":null,"is_oa":false,"landing_page_url":"http://arizona.openrepository.com/arizona/handle/10150/311576","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"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/A5036195310","display_name":"Jonathan M. Sprinkle","orcid":"https://orcid.org/0000-0003-4176-1212","observed_orcids":["https://orcid.org/0000-0003-4176-1212"]},"institutions":[{"id":"https://openalex.org/I138006243","display_name":"University of Arizona","ror":"https://ror.org/03m2x1q45","country_code":"US","type":"education","lineage":["https://openalex.org/I138006243"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jonathan Sprinkle","raw_affiliation_strings":["The University of Arizona,"],"raw_orcid":"https://orcid.org/0000-0003-4176-1212","affiliations":[{"raw_affiliation_string":"The University of Arizona,","institution_ids":["https://openalex.org/I138006243"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5090088216","display_name":"Diyang Chu","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I138006243","display_name":"University of Arizona","ror":"https://ror.org/03m2x1q45","country_code":"US","type":"education","lineage":["https://openalex.org/I138006243"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Diyang Chu","raw_affiliation_strings":["The University of Arizona,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The University of Arizona,","institution_ids":["https://openalex.org/I138006243"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I138006243"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.5781000256538391,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.5781000256538391,"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"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.16519999504089355,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.1143999993801117,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/cyber-physical-systems","display_name":"cyber-physical systems","score":0.9039999842643738},{"id":"https://openalex.org/keywords/human-in-the-loop-systems","display_name":"human-in-the-loop systems","score":0.6940000057220459},{"id":"https://openalex.org/keywords/design-validation","display_name":"design validation","score":0.6980000138282776},{"id":"https://openalex.org/keywords/domain-specific-modeling-languages","display_name":"domain-specific modeling languages","score":0.8849999904632568},{"id":"https://openalex.org/keywords/parallel-scheduling","display_name":"parallel scheduling","score":0.5929999947547913},{"id":"https://openalex.org/keywords/design-constraints","display_name":"design constraints","score":0.49399998784065247},{"id":"https://openalex.org/keywords/model-reuse","display_name":"model reuse","score":0.4690000116825104},{"id":"https://openalex.org/keywords/safety-critical-systems","display_name":"safety-critical systems","score":0.7419999837875366},{"id":"https://openalex.org/keywords/multi-mode-systems","display_name":"multi-mode systems","score":0.6919999718666077}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7356044054031372},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.6273398399353027},{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.6244078278541565},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.5307424068450928},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.48984000086784363},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.44670072197914124},{"id":"https://openalex.org/C116672817","wikidata":"https://www.wikidata.org/wiki/Q1454986","display_name":"Physical system","level":2,"score":0.4466354250907898},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.4231747090816498},{"id":"https://openalex.org/C66024118","wikidata":"https://www.wikidata.org/wiki/Q1122506","display_name":"Computational model","level":2,"score":0.4196700155735016},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4176608920097351},{"id":"https://openalex.org/C44154836","wikidata":"https://www.wikidata.org/wiki/Q45045","display_name":"Simulation","level":1,"score":0.22409957647323608},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1432492733001709},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1305246353149414},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C548081761","wikidata":"https://www.wikidata.org/wiki/Q180388","display_name":"Waste management","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/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","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},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:580966105","doi":null,"is_oa":false,"landing_page_url":"http://arizona.openrepository.com/arizona/handle/10150/311576","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":55,"referenced_works":["https://openalex.org/W153353184","https://openalex.org/W625928923","https://openalex.org/W1486206340","https://openalex.org/W1487586009","https://openalex.org/W1489550497","https://openalex.org/W1512340790","https://openalex.org/W1525798514","https://openalex.org/W1542066744","https://openalex.org/W1543654099","https://openalex.org/W1543835543","https://openalex.org/W1549644356","https://openalex.org/W1550670412","https://openalex.org/W1550828720","https://openalex.org/W1565279216","https://openalex.org/W1594130515","https://openalex.org/W1857562490","https://openalex.org/W1991113069","https://openalex.org/W1991964001","https://openalex.org/W1995008247","https://openalex.org/W2014019774","https://openalex.org/W2016310411","https://openalex.org/W2028442956","https://openalex.org/W2033409946","https://openalex.org/W2036391486","https://openalex.org/W2046317364","https://openalex.org/W2054129954","https://openalex.org/W2057462050","https://openalex.org/W2060033172","https://openalex.org/W2060095702","https://openalex.org/W2091316349","https://openalex.org/W2093834886","https://openalex.org/W2098009157","https://openalex.org/W2098815550","https://openalex.org/W2099308299","https://openalex.org/W2100505193","https://openalex.org/W2100519472","https://openalex.org/W2104969481","https://openalex.org/W2105858189","https://openalex.org/W2109781560","https://openalex.org/W2113014586","https://openalex.org/W2117218135","https://openalex.org/W2117441058","https://openalex.org/W2123357397","https://openalex.org/W2136608864","https://openalex.org/W2138239212","https://openalex.org/W2139842876","https://openalex.org/W2141240350","https://openalex.org/W2149270119","https://openalex.org/W2151414332","https://openalex.org/W2151653149","https://openalex.org/W2153220708","https://openalex.org/W2156009911","https://openalex.org/W2159104891","https://openalex.org/W2166858912","https://openalex.org/W4234144186"],"related_works":["https://openalex.org/W2300815108","https://openalex.org/W6997315804","https://openalex.org/W7099961388","https://openalex.org/W2885889982","https://openalex.org/W2341303790","https://openalex.org/W2031115129","https://openalex.org/W2356842612","https://openalex.org/W2531728244","https://openalex.org/W2066701687","https://openalex.org/W2606151605"],"abstract_inverted_index":{"Cyber-Physical":[0,55],"Systems(CPS)":[1],"are":[2,8,63,108,219],"a":[3,131,208],"group":[4],"of":[5,19,35,47,72,139,210,216,227],"systems":[6,49,87],"that":[7,136,172],"involved":[9],"with":[10,57,125,164],"both":[11,101],"physical":[12,20,102],"processes":[13],"and":[14,22,31,88,103,148,202,225],"computational":[15,23,104],"processes.":[16,105],"The":[17,37,155,184],"interaction":[18],"components":[21,24],"makes":[25],"it":[26,91,120],"difficult":[27],"to":[28,98,122,143,190,195,221],"analyze,":[29],"design":[30,175,193],"verify":[32],"this":[33],"type":[34],"systems.":[36],"problem":[38],"becomes":[39,117],"more":[40],"complex":[41,123],"when":[42,119],"certain":[43],"input":[44],"or":[45],"decision":[46],"these":[48],"must":[50],"be":[51,178],"initiated":[52],"by":[53,112],"human.":[54],"Systems":[56],"human":[58,96],"operator":[59],"in":[60,199],"the":[61,70,115,161,169,174,204,223,228],"loop":[62],"called":[64],"Embedded":[65],"Human":[66],"Systems(EHS).":[67],"To":[68],"ensure":[69],"safety":[71],"EHS":[73,124],"such":[74],"as":[75],"traffic":[76],"control":[77,81,86],"systems,":[78,82],"space":[79],"shuttle":[80],"nuclear":[83],"power":[84],"plant":[85],"so":[89],"on,":[90],"is":[92],"critically":[93],"important":[94,145],"for":[95,207],"operators":[97],"fully":[99],"understand":[100],"However,":[106],"humans":[107],"usually":[109],"easily":[110],"overwhelmed":[111],"concurrent":[113],"information,":[114],"situation":[116],"worse":[118],"comes":[121],"timing":[126],"constraints.":[127],"This":[128],"dissertation":[129],"proposes":[130],"domain":[132],"specific":[133],"modeling":[134,185,229],"language":[135],"takes":[137],"advantage":[138],"hybrid":[140],"system":[141,146,152],"abstraction":[142],"retain":[144],"behaviors":[147],"automatically":[149],"generates":[150],"self-configured":[151],"verification":[153,156,214],"software.":[154],"software":[157],"could":[158],"effectively":[159],"reduce":[160],"computation":[162,170,182],"time":[163],"parallel":[165],"scheduling":[166],"algorithm,":[167],"thus":[168],"process":[171],"violates":[173],"protocol":[176],"can":[177],"halted":[179],"without":[180],"wasting":[181],"resources.":[183],"environment":[186],"also":[187],"allows":[188],"user":[189],"conveniently":[191],"set":[192],"constraints":[194],"avoid":[196],"flaws":[197],"early":[198],"prototype":[200],"phase":[201],"reuse":[203],"available":[205],"model":[206],"family":[209],"different":[211,217],"platforms.":[212],"Several":[213],"results":[215],"platforms":[218],"shown":[220],"demonstrate":[222],"efficiency":[224],"reusability":[226],"environment.":[230]},"counts_by_year":[],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}