{"id":"https://openalex.org/W3156215651","doi":"https://doi.org/10.1007/978-3-030-73539-5_25","title":"Non-functional Attribute Modeling and Verification Method for Integrated Modular Avionics System","display_name":"Non-functional Attribute Modeling and Verification Method for Integrated Modular Avionics System","publication_year":2021,"publication_date":"2021-01-01","ids":{"openalex":"https://openalex.org/W3156215651","doi":"https://doi.org/10.1007/978-3-030-73539-5_25","mag":"3156215651"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-73539-5_25","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-73539-5_25","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Complex Systems Design & Management","raw_type":"book-chapter"},"type":"book-chapter","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/A5016113517","display_name":"Peng Guo","orcid":"https://orcid.org/0009-0007-9361-216X"},"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":true,"raw_author_name":"Peng Guo","raw_affiliation_strings":["Aviation Key Laboratory of Science and Technology on Airborne and Missileborne Computer, School of Computer Science and Technology, Computing Technique Research Institute, AVIC, Nanjing University of Aeronautics and Astronautics, Xi\u2019an, China","Aviation Key Laboratory of Science and Technology on Airborne and Missileborne Computer, School of Computer Science and Technology, Computing Technique Research Institute, AVIC, Nanjing University of Aeronautics and Astronautics, Xi'an, China"],"affiliations":[{"raw_affiliation_string":"Aviation Key Laboratory of Science and Technology on Airborne and Missileborne Computer, School of Computer Science and Technology, Computing Technique Research Institute, AVIC, Nanjing University of Aeronautics and Astronautics, Xi\u2019an, China","institution_ids":["https://openalex.org/I9842412"]},{"raw_affiliation_string":"Aviation Key Laboratory of Science and Technology on Airborne and Missileborne Computer, School of Computer Science and Technology, Computing Technique Research Institute, AVIC, Nanjing University of Aeronautics and Astronautics, Xi'an, China","institution_ids":["https://openalex.org/I9842412"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069230015","display_name":"Feiyang Liu","orcid":"https://orcid.org/0000-0001-8503-7176"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Feiyang Liu","raw_affiliation_strings":["Computing Technique Research Institute, AVIC, Xi\u2019an, China","Computing Technique Research Institute, AVIC, Xi'an, China"],"affiliations":[{"raw_affiliation_string":"Computing Technique Research Institute, AVIC, Xi\u2019an, China","institution_ids":[]},{"raw_affiliation_string":"Computing Technique Research Institute, AVIC, Xi'an, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100644978","display_name":"Wu Na","orcid":"https://orcid.org/0000-0002-9354-3906"},"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":"Na Wu","raw_affiliation_strings":["Aviation Key Laboratory of Science and Technology on Airborne and Missileborne Computer, School of Computer Science and Technology, Computing Technique Research Institute, AVIC, Nanjing University of Aeronautics and Astronautics, Xi\u2019an, China","Aviation Key Laboratory of Science and Technology on Airborne and Missileborne Computer, School of Computer Science and Technology, Computing Technique Research Institute, AVIC, Nanjing University of Aeronautics and Astronautics, Xi'an, China"],"affiliations":[{"raw_affiliation_string":"Aviation Key Laboratory of Science and Technology on Airborne and Missileborne Computer, School of Computer Science and Technology, Computing Technique Research Institute, AVIC, Nanjing University of Aeronautics and Astronautics, Xi\u2019an, China","institution_ids":["https://openalex.org/I9842412"]},{"raw_affiliation_string":"Aviation Key Laboratory of Science and Technology on Airborne and Missileborne Computer, School of Computer Science and Technology, Computing Technique Research Institute, AVIC, Nanjing University of Aeronautics and Astronautics, Xi'an, China","institution_ids":["https://openalex.org/I9842412"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100445687","display_name":"Yahui Li","orcid":"https://orcid.org/0000-0002-7094-4053"},"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":"Yahui Li","raw_affiliation_strings":["Aviation Key Laboratory of Science and Technology on Airborne and Missileborne Computer, School of Computer Science and Technology, Computing Technique Research Institute, AVIC, Nanjing University of Aeronautics and Astronautics, Xi\u2019an, China","Aviation Key Laboratory of Science and Technology on Airborne and Missileborne Computer, School of Computer Science and Technology, Computing Technique Research Institute, AVIC, Nanjing University of Aeronautics and Astronautics, Xi'an, China"],"affiliations":[{"raw_affiliation_string":"Aviation Key Laboratory of Science and Technology on Airborne and Missileborne Computer, School of Computer Science and Technology, Computing Technique Research Institute, AVIC, Nanjing University of Aeronautics and Astronautics, Xi\u2019an, China","institution_ids":["https://openalex.org/I9842412"]},{"raw_affiliation_string":"Aviation Key Laboratory of Science and Technology on Airborne and Missileborne Computer, School of Computer Science and Technology, Computing Technique Research Institute, AVIC, Nanjing University of Aeronautics and Astronautics, Xi'an, China","institution_ids":["https://openalex.org/I9842412"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5044196870","display_name":"Ning Hu","orcid":"https://orcid.org/0000-0002-8355-0969"},"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":"Ning Hu","raw_affiliation_strings":["Aviation Key Laboratory of Science and Technology on Airborne and Missileborne Computer, School of Computer Science and Technology, Computing Technique Research Institute, AVIC, Nanjing University of Aeronautics and Astronautics, Xi\u2019an, China","Aviation Key Laboratory of Science and Technology on Airborne and Missileborne Computer, School of Computer Science and Technology, Computing Technique Research Institute, AVIC, Nanjing University of Aeronautics and Astronautics, Xi'an, China"],"affiliations":[{"raw_affiliation_string":"Aviation Key Laboratory of Science and Technology on Airborne and Missileborne Computer, School of Computer Science and Technology, Computing Technique Research Institute, AVIC, Nanjing University of Aeronautics and Astronautics, Xi\u2019an, China","institution_ids":["https://openalex.org/I9842412"]},{"raw_affiliation_string":"Aviation Key Laboratory of Science and Technology on Airborne and Missileborne Computer, School of Computer Science and Technology, Computing Technique Research Institute, AVIC, Nanjing University of Aeronautics and Astronautics, Xi'an, China","institution_ids":["https://openalex.org/I9842412"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5016113517"],"corresponding_institution_ids":["https://openalex.org/I9842412"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0894526,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"325","last_page":"341"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9950000047683716,"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"}},"topics":[{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9950000047683716,"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/T10142","display_name":"Formal Methods in Verification","score":0.993399977684021,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/integrated-modular-avionics","display_name":"Integrated modular avionics","score":0.8860702514648438},{"id":"https://openalex.org/keywords/avionics","display_name":"Avionics","score":0.8407753109931946},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.607266366481781},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5960469841957092},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.49860167503356934},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.48230862617492676},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.4580496847629547},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.45420926809310913},{"id":"https://openalex.org/keywords/architecture-description-language","display_name":"Architecture description language","score":0.4391687512397766},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.41867417097091675},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.40604156255722046},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3443093001842499},{"id":"https://openalex.org/keywords/software-architecture","display_name":"Software architecture","score":0.30697545409202576},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.28881096839904785},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.19771435856819153},{"id":"https://openalex.org/keywords/reference-architecture","display_name":"Reference architecture","score":0.1834307312965393},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.12002712488174438}],"concepts":[{"id":"https://openalex.org/C189956118","wikidata":"https://www.wikidata.org/wiki/Q1665437","display_name":"Integrated modular avionics","level":3,"score":0.8860702514648438},{"id":"https://openalex.org/C15792166","wikidata":"https://www.wikidata.org/wiki/Q221329","display_name":"Avionics","level":2,"score":0.8407753109931946},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.607266366481781},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5960469841957092},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.49860167503356934},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.48230862617492676},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.4580496847629547},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.45420926809310913},{"id":"https://openalex.org/C185245429","wikidata":"https://www.wikidata.org/wiki/Q362356","display_name":"Architecture description language","level":5,"score":0.4391687512397766},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.41867417097091675},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.40604156255722046},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3443093001842499},{"id":"https://openalex.org/C35869016","wikidata":"https://www.wikidata.org/wiki/Q846636","display_name":"Software architecture","level":3,"score":0.30697545409202576},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.28881096839904785},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.19771435856819153},{"id":"https://openalex.org/C55356503","wikidata":"https://www.wikidata.org/wiki/Q2136675","display_name":"Reference architecture","level":4,"score":0.1834307312965393},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.12002712488174438},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-030-73539-5_25","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-73539-5_25","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Complex Systems Design & Management","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/7","display_name":"Affordable and clean energy","score":0.699999988079071}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W1996763308","https://openalex.org/W1998429448","https://openalex.org/W2053988805","https://openalex.org/W2103788551","https://openalex.org/W2112825873","https://openalex.org/W2131687401","https://openalex.org/W2401072665","https://openalex.org/W2997955816","https://openalex.org/W4231660344","https://openalex.org/W4242692807"],"related_works":["https://openalex.org/W2171139856","https://openalex.org/W4390189023","https://openalex.org/W2111943161","https://openalex.org/W4254629462","https://openalex.org/W2243567758","https://openalex.org/W2186669634","https://openalex.org/W39645217","https://openalex.org/W2042279689","https://openalex.org/W2350969759","https://openalex.org/W2886747446"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}