{"id":"https://openalex.org/W2040212562","doi":"https://doi.org/10.1109/dasc.2013.78","title":"View Oriented Approach to Specify and Model Aerospace Cyber-physical Systems","display_name":"View Oriented Approach to Specify and Model Aerospace Cyber-physical Systems","publication_year":2013,"publication_date":"2013-12-01","ids":{"openalex":"https://openalex.org/W2040212562","doi":"https://doi.org/10.1109/dasc.2013.78","mag":"2040212562"},"language":"en","primary_location":{"id":"doi:10.1109/dasc.2013.78","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dasc.2013.78","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 IEEE 11th International Conference on Dependable, Autonomic and Secure Computing","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/A5100320388","display_name":"Lichen Zhang","orcid":"https://orcid.org/0000-0002-6711-0533"},"institutions":[{"id":"https://openalex.org/I139024713","display_name":"Guangdong University of Technology","ror":"https://ror.org/04azbjn80","country_code":"CN","type":"education","lineage":["https://openalex.org/I139024713"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Lichen Zhang","raw_affiliation_strings":["Faculty of Computer Science and Technology, Guangdong University of Technology, Guanzzhou, China","Fac. of Comput. Sci. & Technol., Guangdong Univ. of Technol., Guangzhou, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Computer Science and Technology, Guangdong University of Technology, Guanzzhou, China","institution_ids":["https://openalex.org/I139024713"]},{"raw_affiliation_string":"Fac. of Comput. Sci. & Technol., Guangdong Univ. of Technol., Guangzhou, China","institution_ids":["https://openalex.org/I139024713"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5100320388"],"corresponding_institution_ids":["https://openalex.org/I139024713"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"296","last_page":"303"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13286","display_name":"Modeling and Simulation Systems","score":0.9994999766349792,"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/T13286","display_name":"Modeling and Simulation Systems","score":0.9994999766349792,"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/T11195","display_name":"Simulation Techniques and Applications","score":0.9975000023841858,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9965999722480774,"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/modelica","display_name":"Modelica","score":0.8493449687957764},{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.8344460129737854},{"id":"https://openalex.org/keywords/aerospace","display_name":"Aerospace","score":0.7772508263587952},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6968954801559448},{"id":"https://openalex.org/keywords/physical-system","display_name":"Physical system","score":0.5781041979789734},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.5320098400115967},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.5023038387298584},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.48828959465026855},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4745398759841919},{"id":"https://openalex.org/keywords/modeling-and-simulation","display_name":"Modeling and simulation","score":0.44212788343429565},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.42180949449539185},{"id":"https://openalex.org/keywords/modeling-language","display_name":"Modeling language","score":0.41156119108200073},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.34644848108291626},{"id":"https://openalex.org/keywords/simulation","display_name":"Simulation","score":0.28180480003356934},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.20939326286315918},{"id":"https://openalex.org/keywords/aerospace-engineering","display_name":"Aerospace engineering","score":0.17420989274978638},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.15387269854545593},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1265656054019928},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.0873485803604126}],"concepts":[{"id":"https://openalex.org/C37785467","wikidata":"https://www.wikidata.org/wiki/Q385325","display_name":"Modelica","level":2,"score":0.8493449687957764},{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.8344460129737854},{"id":"https://openalex.org/C167740415","wikidata":"https://www.wikidata.org/wiki/Q2876213","display_name":"Aerospace","level":2,"score":0.7772508263587952},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6968954801559448},{"id":"https://openalex.org/C116672817","wikidata":"https://www.wikidata.org/wiki/Q1454986","display_name":"Physical system","level":2,"score":0.5781041979789734},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.5320098400115967},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.5023038387298584},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.48828959465026855},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4745398759841919},{"id":"https://openalex.org/C167343916","wikidata":"https://www.wikidata.org/wiki/Q6888384","display_name":"Modeling and simulation","level":2,"score":0.44212788343429565},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.42180949449539185},{"id":"https://openalex.org/C179603123","wikidata":"https://www.wikidata.org/wiki/Q1941921","display_name":"Modeling language","level":3,"score":0.41156119108200073},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.34644848108291626},{"id":"https://openalex.org/C44154836","wikidata":"https://www.wikidata.org/wiki/Q45045","display_name":"Simulation","level":1,"score":0.28180480003356934},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.20939326286315918},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.17420989274978638},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.15387269854545593},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1265656054019928},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0873485803604126},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","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/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/dasc.2013.78","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dasc.2013.78","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 IEEE 11th International Conference on Dependable, Autonomic and Secure Computing","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":13,"referenced_works":["https://openalex.org/W3986271","https://openalex.org/W188358383","https://openalex.org/W1824352287","https://openalex.org/W1996058353","https://openalex.org/W2098666557","https://openalex.org/W2108096428","https://openalex.org/W2122436896","https://openalex.org/W2162138177","https://openalex.org/W2165258406","https://openalex.org/W2243081709","https://openalex.org/W4245373402","https://openalex.org/W4246685210","https://openalex.org/W6607680659"],"related_works":["https://openalex.org/W2036879707","https://openalex.org/W1880349104","https://openalex.org/W2137634858","https://openalex.org/W2108096428","https://openalex.org/W3125220686","https://openalex.org/W2384334968","https://openalex.org/W1526012445","https://openalex.org/W2182715774","https://openalex.org/W4235936626","https://openalex.org/W2171461415"],"abstract_inverted_index":{"The":[0,191],"analysis":[1,52],"and":[2,17,29,53,74,109,121,182,206,217,225],"design":[3,54,142],"of":[4,14,36,48,63,65,78,130,140,152,178,193,200],"aerospace":[5,87,184],"cyber":[6,31,88,111,185,235],"physical":[7,26,72,79,89,107,186,228],"systems":[8,90,187],"call":[9],"for":[10],"the":[11,25,30,60,71,75,106,110,128,137,141,194,208,219,227,234],"proper":[12],"dimensioning":[13],"mechanical,":[15],"electronic":[16],"embedded":[18],"control":[19],"subsystems":[20],"from":[21,159],"different":[22,66,153,160,173,176],"views.":[23,161],"Usually,":[24],"world":[27,80,108,229],"part":[28,32,112,236],"are":[33,57],"modeled":[34,231,238],"independently":[35],"each":[37],"others.":[38],"This":[39],"modeling":[40,122,207],"approach":[41,123,158,170,195],"does":[42],"not":[43],"exploit":[44],"many":[45],"potential":[46],"advantages":[47],"an":[49,118],"integrated":[50,172],"specification,":[51],"process,":[55],"which":[56],"lost":[58],"in":[59,86,136,155],"separate":[61],"points":[62],"view":[64,168],"engineering":[67],"domains.":[68],"In":[69,162,212],"fact,":[70],"properties":[73],"dynamical":[76],"behavior":[77],"parts":[81],"play":[82],"a":[83,150,156,167,189],"central":[84],"role":[85],"development":[91],"process.":[92,143],"Thus,":[93],"significant":[94],"improvements":[95],"to":[96,148,171,180],"overall":[97],"system":[98],"performances":[99],"can":[100],"be":[101,125],"obtained":[102],"by":[103,198,232,239],"early":[104,138],"integrating":[105,223],"development.":[113],"It":[114],"is":[115,146,196,230,237],"clear":[116],"that":[117],"appropriate":[119],"specification":[120],"cannot":[124],"fitted":[126],"into":[127],"limitations":[129],"one":[131,201],"formalism":[132],"at":[133,175],"time,":[134],"particularly":[135],"stages":[139],"Hence,":[144],"it":[145],"necessary":[147],"take":[149],"combination":[151],"methodologies":[154],"multi-formalism":[157],"this":[163,213],"paper,":[164,214],"we":[165,215],"propose":[166],"oriented":[169],"models,":[174],"level":[177],"details":[179],"specify":[181,216],"model":[183,218],"as":[188],"whole.":[190],"effectiveness":[192],"illustrated":[197],"means":[199],"practical":[202],"case":[203],"study:":[204],"specifying":[205],"lunar":[209,220],"rover":[210,221],"system.":[211],"with":[222],"Modelica":[224],"AADL,":[226],"Modelica,":[233],"AADL.":[240]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}