{"id":"https://openalex.org/W4386214779","doi":"https://doi.org/10.1109/snpd-winter57765.2023.10223779","title":"The Scheduling Analysis Method of Embedded Real-Time System Based on AADL-IO Annex","display_name":"The Scheduling Analysis Method of Embedded Real-Time System Based on AADL-IO Annex","publication_year":2023,"publication_date":"2023-07-05","ids":{"openalex":"https://openalex.org/W4386214779","doi":"https://doi.org/10.1109/snpd-winter57765.2023.10223779"},"language":"en","primary_location":{"id":"doi:10.1109/snpd-winter57765.2023.10223779","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/snpd-winter57765.2023.10223779","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 26th ACIS International Winter Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD-Winter)","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/A5104547044","display_name":"Guo Peng","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Guo Peng","raw_affiliation_strings":["School of Computer Science and Technology, NUAA, Computing Technique Research Institute, AVIC,Xi'an,China"],"affiliations":[{"raw_affiliation_string":"School of Computer Science and Technology, NUAA, Computing Technique Research Institute, AVIC,Xi'an,China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100653577","display_name":"Zhang Xiao","orcid":"https://orcid.org/0000-0002-2854-3344"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhang Xiao","raw_affiliation_strings":["Computing Technique Research Institute, AVIC,Xi'an,China"],"affiliations":[{"raw_affiliation_string":"Computing Technique Research Institute, AVIC,Xi'an,China","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100631310","display_name":"Yang Wang","orcid":"https://orcid.org/0009-0001-5294-0331"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wang Yang","raw_affiliation_strings":["Computing Technique Research Institute, AVIC,Xi'an,China"],"affiliations":[{"raw_affiliation_string":"Computing Technique Research Institute, AVIC,Xi'an,China","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5104547044"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.11243719,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"211","last_page":"215"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9740999937057495,"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"}},"topics":[{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9740999937057495,"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"}},{"id":"https://openalex.org/T12810","display_name":"Real-time simulation and control systems","score":0.9114999771118164,"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/correctness","display_name":"Correctness","score":0.8686895370483398},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.838387131690979},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.6351709365844727},{"id":"https://openalex.org/keywords/embedded-software","display_name":"Embedded software","score":0.5238081216812134},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.5231581926345825},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5056624412536621},{"id":"https://openalex.org/keywords/real-time-operating-system","display_name":"Real-time operating system","score":0.503417432308197},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.45354217290878296},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4416262209415436},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.438809871673584},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.250222384929657},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1859034299850464},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.09533339738845825},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.07250025868415833}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8686895370483398},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.838387131690979},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.6351709365844727},{"id":"https://openalex.org/C154488198","wikidata":"https://www.wikidata.org/wiki/Q1335007","display_name":"Embedded software","level":3,"score":0.5238081216812134},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.5231581926345825},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5056624412536621},{"id":"https://openalex.org/C28472234","wikidata":"https://www.wikidata.org/wiki/Q213666","display_name":"Real-time operating system","level":2,"score":0.503417432308197},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.45354217290878296},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4416262209415436},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.438809871673584},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.250222384929657},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1859034299850464},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.09533339738845825},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.07250025868415833},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/snpd-winter57765.2023.10223779","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/snpd-winter57765.2023.10223779","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 26th ACIS International Winter Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD-Winter)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.5199999809265137}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":2,"referenced_works":["https://openalex.org/W2142574066","https://openalex.org/W3160755080"],"related_works":["https://openalex.org/W2143442623","https://openalex.org/W2140373800","https://openalex.org/W2152523476","https://openalex.org/W2062099326","https://openalex.org/W2125523438","https://openalex.org/W2619396699","https://openalex.org/W2101817659","https://openalex.org/W3143921161","https://openalex.org/W2621956060","https://openalex.org/W4210596147"],"abstract_inverted_index":{"The":[0,37,114],"embedded":[1,34,62,96],"real-time":[2,35,63,97],"system":[3,98],"not":[4],"only":[5],"pays":[6,17],"attention":[7,18],"to":[8,19,102],"the":[9,20,104,109,120,132],"correctness":[10,21,105],"of":[11,22,30,61,76,85,108,123,127,134],"software":[12,23],"task":[13,24],"function,":[14],"but":[15],"also":[16],"timing.":[25],"There":[26],"are":[27,44],"a":[28,57,94],"lot":[29],"IO":[31,52,86,128],"resources":[32,87],"in":[33,73,111,116,125],"systems.":[36],"existing":[38],"scheduling":[39,58],"modeling":[40,121],"and":[41,78,106,130],"analysis":[42,59,83],"methods":[43],"mainly":[45],"aimed":[46],"at":[47],"tasks":[48],"themself,":[49],"without":[50],"focusing":[51],"resources.":[53],"This":[54],"paper":[55,118],"proposes":[56],"method":[60,84,110,115],"systems":[64],"based":[65,89],"on":[66,90],"AADL-IO":[67,69],"Annex.":[68],"Annex":[70],"is":[71,88,100],"designed":[72],"two":[74],"forms":[75],"meta-model":[77],"extended":[79],"Backus":[80],"paradigm.":[81],"Scheduling":[82,135],"time":[91],"automata.":[92],"Finally,":[93],"public":[95],"case":[99],"selected":[101],"verify":[103],"feasibility":[107],"this":[112,117],"paper.":[113],"expands":[119],"capabilities":[122],"AADL":[124],"terms":[126],"resources,":[129],"improves":[131],"fidelity":[133],"analysis.":[136]},"counts_by_year":[],"updated_date":"2025-12-24T23:09:58.560324","created_date":"2025-10-10T00:00:00"}