{"id":"https://openalex.org/W2006899209","doi":"https://doi.org/10.1145/1629335.1629358","title":"Towards a time-triggered schedule calculation tool to support model-based embedded software design","display_name":"Towards a time-triggered schedule calculation tool to support model-based embedded software design","publication_year":2009,"publication_date":"2009-10-12","ids":{"openalex":"https://openalex.org/W2006899209","doi":"https://doi.org/10.1145/1629335.1629358","mag":"2006899209"},"language":"en","primary_location":{"id":"doi:10.1145/1629335.1629358","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1629335.1629358","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the seventh ACM international conference on Embedded software","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/A5017158236","display_name":"Joseph Porter","orcid":null},"institutions":[{"id":"https://openalex.org/I200719446","display_name":"Vanderbilt University","ror":"https://ror.org/02vm5rt34","country_code":"US","type":"education","lineage":["https://openalex.org/I200719446"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Joseph Porter","raw_affiliation_strings":["Vanderbilt University, Nashville, TN, USA"],"affiliations":[{"raw_affiliation_string":"Vanderbilt University, Nashville, TN, USA","institution_ids":["https://openalex.org/I200719446"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082014236","display_name":"G\u00e1bor Karsai","orcid":"https://orcid.org/0000-0001-7775-9099"},"institutions":[{"id":"https://openalex.org/I200719446","display_name":"Vanderbilt University","ror":"https://ror.org/02vm5rt34","country_code":"US","type":"education","lineage":["https://openalex.org/I200719446"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Gabor Karsai","raw_affiliation_strings":["Vanderbilt University, Nashville, TN, USA"],"affiliations":[{"raw_affiliation_string":"Vanderbilt University, Nashville, TN, USA","institution_ids":["https://openalex.org/I200719446"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5013237840","display_name":"J\u00e1nos Sztipanovits","orcid":"https://orcid.org/0000-0002-8360-6299"},"institutions":[{"id":"https://openalex.org/I200719446","display_name":"Vanderbilt University","ror":"https://ror.org/02vm5rt34","country_code":"US","type":"education","lineage":["https://openalex.org/I200719446"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Janos Sztipanovits","raw_affiliation_strings":["Vanderbilt University, Nashville, TN, USA"],"affiliations":[{"raw_affiliation_string":"Vanderbilt University, Nashville, TN, USA","institution_ids":["https://openalex.org/I200719446"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5017158236"],"corresponding_institution_ids":["https://openalex.org/I200719446"],"apc_list":null,"apc_paid":null,"fwci":2.1106,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.87321164,"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":"167","last_page":"176"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"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"}},"topics":[{"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9991999864578247,"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.9957000017166138,"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.795285701751709},{"id":"https://openalex.org/keywords/workflow","display_name":"Workflow","score":0.6238332986831665},{"id":"https://openalex.org/keywords/schedule","display_name":"Schedule","score":0.617642343044281},{"id":"https://openalex.org/keywords/troubleshooting","display_name":"Troubleshooting","score":0.5985835194587708},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.5702990889549255},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5202754139900208},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5008084774017334},{"id":"https://openalex.org/keywords/model-based-design","display_name":"Model-based design","score":0.4684954285621643},{"id":"https://openalex.org/keywords/software-design","display_name":"Software design","score":0.45495715737342834},{"id":"https://openalex.org/keywords/suite","display_name":"Suite","score":0.42425310611724854},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.4133363366127014},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3993149399757385},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.36296746134757996},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.21336069703102112},{"id":"https://openalex.org/keywords/simulation","display_name":"Simulation","score":0.1549709141254425},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.13142907619476318},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1185353696346283}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.795285701751709},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.6238332986831665},{"id":"https://openalex.org/C68387754","wikidata":"https://www.wikidata.org/wiki/Q7271585","display_name":"Schedule","level":2,"score":0.617642343044281},{"id":"https://openalex.org/C147494362","wikidata":"https://www.wikidata.org/wiki/Q2078905","display_name":"Troubleshooting","level":2,"score":0.5985835194587708},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.5702990889549255},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5202754139900208},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5008084774017334},{"id":"https://openalex.org/C195672273","wikidata":"https://www.wikidata.org/wiki/Q6888132","display_name":"Model-based design","level":2,"score":0.4684954285621643},{"id":"https://openalex.org/C52913732","wikidata":"https://www.wikidata.org/wiki/Q857102","display_name":"Software design","level":4,"score":0.45495715737342834},{"id":"https://openalex.org/C79581498","wikidata":"https://www.wikidata.org/wiki/Q1367530","display_name":"Suite","level":2,"score":0.42425310611724854},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4133363366127014},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3993149399757385},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.36296746134757996},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.21336069703102112},{"id":"https://openalex.org/C44154836","wikidata":"https://www.wikidata.org/wiki/Q45045","display_name":"Simulation","level":1,"score":0.1549709141254425},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.13142907619476318},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1185353696346283},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1629335.1629358","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1629335.1629358","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the seventh ACM international conference on Embedded software","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.49000000953674316}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W1532739430","https://openalex.org/W1561706838","https://openalex.org/W1572663059","https://openalex.org/W1573600108","https://openalex.org/W1593691693","https://openalex.org/W1712686555","https://openalex.org/W1996763308","https://openalex.org/W2005772373","https://openalex.org/W2047994221","https://openalex.org/W2098009157","https://openalex.org/W2101965995","https://openalex.org/W2106704881","https://openalex.org/W2107931052","https://openalex.org/W2111607695","https://openalex.org/W2113488668","https://openalex.org/W2118824103","https://openalex.org/W2119352584","https://openalex.org/W2119597710","https://openalex.org/W2119699246","https://openalex.org/W2134345746","https://openalex.org/W2139906094","https://openalex.org/W2150408604","https://openalex.org/W2161232289","https://openalex.org/W2163137257","https://openalex.org/W2164642390","https://openalex.org/W2164877825","https://openalex.org/W2188013097","https://openalex.org/W2401585136","https://openalex.org/W3160591349","https://openalex.org/W4214706592","https://openalex.org/W4236449444","https://openalex.org/W4236977121"],"related_works":["https://openalex.org/W3013479934","https://openalex.org/W4210597238","https://openalex.org/W4318325534","https://openalex.org/W4206476896","https://openalex.org/W4240398146","https://openalex.org/W2950310564","https://openalex.org/W4238338086","https://openalex.org/W2467308209","https://openalex.org/W2619055811","https://openalex.org/W4253428884"],"abstract_inverted_index":{"Time-triggered":[0],"architectures":[1],"(TTA)":[2],"provide":[3],"replica":[4],"determinism":[5],"in":[6,32,50,64,107],"safety-critical":[7,41],"distributed":[8],"embedded":[9,21,36],"software":[10,37],"designs.":[11,34,65],"TTA":[12],"has":[13],"become":[14],"a":[15,68,101,110,131],"crucial":[16],"part":[17],"of":[18,85,133,141],"many":[19],"high-confidence":[20],"paradigms,":[22],"as":[23],"it":[24,138],"decouples":[25],"functional":[26,60],"concerns":[27,31,63],"from":[28],"platform":[29,105,122,135,151],"timing":[30],"system":[33],"Complex":[35],"development":[38],"workflows":[39],"for":[40,77],"applications":[42],"are":[43],"increasingly":[44],"managed":[45],"by":[46,144],"model-based":[47,83],"design":[48,118],"tools,":[49],"order":[51],"to":[52,120,148,153],"support":[53],"automated":[54],"verification":[55],"and":[56,61,90,114,124,137],"reconcile":[57],"conflicts":[58],"between":[59],"non-functional":[62],"We":[66],"present":[67],"prototype":[69],"scheduling":[70],"tool":[71,91],"(ESched)":[72],"which":[73],"calculates":[74],"cyclic":[75],"schedules":[76,143],"time-triggered":[78],"networks.":[79],"ESched":[80,128],"supports":[81,139],"the":[82,86,116,121,125,146],"workflow":[84],"ESMoL":[87],"modeling":[88],"language":[89],"suite.":[92],"Using":[93],"ESMoL,":[94],"designers":[95],"can":[96],"rapidly":[97],"iterate":[98],"through":[99],"simulating":[100],"control":[102,117],"design,":[103],"capturing":[104],"effects":[106],"models,":[108],"generating":[109],"schedule":[111],"(if":[112],"feasible),":[113],"re-simulating":[115],"subject":[119],"model":[123],"computed":[126],"schedule.":[127],"specifications":[129],"include":[130],"number":[132],"useful":[134],"parameters,":[136],"troubleshooting":[140],"infeasible":[142],"allowing":[145],"user":[147],"specify":[149],"partial":[150],"models":[152],"solve.":[154]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}