{"id":"https://openalex.org/W3126251245","doi":"https://doi.org/10.1145/3443467.3443918","title":"AADL and Modelica model combination and model conversion based on CPS","display_name":"AADL and Modelica model combination and model conversion based on CPS","publication_year":2020,"publication_date":"2020-11-06","ids":{"openalex":"https://openalex.org/W3126251245","doi":"https://doi.org/10.1145/3443467.3443918","mag":"3126251245"},"language":"en","primary_location":{"id":"doi:10.1145/3443467.3443918","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3443467.3443918","pdf_url":null,"source":{"id":"https://openalex.org/S4306523680","display_name":"Proceedings of the 2020 4th International Conference on Electronic Information Technology and Computer Engineering","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":"Proceedings of the 2020 4th International Conference on Electronic Information Technology and Computer Engineering","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/A5100554190","display_name":"Zhu Yifeng","orcid":null},"institutions":[{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yifeng Zhu","raw_affiliation_strings":["College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China","institution_ids":["https://openalex.org/I9842412"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017248361","display_name":"Zining Cao","orcid":"https://orcid.org/0000-0002-4673-200X"},"institutions":[{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zining Cao","raw_affiliation_strings":["College of Computer Science and Technology, Collaborative Innovation Center of Novel Software Technology and Industrialization, MIIT Key Laboratory of Pattern Analysis and Machine Intelligence, Nanjing University of Aeronautics and Astronautics and Science and Technology on Electro-optic Control Laboratory, Luoyang, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, Collaborative Innovation Center of Novel Software Technology and Industrialization, MIIT Key Laboratory of Pattern Analysis and Machine Intelligence, Nanjing University of Aeronautics and Astronautics and Science and Technology on Electro-optic Control Laboratory, Luoyang, China","institution_ids":["https://openalex.org/I9842412"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100717597","display_name":"Fujun Wang","orcid":"https://orcid.org/0000-0001-9902-3859"},"institutions":[{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Fujun Wang","raw_affiliation_strings":["College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China","institution_ids":["https://openalex.org/I9842412"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101513482","display_name":"Weiwei L\u00fc","orcid":"https://orcid.org/0000-0003-0107-8486"},"institutions":[{"id":"https://openalex.org/I4210120442","display_name":"AVIC Optronics (China)","ror":"https://ror.org/0338ntq56","country_code":"CN","type":"company","lineage":["https://openalex.org/I4210120442"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Weiwei Lu","raw_affiliation_strings":["Science and Technology on Electro-optic Control Laboratory, Luoyang, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Science and Technology on Electro-optic Control Laboratory, Luoyang, China","institution_ids":["https://openalex.org/I4210120442"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.28117583,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1136","last_page":"1140"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"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/T13286","display_name":"Modeling and Simulation Systems","score":0.9965999722480774,"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.9922999739646912,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8017714023590088},{"id":"https://openalex.org/keywords/modelica","display_name":"Modelica","score":0.7131378650665283},{"id":"https://openalex.org/keywords/bisimulation","display_name":"Bisimulation","score":0.6514194011688232},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.6382625102996826},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.5287808179855347},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.5008494853973389},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.48499175906181335},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.434403657913208},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.40951040387153625},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3619711101055145},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2946456968784332},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1600748598575592},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.09818926453590393}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8017714023590088},{"id":"https://openalex.org/C37785467","wikidata":"https://www.wikidata.org/wiki/Q385325","display_name":"Modelica","level":2,"score":0.7131378650665283},{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.6514194011688232},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.6382625102996826},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.5287808179855347},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.5008494853973389},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.48499175906181335},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.434403657913208},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.40951040387153625},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3619711101055145},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2946456968784332},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1600748598575592},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.09818926453590393},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3443467.3443918","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3443467.3443918","pdf_url":null,"source":{"id":"https://openalex.org/S4306523680","display_name":"Proceedings of the 2020 4th International Conference on Electronic Information Technology and Computer Engineering","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":"Proceedings of the 2020 4th International Conference on Electronic Information Technology and Computer Engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5799999833106995,"display_name":"Decent work and economic growth","id":"https://metadata.un.org/sdg/8"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W1842822917","https://openalex.org/W1973642705","https://openalex.org/W1996058353","https://openalex.org/W2085756368","https://openalex.org/W2151250495","https://openalex.org/W2159079542","https://openalex.org/W3189981105","https://openalex.org/W4242692807"],"related_works":["https://openalex.org/W2604841551","https://openalex.org/W2089409100","https://openalex.org/W2124122503","https://openalex.org/W2162510824","https://openalex.org/W1524401886","https://openalex.org/W2746280673","https://openalex.org/W1594593035","https://openalex.org/W2152996796","https://openalex.org/W2560415449","https://openalex.org/W2037121848"],"abstract_inverted_index":{"Cyber-Physical":[0],"System":[1],"(CPS),":[2],"which":[3],"realizes":[4],"the":[5,80,93,103,110,118,123,137,140,143,149,154,161,170],"close":[6],"integration":[7],"of":[8,82,105,113,122,131,142,151,153,158,163],"physical":[9,43],"resources":[10],"and":[11,17,26,38,76,85,101,107,120,160],"information":[12,36],"resources,":[13],"is":[14,167],"a":[15],"distributed":[16],"asynchronous":[18],"dynamic":[19],"hybrid":[20,96],"system":[21,37],"running":[22],"in":[23,88],"different":[24],"time":[25],"space.":[27],"In":[28,126],"this":[29,63,90],"paper,":[30],"we":[31,53,65,116],"use":[32,39],"AADL":[33,159],"to":[34,41,68,79,109,128,165],"model":[35,42,124,135],"Modelica":[40],"system.":[44,172],"However,":[45],"they":[46],"are":[47],"all":[48],"semi-formal":[49],"models":[50,70,145],"such":[51],"that":[52],"cannot":[54],"do":[55],"future":[56],"work":[57,133],"about":[58,134],"formal":[59,69,99],"verification.":[60],"To":[61],"overcome":[62],"defect,":[64],"convert":[66],"them":[67],"like":[71],"automaton":[72,97,166],"through":[73],"conversion":[74,164],"algorithms":[75],"rules.":[77],"Due":[78],"fact":[81],"probabilistic":[83,95],"events":[84],"resource":[86],"consumption":[87],"CPS,":[89],"paper":[91,138],"adopts":[92],"weighted":[94],"as":[98],"model,":[100],"adds":[102],"properties":[104],"probability":[106],"weight":[108],"behavior":[111],"annex":[112],"AADL.":[114],"Then":[115],"conduct":[117],"rule":[119],"algorithm":[121],"conversion.":[125],"order":[127],"ensure":[129],"consistency":[130],"further":[132],"checking,":[136],"prove":[139],"equivalence":[141],"two":[144],"by":[146,169],"bisimulation.":[147],"Finally,":[148],"capability":[150],"modeling":[152,156],"extended":[155],"language":[157],"significance":[162],"illustrated":[168],"aircraft":[171]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}