{"id":"https://openalex.org/W2808883442","doi":"https://doi.org/10.1145/3195970.3196130","title":"An efficient timestamp-based monitoring approach to test timing constraints of cyber-physical systems","display_name":"An efficient timestamp-based monitoring approach to test timing constraints of cyber-physical systems","publication_year":2018,"publication_date":"2018-06-19","ids":{"openalex":"https://openalex.org/W2808883442","doi":"https://doi.org/10.1145/3195970.3196130","mag":"2808883442"},"language":"en","primary_location":{"id":"doi:10.1145/3195970.3196130","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3195970.3196130","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3195970.3196130","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 55th Annual Design Automation Conference","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3195970.3196130","any_repository_has_fulltext":null},"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"],"affiliations":[{"raw_affiliation_string":"Arizona State University","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"],"affiliations":[{"raw_affiliation_string":"Arizona State University","institution_ids":["https://openalex.org/I55732556"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112882471","display_name":"Ahmed Mousa","orcid":null},"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":"Ahmed Mousa","raw_affiliation_strings":["Arizona State University"],"affiliations":[{"raw_affiliation_string":"Arizona State University","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"],"affiliations":[{"raw_affiliation_string":"Arizona State University","institution_ids":["https://openalex.org/I55732556"]}]},{"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/I4210124755","display_name":"National Institute of Standards","ror":"https://ror.org/02zftm050","country_code":"EG","type":"facility","lineage":["https://openalex.org/I4210124755"]},{"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":["EG","US"],"is_corresponding":false,"raw_author_name":"Ya-Shian Li-Baboud","raw_affiliation_strings":["National Institute of Standards and Technology"],"affiliations":[{"raw_affiliation_string":"National Institute of Standards and Technology","institution_ids":["https://openalex.org/I4210124755","https://openalex.org/I1321296531"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056449142","display_name":"Patricia Derler","orcid":"https://orcid.org/0000-0001-7742-802X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Patricia Derler","raw_affiliation_strings":["National Instruments"],"affiliations":[{"raw_affiliation_string":"National Instruments","institution_ids":[]}]},{"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"]},{"id":"https://openalex.org/I4210124755","display_name":"National Institute of Standards","ror":"https://ror.org/02zftm050","country_code":"EG","type":"facility","lineage":["https://openalex.org/I4210124755"]}],"countries":["EG","US"],"is_corresponding":false,"raw_author_name":"Edward Griffor","raw_affiliation_strings":["National Institute of Standards and Technology"],"affiliations":[{"raw_affiliation_string":"National Institute of Standards and Technology","institution_ids":["https://openalex.org/I4210124755","https://openalex.org/I1321296531"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052699654","display_name":"Hugo A. Andrade","orcid":"https://orcid.org/0000-0002-4560-8859"},"institutions":[{"id":"https://openalex.org/I32923980","display_name":"Xilinx (United States)","ror":"https://ror.org/01rb7bk56","country_code":"US","type":"company","lineage":["https://openalex.org/I32923980"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hugo A. Andrade","raw_affiliation_strings":["Xilinx Inc"],"affiliations":[{"raw_affiliation_string":"Xilinx Inc","institution_ids":["https://openalex.org/I32923980"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021740570","display_name":"Marc Wiess","orcid":null},"institutions":[{"id":"https://openalex.org/I4210122016","display_name":"Wellcome / EPSRC Centre for Interventional and Surgical Sciences","ror":"https://ror.org/03r42r570","country_code":"GB","type":"facility","lineage":["https://openalex.org/I124357947","https://openalex.org/I1299528221","https://openalex.org/I4210087105","https://openalex.org/I4210122016","https://openalex.org/I45129253","https://openalex.org/I87048295"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Marc Wiess","raw_affiliation_strings":["Marc Weiss Consulting"],"affiliations":[{"raw_affiliation_string":"Marc Weiss Consulting","institution_ids":["https://openalex.org/I4210122016"]}]},{"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"],"affiliations":[{"raw_affiliation_string":"University of California Berkeley","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5024537301","display_name":"Dhananjay Anand","orcid":"https://orcid.org/0000-0002-6936-9004"},"institutions":[{"id":"https://openalex.org/I4210124755","display_name":"National Institute of Standards","ror":"https://ror.org/02zftm050","country_code":"EG","type":"facility","lineage":["https://openalex.org/I4210124755"]},{"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":["EG","US"],"is_corresponding":false,"raw_author_name":"Dhananjay Anand","raw_affiliation_strings":["National Institute of Standards and Technology"],"affiliations":[{"raw_affiliation_string":"National Institute of Standards and Technology","institution_ids":["https://openalex.org/I4210124755","https://openalex.org/I1321296531"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":11,"corresponding_author_ids":["https://openalex.org/A5103015256"],"corresponding_institution_ids":["https://openalex.org/I55732556"],"apc_list":null,"apc_paid":null,"fwci":0.8077,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.74651866,"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":"1","last_page":"6"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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.9998999834060669,"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.9998000264167786,"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.9991000294685364,"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/timestamp","display_name":"Timestamp","score":0.782518208026886},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7503741979598999},{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.6736574769020081},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.5423200726509094},{"id":"https://openalex.org/keywords/synchronization","display_name":"Synchronization (alternating current)","score":0.5133160948753357},{"id":"https://openalex.org/keywords/field-programmable-gate-array","display_name":"Field-programmable gate array","score":0.46357303857803345},{"id":"https://openalex.org/keywords/sampling","display_name":"Sampling (signal processing)","score":0.42897891998291016},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.337602436542511},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.2840743660926819}],"concepts":[{"id":"https://openalex.org/C113954288","wikidata":"https://www.wikidata.org/wiki/Q186885","display_name":"Timestamp","level":2,"score":0.782518208026886},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7503741979598999},{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.6736574769020081},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.5423200726509094},{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.5133160948753357},{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.46357303857803345},{"id":"https://openalex.org/C140779682","wikidata":"https://www.wikidata.org/wiki/Q210868","display_name":"Sampling (signal processing)","level":3,"score":0.42897891998291016},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.337602436542511},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.2840743660926819},{"id":"https://openalex.org/C106131492","wikidata":"https://www.wikidata.org/wiki/Q3072260","display_name":"Filter (signal processing)","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},{"id":"https://openalex.org/C31972630","wikidata":"https://www.wikidata.org/wiki/Q844240","display_name":"Computer vision","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3195970.3196130","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3195970.3196130","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3195970.3196130","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 55th Annual Design Automation Conference","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3195970.3196130","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3195970.3196130","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3195970.3196130","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 55th Annual Design Automation Conference","raw_type":"proceedings-article"},"sustainable_development_goals":[{"display_name":"Decent work and economic growth","score":0.4300000071525574,"id":"https://metadata.un.org/sdg/8"}],"awards":[{"id":"https://openalex.org/G5508900111","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/G7774450325","display_name":null,"funder_award_id":"CNS 1525855","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/W2808883442.pdf","grobid_xml":"https://content.openalex.org/works/W2808883442.grobid-xml"},"referenced_works_count":17,"referenced_works":["https://openalex.org/W1483606732","https://openalex.org/W1494737186","https://openalex.org/W1506101803","https://openalex.org/W1992777946","https://openalex.org/W1994661703","https://openalex.org/W2003519602","https://openalex.org/W2049399166","https://openalex.org/W2101804404","https://openalex.org/W2131399618","https://openalex.org/W2134625450","https://openalex.org/W2153803621","https://openalex.org/W2158381251","https://openalex.org/W2182828685","https://openalex.org/W2221344136","https://openalex.org/W2625101315","https://openalex.org/W2758992328","https://openalex.org/W2950045952"],"related_works":["https://openalex.org/W2060561905","https://openalex.org/W1417711376","https://openalex.org/W1986883493","https://openalex.org/W2469862403","https://openalex.org/W2166378262","https://openalex.org/W2035891203","https://openalex.org/W4379524643","https://openalex.org/W2011027677","https://openalex.org/W2980998709","https://openalex.org/W2070290693"],"abstract_inverted_index":{"Formal":[0],"specifications":[1],"on":[2,26,52,122,154],"temporal":[3,24],"behavior":[4],"of":[5,13,23,76,103,131,184],"Cyber-Physical":[6],"Systems":[7],"(CPS)":[8],"is":[9,119,166],"essential":[10],"for":[11,19,57,128,150],"verification":[12],"performance":[14],"and":[15,31,69,112,178],"safety.":[16],"Existing":[17],"solutions":[18],"verifying":[20],"the":[21,40,59,67,74,80,84,89,101,104,107,113,135,140,144,151,155,182],"satisfaction":[22],"constraints":[25,61,153],"a":[27,97,173],"CPS":[28,41],"are":[29],"compute":[30],"resource":[32],"intensive":[33],"since":[34],"they":[35],"require":[36],"buffering":[37],"signals":[38,133],"from":[39,88],"prior":[42],"to":[43,82,100,138,171],"constraint":[44],"checking.":[45],"We":[46],"present":[47],"an":[48,185],"online":[49,186],"approach,":[50],"based":[51],"Timestamp":[53],"Temporal":[54],"Logic":[55],"(TTL),":[56],"monitoring":[58,117,130,148],"timing":[60,152],"in":[62,168,176,181],"CPS.":[63],"The":[64,92,147],"approach":[65],"reduces":[66],"computation":[68],"memory":[70,177],"requirements":[71],"by":[72],"processing":[73],"timestamps":[75],"pertinent":[77],"events":[78],"reducing":[79],"need":[81],"capture":[83],"full":[85],"data":[86,142],"set":[87],"signal":[90,93,105],"sampling.":[91],"buffer":[94],"size":[95],"bears":[96],"geometric":[98,174],"relationship":[99],"dimension":[102],"vector,":[106],"time":[108],"interval":[109],"being":[110],"considered,":[111],"sampling":[114],"resolution.":[115],"Since":[116],"logic":[118],"typically":[120],"implemented":[121],"Field":[123],"Programmable":[124],"Gate":[125],"Arrays":[126],"(FPGAs)":[127],"efficient":[129],"multiple":[132],"simultaneously,":[134],"space":[136],"required":[137],"store":[139],"buffered":[141],"becomes":[143],"limiting":[145],"resource.":[146],"logic,":[149],"Flying":[156],"Paster":[157],"(a":[158],"printing":[159],"application":[160],"requiring":[161],"synchronization":[162],"between":[163],"two":[164],"motors),":[165],"illustrated":[167],"this":[169],"paper":[170],"demonstrate":[172],"reduction":[175],"computational":[179],"resources":[180],"realization":[183],"monitor.":[187]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}