{"id":"https://openalex.org/W2758992328","doi":"https://doi.org/10.1145/3126510","title":"Timestamp Temporal Logic (TTL) for Testing the Timing of Cyber-Physical Systems","display_name":"Timestamp Temporal Logic (TTL) for Testing the Timing of Cyber-Physical Systems","publication_year":2017,"publication_date":"2017-09-27","ids":{"openalex":"https://openalex.org/W2758992328","doi":"https://doi.org/10.1145/3126510","mag":"2758992328"},"language":"en","primary_location":{"id":"doi:10.1145/3126510","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3126510","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3126510","source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3126510","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5103015256","display_name":"Mohammadreza Mehrabian","orcid":"https://orcid.org/0000-0002-9081-9049"},"institutions":[{"id":"https://openalex.org/I55732556","display_name":"Arizona State University","ror":"https://ror.org/03efmqc40","country_code":"US","type":"education","lineage":["https://openalex.org/I55732556"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Mohammadreza Mehrabian","raw_affiliation_strings":["Arizona State University, Tempe, AZ, US"],"affiliations":[{"raw_affiliation_string":"Arizona State University, Tempe, AZ, US","institution_ids":["https://openalex.org/I55732556"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075996527","display_name":"Mohammad Khayatian","orcid":"https://orcid.org/0000-0003-4134-5008"},"institutions":[{"id":"https://openalex.org/I55732556","display_name":"Arizona State University","ror":"https://ror.org/03efmqc40","country_code":"US","type":"education","lineage":["https://openalex.org/I55732556"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mohammad Khayatian","raw_affiliation_strings":["Arizona State University, Tempe, AZ, US"],"affiliations":[{"raw_affiliation_string":"Arizona State University, Tempe, AZ, US","institution_ids":["https://openalex.org/I55732556"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044172378","display_name":"Aviral Shrivastava","orcid":"https://orcid.org/0000-0002-1075-897X"},"institutions":[{"id":"https://openalex.org/I55732556","display_name":"Arizona State University","ror":"https://ror.org/03efmqc40","country_code":"US","type":"education","lineage":["https://openalex.org/I55732556"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Aviral Shrivastava","raw_affiliation_strings":["Arizona State University, Tempe, AZ, US"],"affiliations":[{"raw_affiliation_string":"Arizona State University, Tempe, AZ, US","institution_ids":["https://openalex.org/I55732556"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076397754","display_name":"John C. Eidson","orcid":null},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"John C. Eidson","raw_affiliation_strings":["University of California Berkeley, CA"],"affiliations":[{"raw_affiliation_string":"University of California Berkeley, CA","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056449142","display_name":"Patricia Derler","orcid":"https://orcid.org/0000-0001-7742-802X"},"institutions":[{"id":"https://openalex.org/I4210124763","display_name":"National Instruments (United States)","ror":"https://ror.org/026exqw73","country_code":"US","type":"company","lineage":["https://openalex.org/I4210117810","https://openalex.org/I4210124763"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Patricia Derler","raw_affiliation_strings":["National Instruments corporation, N Mopac Expy, Austin, TX"],"affiliations":[{"raw_affiliation_string":"National Instruments corporation, N Mopac Expy, Austin, TX","institution_ids":["https://openalex.org/I4210124763"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052699654","display_name":"Hugo A. Andrade","orcid":"https://orcid.org/0000-0002-4560-8859"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hugo A. Andrade","raw_affiliation_strings":["University of Texas at Austin, El Cerrito, CA"],"affiliations":[{"raw_affiliation_string":"University of Texas at Austin, El Cerrito, CA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058440761","display_name":"Ya-Shian Li-Baboud","orcid":"https://orcid.org/0000-0003-3234-4345"},"institutions":[{"id":"https://openalex.org/I1321296531","display_name":"National Institute of Standards and Technology","ror":"https://ror.org/05xpvk416","country_code":"US","type":"funder","lineage":["https://openalex.org/I1321296531","https://openalex.org/I1343035065"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ya-Shian Li-Baboud","raw_affiliation_strings":["National Institute of Standard and Technology (NIST), Hillsboro, OR"],"affiliations":[{"raw_affiliation_string":"National Institute of Standard and Technology (NIST), Hillsboro, OR","institution_ids":["https://openalex.org/I1321296531"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030652679","display_name":"Edward Griffor","orcid":"https://orcid.org/0000-0001-5241-7551"},"institutions":[{"id":"https://openalex.org/I1321296531","display_name":"National Institute of Standards and Technology","ror":"https://ror.org/05xpvk416","country_code":"US","type":"funder","lineage":["https://openalex.org/I1321296531","https://openalex.org/I1343035065"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Edward Griffor","raw_affiliation_strings":["National Institute of Standard and Technology (NIST), Gaithersburg, MD"],"affiliations":[{"raw_affiliation_string":"National Institute of Standard and Technology (NIST), Gaithersburg, MD","institution_ids":["https://openalex.org/I1321296531"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013633510","display_name":"Marc A. Weiss","orcid":"https://orcid.org/0000-0002-6521-2827"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Marc Weiss","raw_affiliation_strings":["Marc Weiss Consulting, Aptos, CA"],"affiliations":[{"raw_affiliation_string":"Marc Weiss Consulting, Aptos, CA","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5050905663","display_name":"Kevin Stanton","orcid":null},"institutions":[{"id":"https://openalex.org/I1343180700","display_name":"Intel (United States)","ror":"https://ror.org/01ek73717","country_code":"US","type":"company","lineage":["https://openalex.org/I1343180700"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kevin Stanton","raw_affiliation_strings":["Intel corporation, Hillsboro, OR"],"affiliations":[{"raw_affiliation_string":"Intel corporation, Hillsboro, OR","institution_ids":["https://openalex.org/I1343180700"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":10,"corresponding_author_ids":["https://openalex.org/A5103015256"],"corresponding_institution_ids":["https://openalex.org/I55732556"],"apc_list":null,"apc_paid":null,"fwci":3.5553,"has_fulltext":true,"cited_by_count":20,"citation_normalized_percentile":{"value":0.93846814,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"16","issue":"5s","first_page":"1","last_page":"20"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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.9994999766349792,"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.9994000196456909,"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.8471490740776062},{"id":"https://openalex.org/keywords/timestamp","display_name":"Timestamp","score":0.7657983303070068},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6265658736228943},{"id":"https://openalex.org/keywords/static-timing-analysis","display_name":"Static timing analysis","score":0.6060599684715271},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.5254546403884888},{"id":"https://openalex.org/keywords/synchronization","display_name":"Synchronization (alternating current)","score":0.5083443522453308},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.4998290538787842},{"id":"https://openalex.org/keywords/logic-analyzer","display_name":"Logic analyzer","score":0.4974198639392853},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.49460694193840027},{"id":"https://openalex.org/keywords/signal","display_name":"SIGNAL (programming language)","score":0.472443163394928},{"id":"https://openalex.org/keywords/control-logic","display_name":"Control logic","score":0.45340579748153687},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.31891730427742004},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.23118168115615845}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8471490740776062},{"id":"https://openalex.org/C113954288","wikidata":"https://www.wikidata.org/wiki/Q186885","display_name":"Timestamp","level":2,"score":0.7657983303070068},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6265658736228943},{"id":"https://openalex.org/C93682380","wikidata":"https://www.wikidata.org/wiki/Q2025226","display_name":"Static timing analysis","level":2,"score":0.6060599684715271},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.5254546403884888},{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.5083443522453308},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.4998290538787842},{"id":"https://openalex.org/C188434589","wikidata":"https://www.wikidata.org/wiki/Q1478762","display_name":"Logic analyzer","level":3,"score":0.4974198639392853},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.49460694193840027},{"id":"https://openalex.org/C2779843651","wikidata":"https://www.wikidata.org/wiki/Q7390335","display_name":"SIGNAL (programming language)","level":2,"score":0.472443163394928},{"id":"https://openalex.org/C2776350369","wikidata":"https://www.wikidata.org/wiki/Q843479","display_name":"Control logic","level":2,"score":0.45340579748153687},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.31891730427742004},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.23118168115615845},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C158007255","wikidata":"https://www.wikidata.org/wiki/Q1055222","display_name":"Spectrum analyzer","level":2,"score":0.0},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3126510","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3126510","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3126510","source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing Systems","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3126510","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3126510","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3126510","source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3919358808","display_name":null,"funder_award_id":"CCF 1055094, CNS 1525855","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5841043826","display_name":null,"funder_award_id":"70NANB16H","funder_id":"https://openalex.org/F4320332178","funder_display_name":"National Institute of Standards and Technology"},{"id":"https://openalex.org/G5975458765","display_name":null,"funder_award_id":"60NANB16D305, 70NANB16H305","funder_id":"https://openalex.org/F4320332178","funder_display_name":"National Institute of Standards and Technology"},{"id":"https://openalex.org/G6671297155","display_name":null,"funder_award_id":"CAREER","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6686690387","display_name":"CAREER: Compiler Techniques for Power-Efficient Protection Against Soft Errors","funder_award_id":"1055094","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7542394970","display_name":null,"funder_award_id":"CCF 1055094 (CAREER)","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7774450325","display_name":null,"funder_award_id":"CNS 1525855","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G848032724","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320332178","display_name":"National Institute of Standards and Technology","ror":"https://ror.org/05xpvk416"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2758992328.pdf","grobid_xml":"https://content.openalex.org/works/W2758992328.grobid-xml"},"referenced_works_count":21,"referenced_works":["https://openalex.org/W1483606732","https://openalex.org/W1494737186","https://openalex.org/W1509254601","https://openalex.org/W1535889317","https://openalex.org/W1547304883","https://openalex.org/W1796409253","https://openalex.org/W1905380539","https://openalex.org/W2026629052","https://openalex.org/W2049399166","https://openalex.org/W2049696538","https://openalex.org/W2153803621","https://openalex.org/W2158381251","https://openalex.org/W2160883697","https://openalex.org/W2176215692","https://openalex.org/W2182828685","https://openalex.org/W2530345271","https://openalex.org/W2537902178","https://openalex.org/W2625101315","https://openalex.org/W2774850934","https://openalex.org/W2915582282","https://openalex.org/W2950045952"],"related_works":["https://openalex.org/W2371672687","https://openalex.org/W4251076647","https://openalex.org/W1970525236","https://openalex.org/W2791905613","https://openalex.org/W4253397165","https://openalex.org/W2765326474","https://openalex.org/W2138086100","https://openalex.org/W2962938355","https://openalex.org/W4229997365","https://openalex.org/W51776367"],"abstract_inverted_index":{"In":[0],"order":[1],"to":[2,61,120,154,161,198],"test":[3],"the":[4,8,14,18,33,96,102,131,163,173,178,181,185,187,205,209,227,232],"performance":[5],"and":[6,30,74,88,159,236,251],"verify":[7],"correctness":[9],"of":[10,36,53,98,125,134,145,180,216,226,234,242,254],"Cyber-Physical":[11],"Systems":[12],"(CPS),":[13],"timing":[15,34,43,64,103,132,146,165,174,228],"constraints":[16,35,44,65,81,104,133,175,244],"on":[17,45,55,184,245],"system":[19,39],"behavior":[20],"must":[21],"be":[22,86],"met.":[23],"Signal":[24],"Temporal":[25,117],"Logic":[26,118],"(STL)":[27],"can":[28,70,85,100],"efficiently":[29],"succinctly":[31],"capture":[32,261],"a":[37,113,122,141,152,220],"given":[38],"model.":[40],"However,":[41],"many":[42],"CPS":[46],"are":[47,91],"more":[48,106,128,142],"naturally":[49],"expressed":[50,164],"in":[51,66,76],"terms":[52],"events":[54,183],"signals.":[56],"While":[57],"it":[58],"is":[59,219],"possible":[60],"specify":[62],"event-based":[63],"STL,":[67],"such":[68],"statements":[69],"quickly":[71],"become":[72],"long":[73],"arcane":[75],"even":[77,105],"simple":[78],"systems.":[79],"Timing":[80],"for":[82,140,223,239,265],"CPS,":[83],"which":[84,99,203],"large":[87],"complex":[89],"systems,":[90],"often":[92],"associated":[93],"with":[94],"tolerances,":[95],"expression":[97,144],"make":[101],"cumbersome":[107],"using":[108,176,262],"STL.":[109],"This":[110],"paper":[111,150,218],"proposes":[112],"new":[114],"logic,":[115,202],"Timestamp":[116],"(TTL),":[119],"provide":[121],"definitional":[123],"extension":[124],"STL":[126,200],"that":[127],"intuitively":[129],"expresses":[130],"distributed":[135,263],"CPS.":[136],"TTL":[137,169,188,235,243],"also":[138],"allows":[139],"natural":[143],"tolerances.":[147],"Additionally,":[148],"this":[149,217],"outlines":[151],"methodology":[153,238],"automatically":[155],"generate":[156],"logic":[157,171,190],"code":[158],"programs":[160],"monitor":[162],"constraints.":[166,229],"Since":[167],"our":[168,237],"monitoring":[170,189,201,225,241],"evaluates":[172],"only":[177],"timestamps":[179],"required":[182,210],"signal,":[186],"has":[191],"significantly":[192],"less":[193],"memory":[194],"footprint":[195],"when":[196],"compared":[197],"traditional":[199],"stores":[204],"signal":[206],"value":[207],"at":[208],"sampling":[211],"frequency.":[212],"The":[213],"key":[214],"contribution":[215],"scalable":[221],"approach":[222],"online":[224,240],"We":[230],"demonstrate":[231],"capabilities":[233],"two":[246,255],"case":[247],"studies:":[248],"1)":[249],"Synchronization":[250],"phase":[252],"control":[253],"generators":[256],"and,":[257],"2)":[258],"Simultaneous":[259],"image":[260,267],"cameras":[264],"3D":[266],"reconstruction.":[268]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":6},{"year":2018,"cited_by_count":5}],"updated_date":"2026-04-15T08:11:43.952461","created_date":"2025-10-10T00:00:00"}