{"id":"https://openalex.org/W4415744041","doi":"https://doi.org/10.1109/qrs-c65679.2025.00069","title":"Modeling and Pattern-Based Refinement of Software Architectures for Aerospace Control Systems","display_name":"Modeling and Pattern-Based Refinement of Software Architectures for Aerospace Control Systems","publication_year":2025,"publication_date":"2025-07-16","ids":{"openalex":"https://openalex.org/W4415744041","doi":"https://doi.org/10.1109/qrs-c65679.2025.00069"},"language":null,"primary_location":{"id":"doi:10.1109/qrs-c65679.2025.00069","is_oa":false,"landing_page_url":"https://doi.org/10.1109/qrs-c65679.2025.00069","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 25th International Conference on Software Quality, Reliability, and Security Companion (QRS-C)","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/A5012181033","display_name":"Yunwei Dong","orcid":null},"institutions":[{"id":"https://openalex.org/I17145004","display_name":"Northwestern Polytechnical University","ror":"https://ror.org/01y0j0j86","country_code":"CN","type":"education","lineage":["https://openalex.org/I17145004"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Yunwei Dong","raw_affiliation_strings":["Northwestern Polytechnical University,School of Software,Xi’an,China"],"affiliations":[{"raw_affiliation_string":"Northwestern Polytechnical University,School of Software,Xi’an,China","institution_ids":["https://openalex.org/I17145004"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Bingxu Xiao","orcid":null},"institutions":[{"id":"https://openalex.org/I17145004","display_name":"Northwestern Polytechnical University","ror":"https://ror.org/01y0j0j86","country_code":"CN","type":"education","lineage":["https://openalex.org/I17145004"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Bingxu Xiao","raw_affiliation_strings":["Northwestern Polytechnical University,School of Software,Xi’an,China"],"affiliations":[{"raw_affiliation_string":"Northwestern Polytechnical University,School of Software,Xi’an,China","institution_ids":["https://openalex.org/I17145004"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100459925","display_name":"Xiaoping Wang","orcid":"https://orcid.org/0000-0002-8853-8926"},"institutions":[{"id":"https://openalex.org/I17145004","display_name":"Northwestern Polytechnical University","ror":"https://ror.org/01y0j0j86","country_code":"CN","type":"education","lineage":["https://openalex.org/I17145004"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiao Wang","raw_affiliation_strings":["Northwestern Polytechnical University,School of Computer Science,Xi’an,China"],"affiliations":[{"raw_affiliation_string":"Northwestern Polytechnical University,School of Computer Science,Xi’an,China","institution_ids":["https://openalex.org/I17145004"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100347685","display_name":"Xiaofeng Li","orcid":"https://orcid.org/0000-0002-3445-0718"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xiaofeng Li","raw_affiliation_strings":["Beijing Institute of Control Engineering,Beijing,China"],"affiliations":[{"raw_affiliation_string":"Beijing Institute of Control Engineering,Beijing,China","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5012181033"],"corresponding_institution_ids":["https://openalex.org/I17145004"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.16253547,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"511","last_page":"520"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.4514999985694885,"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"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.4514999985694885,"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"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.10450000315904617,"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/T12000","display_name":"Systems Engineering Methodologies and Applications","score":0.0892999991774559,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/aerospace","display_name":"Aerospace","score":0.6122000217437744},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.4431999921798706},{"id":"https://openalex.org/keywords/kernel","display_name":"Kernel (algebra)","score":0.42579999566078186},{"id":"https://openalex.org/keywords/modeling-language","display_name":"Modeling language","score":0.4251999855041504},{"id":"https://openalex.org/keywords/syntax","display_name":"Syntax","score":0.42500001192092896},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.41609999537467957},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.40389999747276306},{"id":"https://openalex.org/keywords/software-architecture","display_name":"Software architecture","score":0.382099986076355},{"id":"https://openalex.org/keywords/data-modeling","display_name":"Data modeling","score":0.38100001215934753}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6800000071525574},{"id":"https://openalex.org/C167740415","wikidata":"https://www.wikidata.org/wiki/Q2876213","display_name":"Aerospace","level":2,"score":0.6122000217437744},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.4431999921798706},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.44179999828338623},{"id":"https://openalex.org/C74193536","wikidata":"https://www.wikidata.org/wiki/Q574844","display_name":"Kernel (algebra)","level":2,"score":0.42579999566078186},{"id":"https://openalex.org/C179603123","wikidata":"https://www.wikidata.org/wiki/Q1941921","display_name":"Modeling language","level":3,"score":0.4251999855041504},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.42500001192092896},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.41609999537467957},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.4058000147342682},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.40389999747276306},{"id":"https://openalex.org/C35869016","wikidata":"https://www.wikidata.org/wiki/Q846636","display_name":"Software architecture","level":3,"score":0.382099986076355},{"id":"https://openalex.org/C67186912","wikidata":"https://www.wikidata.org/wiki/Q367664","display_name":"Data modeling","level":2,"score":0.38100001215934753},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.36160001158714294},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.361299991607666},{"id":"https://openalex.org/C174683762","wikidata":"https://www.wikidata.org/wiki/Q609588","display_name":"Component-based software engineering","level":4,"score":0.35850000381469727},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.3407000005245209},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.33889999985694885},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.33640000224113464},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.32510000467300415},{"id":"https://openalex.org/C509989072","wikidata":"https://www.wikidata.org/wiki/Q15188241","display_name":"Model-driven architecture","level":4,"score":0.3156999945640564},{"id":"https://openalex.org/C98025372","wikidata":"https://www.wikidata.org/wiki/Q477538","display_name":"Systems architecture","level":3,"score":0.311599999666214},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.3084000051021576},{"id":"https://openalex.org/C185245429","wikidata":"https://www.wikidata.org/wiki/Q362356","display_name":"Architecture description language","level":5,"score":0.3046000003814697},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.29260000586509705},{"id":"https://openalex.org/C110963975","wikidata":"https://www.wikidata.org/wiki/Q12070446","display_name":"Systems modeling","level":2,"score":0.29019999504089355},{"id":"https://openalex.org/C114408938","wikidata":"https://www.wikidata.org/wiki/Q333373","display_name":"Abstract syntax","level":3,"score":0.2870999872684479},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.28360000252723694},{"id":"https://openalex.org/C21659813","wikidata":"https://www.wikidata.org/wiki/Q7455644","display_name":"Service-oriented modeling","level":5,"score":0.27959999442100525},{"id":"https://openalex.org/C154488198","wikidata":"https://www.wikidata.org/wiki/Q1335007","display_name":"Embedded software","level":3,"score":0.2678999900817871},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.2605000138282776},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.2578999996185303},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.25760000944137573}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/qrs-c65679.2025.00069","is_oa":false,"landing_page_url":"https://doi.org/10.1109/qrs-c65679.2025.00069","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 25th International Conference on Software Quality, Reliability, and Security Companion (QRS-C)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W1487672899","https://openalex.org/W1790036759","https://openalex.org/W2004239078","https://openalex.org/W2045000744","https://openalex.org/W2047193350","https://openalex.org/W2115603783","https://openalex.org/W2150738847","https://openalex.org/W2766499943","https://openalex.org/W2898495039","https://openalex.org/W2970167556","https://openalex.org/W2978072455","https://openalex.org/W4242692807"],"related_works":[],"abstract_inverted_index":{"Aerospace":[0],"embedded":[1],"control":[2,12,34,41,126,142],"systems":[3],"demand":[4],"precise":[5],"and":[6,11,17,36,39,81,87,107,116,131],"efficient":[7],"modeling":[8,22,61,89,114],"of":[9,30,133],"data":[10],"flows":[13],"to":[14,25,84,104,139],"ensure":[15],"safety":[16],"development":[18],"efficiency.":[19],"Existing":[20],"architectural":[21,60,110],"approaches":[23],"struggle":[24],"capture":[26],"the":[27,37,71,129],"dynamic":[28],"behavior":[29],"state":[31],"variables":[32],"across":[33],"cycles":[35],"exclusive-or":[38],"synchronous":[40,65],"logic":[42],"within":[43],"cycles,":[44],"while":[45],"their":[46],"complex":[47],"syntax":[48,80],"hinders":[49],"practical":[50],"adoption.":[51],"To":[52],"address":[53],"these":[54],"limitations,":[55],"we":[56,92],"propose":[57],"a":[58,94,122],"lightweight":[59],"approach":[62],"grounded":[63],"in":[64],"reactive":[66],"component":[67],"theory.":[68],"We":[69],"introduce":[70],"Control":[72],"Software":[73],"Architecture":[74],"Modeling":[75],"Language":[76],"(CSAML),":[77],"featuring":[78],"concise":[79],"well-defined":[82],"semantics":[83],"enhance":[85],"expressiveness":[86],"reduce":[88],"complexity.":[90],"Additionally,":[91],"present":[93],"novel":[95],"pattern-based":[96],"refinement":[97],"method":[98],"that":[99],"leverages":[100],"graph":[101],"kernel":[102],"similarity":[103],"automatically":[105],"identify":[106],"integrate":[108],"reusable":[109],"patterns,":[111],"significantly":[112],"improving":[113],"efficiency":[115],"consistency.":[117],"A":[118],"case":[119],"study":[120],"on":[121],"solar":[123],"search":[124],"satellite":[125],"system":[127,143],"demonstrates":[128],"practicality":[130],"effectiveness":[132],"our":[134],"approach,":[135],"showcasing":[136],"its":[137],"potential":[138],"advance":[140],"aerospace":[141],"modeling.":[144]},"counts_by_year":[],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-31T00:00:00"}