{"id":"https://openalex.org/W2123813346","doi":"https://doi.org/10.1109/tii.2008.2010519","title":"A Hierarchical Framework for Design Space Exploration and Optimization of TTP-Based Distributed Embedded Systems","display_name":"A Hierarchical Framework for Design Space Exploration and Optimization of TTP-Based Distributed Embedded Systems","publication_year":2008,"publication_date":"2008-11-01","ids":{"openalex":"https://openalex.org/W2123813346","doi":"https://doi.org/10.1109/tii.2008.2010519","mag":"2123813346"},"language":"en","primary_location":{"id":"doi:10.1109/tii.2008.2010519","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tii.2008.2010519","pdf_url":null,"source":{"id":"https://openalex.org/S184777250","display_name":"IEEE Transactions on Industrial Informatics","issn_l":"1551-3203","issn":["1551-3203","1941-0050"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Industrial Informatics","raw_type":"journal-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/A5014618966","display_name":"Xiuqiang He","orcid":"https://orcid.org/0000-0002-3755-7553"},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["HK"],"is_corresponding":true,"raw_author_name":"Xiuqiang He","raw_affiliation_strings":["Department of Computer Science and Engineering, Hong Kong University of Science and Technology, Hong Kong, China","[Department of Computer Science & Engineering, Hong Kong University of Science and Technology, Hong Kong.]"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Hong Kong University of Science and Technology, Hong Kong, China","institution_ids":["https://openalex.org/I200769079"]},{"raw_affiliation_string":"[Department of Computer Science & Engineering, Hong Kong University of Science and Technology, Hong Kong.]","institution_ids":["https://openalex.org/I200769079"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109233250","display_name":"Mingxuan Yuan","orcid":null},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Mingxuan Yuan","raw_affiliation_strings":["Department of Computer Science and Engineering, Hong Kong University of Science and Technology, Hong Kong, China","[Department of Computer Science & Engineering, Hong Kong University of Science and Technology, Hong Kong.]"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Hong Kong University of Science and Technology, Hong Kong, China","institution_ids":["https://openalex.org/I200769079"]},{"raw_affiliation_string":"[Department of Computer Science & Engineering, Hong Kong University of Science and Technology, Hong Kong.]","institution_ids":["https://openalex.org/I200769079"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5029808393","display_name":"Zonghua Gu","orcid":"https://orcid.org/0000-0003-4228-2774"},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Zonghua Gu","raw_affiliation_strings":["Department of Computer Science and Engineering, Hong Kong University of Science and Technology, Hong Kong, China","[Department of Computer Science & Engineering, Hong Kong University of Science and Technology, Hong Kong.]"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Hong Kong University of Science and Technology, Hong Kong, China","institution_ids":["https://openalex.org/I200769079"]},{"raw_affiliation_string":"[Department of Computer Science & Engineering, Hong Kong University of Science and Technology, Hong Kong.]","institution_ids":["https://openalex.org/I200769079"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5014618966"],"corresponding_institution_ids":["https://openalex.org/I200769079"],"apc_list":null,"apc_paid":null,"fwci":1.0361,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.81053109,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"4","issue":"4","first_page":"237","last_page":"249"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":1.0,"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":1.0,"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/T10142","display_name":"Formal Methods in Verification","score":0.9991000294685364,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.998199999332428,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7775393128395081},{"id":"https://openalex.org/keywords/schedule","display_name":"Schedule","score":0.5423963069915771},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.5166885852813721},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.513694167137146},{"id":"https://openalex.org/keywords/system-bus","display_name":"System bus","score":0.5130687952041626},{"id":"https://openalex.org/keywords/time-division-multiple-access","display_name":"Time division multiple access","score":0.45809680223464966},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.43772655725479126},{"id":"https://openalex.org/keywords/avionics","display_name":"Avionics","score":0.4238611161708832},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.41284868121147156},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.37241584062576294},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.1863137185573578},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.11592015624046326},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.1048816442489624},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.09833469986915588}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7775393128395081},{"id":"https://openalex.org/C68387754","wikidata":"https://www.wikidata.org/wiki/Q7271585","display_name":"Schedule","level":2,"score":0.5423963069915771},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.5166885852813721},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.513694167137146},{"id":"https://openalex.org/C136321198","wikidata":"https://www.wikidata.org/wiki/Q2377054","display_name":"System bus","level":2,"score":0.5130687952041626},{"id":"https://openalex.org/C117313154","wikidata":"https://www.wikidata.org/wiki/Q878344","display_name":"Time division multiple access","level":2,"score":0.45809680223464966},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.43772655725479126},{"id":"https://openalex.org/C15792166","wikidata":"https://www.wikidata.org/wiki/Q221329","display_name":"Avionics","level":2,"score":0.4238611161708832},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.41284868121147156},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.37241584062576294},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.1863137185573578},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.11592015624046326},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.1048816442489624},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.09833469986915588},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tii.2008.2010519","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tii.2008.2010519","pdf_url":null,"source":{"id":"https://openalex.org/S184777250","display_name":"IEEE Transactions on Industrial Informatics","issn_l":"1551-3203","issn":["1551-3203","1941-0050"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Industrial Informatics","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.216.7849","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.216.7849","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.ust.hk/~zgu/paper/He_TII08.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W1582450315","https://openalex.org/W1606581042","https://openalex.org/W1952110674","https://openalex.org/W1980310053","https://openalex.org/W1998431535","https://openalex.org/W2053913299","https://openalex.org/W2077606348","https://openalex.org/W2089335052","https://openalex.org/W2091585705","https://openalex.org/W2104529658","https://openalex.org/W2119237467","https://openalex.org/W2125967324","https://openalex.org/W2142386205","https://openalex.org/W2144327181","https://openalex.org/W2148147784","https://openalex.org/W2165172064","https://openalex.org/W2166440675","https://openalex.org/W2169427658","https://openalex.org/W2336850053","https://openalex.org/W3144161048","https://openalex.org/W4243803102"],"related_works":["https://openalex.org/W1589297475","https://openalex.org/W2330706584","https://openalex.org/W2903497870","https://openalex.org/W245398706","https://openalex.org/W4384027400","https://openalex.org/W2099643756","https://openalex.org/W2365984218","https://openalex.org/W2000706629","https://openalex.org/W2076036887","https://openalex.org/W2371817079"],"abstract_inverted_index":{"Time-triggered":[0],"protocol":[1,10],"(TTP)":[2],"is":[3,88,157],"a":[4,34,95,112,119,123,139,145],"time-division":[5],"multiple":[6],"access":[7,46,128],"(TDMA)-based":[8],"bus":[9,45,76,108,127],"designed":[11],"for":[12,26,64,138],"use":[13],"in":[14],"safety-critical":[15],"avionics":[16],"and":[17,44,118,130],"automotive":[18],"distributed":[19,28,66],"embedded":[20,29,67],"systems.":[21],"Design":[22],"space":[23,37],"exploration":[24],"(DSE)":[25],"TTP-based":[27,65],"system":[30],"involves":[31],"searching":[32],"through":[33],"vast":[35],"design":[36,51],"of":[38,72,98,121,126],"possible":[39],"task-to-CPU":[40,141],"mappings,":[41],"task/message":[42,131],"schedules":[43],"configurations":[47],"to":[48,90,101,104,159],"achieve":[49],"certain":[50],"objectives.":[52],"In":[53],"this":[54],"paper,":[55],"we":[56],"present":[57],"an":[58,80,134],"efficient":[59],"two-level":[60],"hierarchical":[61],"DSE":[62],"framework":[63],"systems,":[68],"with":[69,111,144,161],"the":[70,74,92,106],"objective":[71],"minimizing":[73],"total":[75,107],"utilization":[77],"while":[78],"meeting":[79],"end-to-end":[81,135],"deadline":[82,136],"constraint.":[83],"Logic-based":[84],"Benders":[85],"decomposition":[86],"(LBBD)":[87],"used":[89],"divide":[91],"problem":[93,97],"into":[94],"master":[96],"mapping":[99],"tasks":[100],"CPU":[102],"nodes":[103],"minimize":[105],"utilization,":[109],"solved":[110,143],"satisfiability":[113],"modulo":[114],"theories":[115],"(SMT)":[116],"solver,":[117],"subproblem":[120],"finding":[122],"feasible":[124],"solution":[125],"configuration":[129],"schedule":[132],"under":[133],"constraint":[137,146],"given":[140],"mapping,":[142],"programming":[147],"(CP)":[148],"solver.":[149],"Performance":[150],"evaluation":[151],"results":[152],"show":[153],"that":[154],"our":[155],"approach":[156],"scalable":[158],"problems":[160],"realistic":[162],"size.":[163]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}