{"id":"https://openalex.org/W2056047125","doi":"https://doi.org/10.1145/2744196","title":"Runtime Monitoring of Cyber-Physical Systems Under Timing and Memory Constraints","display_name":"Runtime Monitoring of Cyber-Physical Systems Under Timing and Memory Constraints","publication_year":2015,"publication_date":"2015-10-20","ids":{"openalex":"https://openalex.org/W2056047125","doi":"https://doi.org/10.1145/2744196","mag":"2056047125"},"language":"en","primary_location":{"id":"doi:10.1145/2744196","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2744196","pdf_url":null,"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":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5082721426","display_name":"Ramy Medhat","orcid":"https://orcid.org/0000-0002-9385-5862"},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Ramy Medhat","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of Waterloo, Canada","Department of Electrical and Computer Engineering, University of Waterloo, Canada#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Waterloo, Canada","institution_ids":["https://openalex.org/I151746483"]},{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Waterloo, Canada#TAB#","institution_ids":["https://openalex.org/I151746483"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008486466","display_name":"Borzoo Bonakdarpour","orcid":"https://orcid.org/0000-0003-1800-5419"},"institutions":[{"id":"https://openalex.org/I98251732","display_name":"McMaster University","ror":"https://ror.org/02fa3aq29","country_code":"CA","type":"education","lineage":["https://openalex.org/I98251732"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Borzoo Bonakdarpour","raw_affiliation_strings":["Department of Computing and Software, McMaster University, Canada","[Department of Computing and Software, McMaster University, Canada]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computing and Software, McMaster University, Canada","institution_ids":["https://openalex.org/I98251732"]},{"raw_affiliation_string":"[Department of Computing and Software, McMaster University, Canada]","institution_ids":["https://openalex.org/I98251732"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007575867","display_name":"Deepak Kumar","orcid":"https://orcid.org/0000-0002-3399-2582"},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Deepak Kumar","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of Waterloo, Canada","Department of Electrical and Computer Engineering, University of Waterloo, Canada#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Waterloo, Canada","institution_ids":["https://openalex.org/I151746483"]},{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Waterloo, Canada#TAB#","institution_ids":["https://openalex.org/I151746483"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5004216052","display_name":"Sebastian Fischmeister","orcid":null},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Sebastian Fischmeister","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of Waterloo, Canada","Department of Electrical and Computer Engineering, University of Waterloo, Canada#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Waterloo, Canada","institution_ids":["https://openalex.org/I151746483"]},{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Waterloo, Canada#TAB#","institution_ids":["https://openalex.org/I151746483"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5082721426"],"corresponding_institution_ids":["https://openalex.org/I151746483"],"apc_list":null,"apc_paid":null,"fwci":3.6232,"has_fulltext":false,"cited_by_count":27,"citation_normalized_percentile":{"value":0.92908965,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"14","issue":"4","first_page":"1","last_page":"29"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","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"}},"topics":[{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9940999746322632,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.9933000206947327,"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.8622087836265564},{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.6715378761291504},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.494462251663208},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime verification","score":0.48484766483306885},{"id":"https://openalex.org/keywords/jitter","display_name":"Jitter","score":0.4492932856082916},{"id":"https://openalex.org/keywords/memory-footprint","display_name":"Memory footprint","score":0.4383554756641388},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.4232131242752075},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.37793073058128357},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.1522071361541748},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.1479852795600891}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8622087836265564},{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.6715378761291504},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.494462251663208},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.48484766483306885},{"id":"https://openalex.org/C134652429","wikidata":"https://www.wikidata.org/wiki/Q1052698","display_name":"Jitter","level":2,"score":0.4492932856082916},{"id":"https://openalex.org/C74912251","wikidata":"https://www.wikidata.org/wiki/Q6815727","display_name":"Memory footprint","level":2,"score":0.4383554756641388},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.4232131242752075},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.37793073058128357},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1522071361541748},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.1479852795600891},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","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":1,"locations":[{"id":"doi:10.1145/2744196","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2744196","pdf_url":null,"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":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W45356373","https://openalex.org/W159136752","https://openalex.org/W1485268022","https://openalex.org/W1485567977","https://openalex.org/W1971059059","https://openalex.org/W2037527348","https://openalex.org/W2061872918","https://openalex.org/W2102674270","https://openalex.org/W2107412422","https://openalex.org/W2113335827","https://openalex.org/W2114768982","https://openalex.org/W2115965729","https://openalex.org/W2116593309","https://openalex.org/W2119699246","https://openalex.org/W2121167614","https://openalex.org/W2146279349","https://openalex.org/W2150593762","https://openalex.org/W2169589594","https://openalex.org/W2242847901","https://openalex.org/W2279272802","https://openalex.org/W2306724671","https://openalex.org/W2479226226","https://openalex.org/W2484215240","https://openalex.org/W2980070341","https://openalex.org/W4230726766","https://openalex.org/W4245569013","https://openalex.org/W4285719527","https://openalex.org/W6666877243"],"related_works":["https://openalex.org/W2121182846","https://openalex.org/W2315668284","https://openalex.org/W2155789024","https://openalex.org/W2109491806","https://openalex.org/W3213608175","https://openalex.org/W2058044441","https://openalex.org/W3117675750","https://openalex.org/W2141743053","https://openalex.org/W2018256611","https://openalex.org/W4289219861"],"abstract_inverted_index":{"The":[0,38,136,254],"goal":[1],"of":[2,10,22,31,52,58,81,99,128,152,154,185,187,219,257,269,286],"runtime":[3,42,126],"monitoring":[4,43,67,82,116,127,141,235,271],"is":[5,44,62,94],"to":[6,69,73,139,163,181,194,263,275],"inspect":[7],"the":[8,20,23,47,56,133,150,178,183,246,251,258,270],"well-being":[9],"a":[11,15,29,65,90,112,169,209,216,225,234,241,276],"system":[12,24,236],"by":[13],"employing":[14],"monitor":[16],"process":[17],"that":[18,130],"reads":[19],"state":[21],"during":[25,221],"execution":[26],"and":[27,122,143,232,245],"evaluates":[28],"set":[30],"properties":[32,160],"expressed":[33],"in":[34,41,50,97,103,125,173,240,250,266],"some":[35],"specification":[36],"language.":[37],"main":[39],"challenge":[40],"dealing":[45],"with":[46,84,132],"costs":[48],"imposed":[49],"terms":[51],"resource":[53],"utilization.":[54],"In":[55,107],"context":[57],"cyber-physical":[59,100],"systems,":[60,101],"it":[61],"crucial":[63],"for":[64,118,229,237],"software":[66,115],"solution":[68,117,272],"be":[70,164],"time":[71,120,267],"predictable":[72,87],"improve":[74],"scheduling,":[75],"as":[76,78],"well":[77],"support":[79],"composition":[80],"solutions":[83],"an":[85,284],"overall":[86],"behavior.":[88],"Moreover,":[89,280],"small":[91],"memory":[92,123,145,179,281],"footprint":[93],"often":[95],"required":[96,162],"components":[98],"especially":[102],"deeply":[104],"embedded":[105],"systems.":[106],"this":[108],"article,":[109],"we":[110,167,203],"propose":[111],"novel":[113],"control-theoretic":[114],"coordinating":[119],"predictability":[121,268],"utilization":[124,146,282],"systems":[129,157],"interact":[131],"physical":[134],"world.":[135],"controllers":[137,175],"attempt":[138],"reduce":[140],"jitter":[142,192],"maximize":[144],"while":[147],"simultaneously":[148],"ensuring":[149],"soundness":[151],"evaluation":[153],"properties.":[155],"For":[156],"where":[158],"multiple":[159],"are":[161],"monitored":[165],"simultaneously,":[166],"construct":[168],"buffer":[170,292],"sharing":[171],"mechanism":[172],"which":[174,214],"dynamically":[176],"share":[177],"space":[180],"negate":[182],"effect":[184],"bursts":[186],"environment":[188],"actions,":[189],"thus":[190],"reducing":[191],"due":[193],"transient":[195],"high":[196],"loads.":[197],"To":[198],"validate":[199],"our":[200,290],"design":[201],"choices,":[202],"present":[204],"three":[205],"case":[206,259],"studies:":[207],"(1)":[208],"Bluetooth":[210],"mobile":[211],"payment":[212],"system,":[213],"shows":[215],"sporadic":[217],"rate":[218],"events":[220],"peak":[222],"hours;":[223],"(2)":[224],"laser":[226],"beam":[227],"stabilizer":[228],"target":[230],"tracking,":[231],"(3)":[233],"air/fuel":[238],"ratio":[239],"car":[242],"engine":[243],"exhaust":[244],"CAM":[247],"inlet":[248],"position":[249],"engine\u2019s":[252],"cylinders.":[253],"experimental":[255],"results":[256],"studies":[260],"demonstrate":[261],"up":[262],"40%":[264],"improvement":[265],"when":[273,288],"compared":[274],"basic":[277],"event-triggered":[278],"approach.":[279],"reaches":[283],"average":[285],"90%":[287],"using":[289],"dynamic":[291],"resizing":[293],"mechanism.":[294]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":6},{"year":2018,"cited_by_count":6},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}