{"id":"https://openalex.org/W2150382174","doi":"https://doi.org/10.1109/rsp.2010.5656335","title":"Automated synthesis of Time-Triggered Architecture-based TrueTime models for platform effects simulation and analysis","display_name":"Automated synthesis of Time-Triggered Architecture-based TrueTime models for platform effects simulation and analysis","publication_year":2010,"publication_date":"2010-06-01","ids":{"openalex":"https://openalex.org/W2150382174","doi":"https://doi.org/10.1109/rsp.2010.5656335","mag":"2150382174"},"language":"en","primary_location":{"id":"doi:10.1109/rsp.2010.5656335","is_oa":false,"landing_page_url":"https://doi.org/10.1109/rsp.2010.5656335","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of 2010 21st IEEE International Symposium on Rapid System Protyping","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/A5067023238","display_name":"Graham Hemingway","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"]},{"id":"https://openalex.org/I4210160740","display_name":"Integrated Software (United States)","ror":"https://ror.org/05dp7m259","country_code":"US","type":"company","lineage":["https://openalex.org/I4210160740"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"G. Hemingway","raw_affiliation_strings":["Institute for Software Integrated Systems Vanderbilt University, Nashville, TN, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Software Integrated Systems Vanderbilt University, Nashville, TN, USA","institution_ids":["https://openalex.org/I4210160740","https://openalex.org/I200719446"]}]},{"author_position":"middle","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"]},{"id":"https://openalex.org/I4210160740","display_name":"Integrated Software (United States)","ror":"https://ror.org/05dp7m259","country_code":"US","type":"company","lineage":["https://openalex.org/I4210160740"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"J. Porter","raw_affiliation_strings":["Institute for Software Integrated Systems Vanderbilt University, Nashville, TN, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Software Integrated Systems Vanderbilt University, Nashville, TN, USA","institution_ids":["https://openalex.org/I4210160740","https://openalex.org/I200719446"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006671851","display_name":"Nicholas Kottenstette","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"]},{"id":"https://openalex.org/I4210160740","display_name":"Integrated Software (United States)","ror":"https://ror.org/05dp7m259","country_code":"US","type":"company","lineage":["https://openalex.org/I4210160740"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"N. Kottenstette","raw_affiliation_strings":["Institute for Software Integrated Systems Vanderbilt University, Nashville, TN, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Software Integrated Systems Vanderbilt University, Nashville, TN, USA","institution_ids":["https://openalex.org/I4210160740","https://openalex.org/I200719446"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066813678","display_name":"Harmon Nine","orcid":"https://orcid.org/0009-0006-8567-6182"},"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"]},{"id":"https://openalex.org/I4210160740","display_name":"Integrated Software (United States)","ror":"https://ror.org/05dp7m259","country_code":"US","type":"company","lineage":["https://openalex.org/I4210160740"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"H. Nine","raw_affiliation_strings":["Institute for Software Integrated Systems Vanderbilt University, Nashville, TN, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Software Integrated Systems Vanderbilt University, Nashville, TN, USA","institution_ids":["https://openalex.org/I4210160740","https://openalex.org/I200719446"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109242013","display_name":"C. van Buskirk","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"]},{"id":"https://openalex.org/I4210160740","display_name":"Integrated Software (United States)","ror":"https://ror.org/05dp7m259","country_code":"US","type":"company","lineage":["https://openalex.org/I4210160740"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"C. van Buskirk","raw_affiliation_strings":["Institute for Software Integrated Systems Vanderbilt University, Nashville, TN, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Software Integrated Systems Vanderbilt University, Nashville, TN, USA","institution_ids":["https://openalex.org/I4210160740","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"]},{"id":"https://openalex.org/I4210160740","display_name":"Integrated Software (United States)","ror":"https://ror.org/05dp7m259","country_code":"US","type":"company","lineage":["https://openalex.org/I4210160740"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"G. Karsai","raw_affiliation_strings":["Institute for Software Integrated Systems Vanderbilt University, Nashville, TN, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Software Integrated Systems Vanderbilt University, Nashville, TN, USA","institution_ids":["https://openalex.org/I4210160740","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"]},{"id":"https://openalex.org/I4210160740","display_name":"Integrated Software (United States)","ror":"https://ror.org/05dp7m259","country_code":"US","type":"company","lineage":["https://openalex.org/I4210160740"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"J. Sztipanovits","raw_affiliation_strings":["Institute for Software Integrated Systems Vanderbilt University, Nashville, TN, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Software Integrated Systems Vanderbilt University, Nashville, TN, USA","institution_ids":["https://openalex.org/I4210160740","https://openalex.org/I200719446"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"7"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9940000176429749,"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.8340463638305664},{"id":"https://openalex.org/keywords/jitter","display_name":"Jitter","score":0.5963029861450195},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.5850641131401062},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.5490782260894775},{"id":"https://openalex.org/keywords/toolbox","display_name":"Toolbox","score":0.528046727180481},{"id":"https://openalex.org/keywords/processor-scheduling","display_name":"Processor scheduling","score":0.45969855785369873},{"id":"https://openalex.org/keywords/software-deployment","display_name":"Software deployment","score":0.45731043815612793},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.448735773563385},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.4133645296096802},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.3792383074760437},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1954658329486847},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.17939141392707825},{"id":"https://openalex.org/keywords/schedule","display_name":"Schedule","score":0.10821983218193054}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8340463638305664},{"id":"https://openalex.org/C134652429","wikidata":"https://www.wikidata.org/wiki/Q1052698","display_name":"Jitter","level":2,"score":0.5963029861450195},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5850641131401062},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.5490782260894775},{"id":"https://openalex.org/C2777655017","wikidata":"https://www.wikidata.org/wiki/Q1501161","display_name":"Toolbox","level":2,"score":0.528046727180481},{"id":"https://openalex.org/C2984822820","wikidata":"https://www.wikidata.org/wiki/Q1123036","display_name":"Processor scheduling","level":3,"score":0.45969855785369873},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.45731043815612793},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.448735773563385},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.4133645296096802},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3792383074760437},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1954658329486847},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.17939141392707825},{"id":"https://openalex.org/C68387754","wikidata":"https://www.wikidata.org/wiki/Q7271585","display_name":"Schedule","level":2,"score":0.10821983218193054},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"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/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/rsp.2010.5656335","is_oa":false,"landing_page_url":"https://doi.org/10.1109/rsp.2010.5656335","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of 2010 21st IEEE International Symposium on Rapid System Protyping","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.367.4531","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.367.4531","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.isis.vanderbilt.edu/sites/default/files/RSP10.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320338279","display_name":"Air Force Office of Scientific Research","ror":"https://ror.org/011e9bt93"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W1488202922","https://openalex.org/W1545238651","https://openalex.org/W1561706838","https://openalex.org/W1742752929","https://openalex.org/W1884770397","https://openalex.org/W2006899209","https://openalex.org/W2071229589","https://openalex.org/W2101965995","https://openalex.org/W2107264649","https://openalex.org/W2108322806","https://openalex.org/W2111607695","https://openalex.org/W2118824103","https://openalex.org/W2119352584","https://openalex.org/W2119699246","https://openalex.org/W2132411556","https://openalex.org/W2133038101","https://openalex.org/W2148740615","https://openalex.org/W2150408604","https://openalex.org/W2164547576","https://openalex.org/W2262960079","https://openalex.org/W2275733022","https://openalex.org/W2404118354","https://openalex.org/W2503643606","https://openalex.org/W4256547490","https://openalex.org/W6637628356","https://openalex.org/W6639389482","https://openalex.org/W6676732092","https://openalex.org/W6677843400","https://openalex.org/W6677999671","https://openalex.org/W6679442163"],"related_works":["https://openalex.org/W4205140848","https://openalex.org/W2068663075","https://openalex.org/W2121182846","https://openalex.org/W2978678743","https://openalex.org/W2797837731","https://openalex.org/W4393677513","https://openalex.org/W2155789024","https://openalex.org/W4390832911","https://openalex.org/W2315668284","https://openalex.org/W829257147"],"abstract_inverted_index":{"The":[0,69],"TrueTime":[1,85,120,161],"toolbox":[2],"simulates":[3],"real-time":[4],"control":[5,52,74],"systems,":[6],"including":[7],"platform-specific":[8],"details":[9,140],"like":[10],"process":[11,70],"scheduling,":[12],"task":[13],"execution":[14,98,155,169],"and":[15,31,63,91,181,185,195],"network":[16],"communications.":[17],"Analysis":[18],"using":[19],"these":[20],"models":[21,86,127,162],"provides":[22],"insight":[23],"into":[24,83,130],"platform-induced":[25],"timing":[26,56,196],"effects,":[27],"such":[28],"as":[29],"jitter":[30],"delay.":[32],"For":[33],"safety-critical":[34],"applications,":[35],"the":[36,45,78,95,108,131,142,152,167],"Time-Triggered":[37],"Architecture":[38],"(TTA)":[39],"has":[40],"been":[41],"shown":[42],"to":[43,48,60,177,189],"provide":[44],"necessary":[46],"services":[47],"create":[49],"robust,":[50],"fault-tolerant":[51],"systems.":[53],"Communication":[54],"induced":[55,193],"effects":[57],"still":[58],"need":[59],"be":[61],"simulated":[62],"analyzed":[64],"even":[65],"for":[66],"TTA-compliant":[67],"models.":[68,121],"of":[71,80,94,107,141,166],"adapting":[72],"time-invariant":[73],"system":[75],"models,":[76],"through":[77],"inclusion":[79],"platform":[81],"specifics,":[82],"TTA-based":[84,119],"requires":[87],"significant":[88],"manual":[89],"effort":[90],"detailed":[92],"knowledge":[93],"desired":[96,143],"platform's":[97],"semantics.":[99,170],"In":[100,122],"this":[101,172],"paper,":[102],"we":[103,158],"present":[104],"an":[105],"extension":[106],"Embedded":[109],"Systems":[110],"Modeling":[111],"Language":[112],"(ESMoL)":[113],"tool":[114],"chain":[115],"that":[116,163],"automatically":[117],"synthesizes":[118],"our":[123],"tools,":[124],"timeinvariant":[125],"Simulink":[126],"are":[128,137],"imported":[129],"ESMoL":[132],"modeling":[133],"environment":[134],"where":[135],"they":[136],"annotated":[138],"with":[139],"deployment":[144,192],"platforms.":[145],"A":[146],"constraint-based":[147],"offline":[148],"scheduler":[149],"then":[150],"generates":[151],"static":[153],"TTA":[154,168],"schedules.":[156],"Finally,":[157],"synthesize":[159],"new":[160],"encapsulate":[164],"all":[165],"Using":[171],"approach":[173],"it":[174],"is":[175],"possible":[176],"rapidly":[178],"prototype,":[179],"evaluate,":[180],"modify":[182],"controller":[183],"designs":[184],"their":[186],"hardware":[187],"platforms":[188],"better":[190],"understand":[191],"performance":[194],"effects.":[197]},"counts_by_year":[{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":3}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}