{"id":"https://openalex.org/W2019983653","doi":"https://doi.org/10.1109/sies.2013.6601489","title":"Multitask implementation of synchronous reactive models with Earliest Deadline First scheduling","display_name":"Multitask implementation of synchronous reactive models with Earliest Deadline First scheduling","publication_year":2013,"publication_date":"2013-06-01","ids":{"openalex":"https://openalex.org/W2019983653","doi":"https://doi.org/10.1109/sies.2013.6601489","mag":"2019983653"},"language":"en","primary_location":{"id":"doi:10.1109/sies.2013.6601489","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sies.2013.6601489","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES)","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/A5023028999","display_name":"Zaid Al-bayati","orcid":"https://orcid.org/0000-0003-3224-9938"},"institutions":[{"id":"https://openalex.org/I5023651","display_name":"McGill University","ror":"https://ror.org/01pxwe438","country_code":"CA","type":"education","lineage":["https://openalex.org/I5023651"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Zaid Al-bayati","raw_affiliation_strings":["McGill University, Canada","McGill University, Montreal, QC, Canada.;"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"McGill University, Canada","institution_ids":["https://openalex.org/I5023651"]},{"raw_affiliation_string":"McGill University, Montreal, QC, Canada.;","institution_ids":["https://openalex.org/I5023651"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025405598","display_name":"Haibo Zeng","orcid":"https://orcid.org/0000-0003-1162-759X"},"institutions":[{"id":"https://openalex.org/I5023651","display_name":"McGill University","ror":"https://ror.org/01pxwe438","country_code":"CA","type":"education","lineage":["https://openalex.org/I5023651"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Haibo Zeng","raw_affiliation_strings":["McGill University, Canada","McGill University, Montreal, QC, Canada.;"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"McGill University, Canada","institution_ids":["https://openalex.org/I5023651"]},{"raw_affiliation_string":"McGill University, Montreal, QC, Canada.;","institution_ids":["https://openalex.org/I5023651"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038878233","display_name":"Marco Di Natale","orcid":"https://orcid.org/0000-0002-4480-8808"},"institutions":[{"id":"https://openalex.org/I162290304","display_name":"Scuola Superiore Sant'Anna","ror":"https://ror.org/025602r80","country_code":"IT","type":"education","lineage":["https://openalex.org/I162290304"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Marco Di Natale","raw_affiliation_strings":["Scuola Superiore Sant'Anna, Italy","Scuola Superiore Sant\u2019Anna , Pisa, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Scuola Superiore Sant'Anna, Italy","institution_ids":["https://openalex.org/I162290304"]},{"raw_affiliation_string":"Scuola Superiore Sant\u2019Anna , Pisa, Italy","institution_ids":["https://openalex.org/I162290304"]}]},{"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/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zonghua Gu","raw_affiliation_strings":["Zhejiang University, China","Zhejiang university, Hangzhou, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Zhejiang University, China","institution_ids":["https://openalex.org/I76130692"]},{"raw_affiliation_string":"Zhejiang university, Hangzhou, China","institution_ids":["https://openalex.org/I76130692"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.8966,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.70900322,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"168","last_page":"177"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9998999834060669,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9998999834060669,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9998999834060669,"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.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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8775351047515869},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.7928717732429504},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.6521061658859253},{"id":"https://openalex.org/keywords/heuristic","display_name":"Heuristic","score":0.621924877166748},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5272813439369202},{"id":"https://openalex.org/keywords/turnaround-time","display_name":"Turnaround time","score":0.41685065627098083},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3964722454547882},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.32628318667411804},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1515788733959198},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.10735800862312317},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.09978294372558594}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8775351047515869},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.7928717732429504},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.6521061658859253},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.621924877166748},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5272813439369202},{"id":"https://openalex.org/C176553487","wikidata":"https://www.wikidata.org/wiki/Q7855819","display_name":"Turnaround time","level":2,"score":0.41685065627098083},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3964722454547882},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.32628318667411804},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1515788733959198},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.10735800862312317},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.09978294372558594},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/sies.2013.6601489","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sies.2013.6601489","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES)","raw_type":"proceedings-article"},{"id":"pmh:oai:www.iris.sssup.it:11382/420206","is_oa":false,"landing_page_url":"http://hdl.handle.net/11382/420206","pdf_url":null,"source":{"id":"https://openalex.org/S4377196376","display_name":"CINECA IRIS Institutional Research Information System (Sant'Anna School of Advanced Studies)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I162290304","host_organization_name":"Scuola Superiore Sant'Anna","host_organization_lineage":["https://openalex.org/I162290304"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferenceObject"}],"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"},{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W142006518","https://openalex.org/W1978672105","https://openalex.org/W2002620973","https://openalex.org/W2005976511","https://openalex.org/W2007242038","https://openalex.org/W2011479059","https://openalex.org/W2014923483","https://openalex.org/W2024237509","https://openalex.org/W2059274931","https://openalex.org/W2071229589","https://openalex.org/W2081938726","https://openalex.org/W2100500718","https://openalex.org/W2109465015","https://openalex.org/W2110186189","https://openalex.org/W2110915208","https://openalex.org/W2123767675","https://openalex.org/W2125415493","https://openalex.org/W2137787952","https://openalex.org/W2141440050","https://openalex.org/W2146500670","https://openalex.org/W2147347162","https://openalex.org/W2161116097","https://openalex.org/W2171672528","https://openalex.org/W2296189579","https://openalex.org/W3184710042","https://openalex.org/W4242915164","https://openalex.org/W6678353829","https://openalex.org/W6697765383"],"related_works":["https://openalex.org/W1992029172","https://openalex.org/W2605582854","https://openalex.org/W4309344469","https://openalex.org/W2291191244","https://openalex.org/W2909143164","https://openalex.org/W2131830066","https://openalex.org/W2993954431","https://openalex.org/W2328675347","https://openalex.org/W2309076928","https://openalex.org/W2021390925"],"abstract_inverted_index":{"Model-based":[0],"development":[1],"of":[2,8,24,38,86,114,120],"embedded":[3],"systems":[4],"enables":[5],"early":[6],"verification":[7],"functionality,":[9],"reduces":[10],"turnaround":[11],"times":[12],"and":[13,16,50,89,106],"testing":[14],"efforts,":[15],"allows":[17],"to":[18,110,136],"cope":[19],"with":[20,72],"the":[21,36,44,53,84,95,112,118],"increasing":[22],"complexity":[23],"these":[25],"systems.":[26],"Software":[27],"implementations":[28,58,122],"can":[29],"be":[30,69],"automatically":[31],"generated":[32,45,60],"from":[33],"models,":[34],"reducing":[35],"possibility":[37],"injected":[39],"errors":[40],"upon":[41],"condition":[42],"that":[43],"code":[46],"is":[47,134],"correct,":[48],"efficient,":[49],"schedulable":[51],"on":[52,76,123],"selected":[54,77],"platform.":[55],"When":[56],"multitask":[57],"are":[59],"for":[61,93],"multirate":[62],"systems,":[63],"a":[64,103,107],"time-feasible":[65],"(schedulable)":[66],"implementation":[67],"may":[68,82],"possible":[70],"only":[71],"additional":[73,91],"functional":[74,115],"delays":[75,81,116],"communication":[78],"links.":[79],"These":[80],"degrade":[83],"performance":[85],"feedback":[87],"controls":[88],"require":[90],"memory":[92],"buffering":[94],"channel":[96],"state.":[97],"In":[98],"this":[99],"paper,":[100],"we":[101],"present":[102],"branch-and-bound":[104],"procedure":[105],"heuristic":[108,133],"algorithm":[109],"minimize":[111],"use":[113],"in":[117],"synthesis":[119],"model":[121],"platforms":[124],"scheduled":[125],"by":[126],"EDF":[127],"(Earliest":[128],"Deadline":[129],"First).":[130],"The":[131],"proposed":[132],"shown":[135],"find":[137],"close-to-optimal":[138],"solutions,":[139],"while":[140],"executing":[141],"much":[142],"faster":[143],"than":[144],"(possibly":[145],"exhaustive)":[146],"branch-and-bound.":[147]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}