{"id":"https://openalex.org/W2537005174","doi":"https://doi.org/10.1109/jsyst.2016.2614599","title":"Efficient and Scalable Runtime Monitoring for Cyber\u2013Physical System","display_name":"Efficient and Scalable Runtime Monitoring for Cyber\u2013Physical System","publication_year":2016,"publication_date":"2016-10-21","ids":{"openalex":"https://openalex.org/W2537005174","doi":"https://doi.org/10.1109/jsyst.2016.2614599","mag":"2537005174"},"language":"en","primary_location":{"id":"doi:10.1109/jsyst.2016.2614599","is_oa":false,"landing_page_url":"https://doi.org/10.1109/jsyst.2016.2614599","pdf_url":null,"source":{"id":"https://openalex.org/S95999327","display_name":"IEEE Systems Journal","issn_l":"1932-8184","issn":["1932-8184","1937-9234","2373-7816"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Systems Journal","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://figshare.com/articles/journal_contribution/Efficient_and_scalable_runtime_monitoring_for_cyber-physical_system/20803423","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5081182489","display_name":"Xi Zheng","orcid":"https://orcid.org/0000-0002-2572-2355"},"institutions":[{"id":"https://openalex.org/I149704539","display_name":"Deakin University","ror":"https://ror.org/02czsnj07","country_code":"AU","type":"education","lineage":["https://openalex.org/I149704539"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Xi Zheng","raw_affiliation_strings":["Deakin University, Burwood, VIC, AU"],"raw_orcid":"https://orcid.org/0000-0002-2572-2355","affiliations":[{"raw_affiliation_string":"Deakin University, Burwood, VIC, AU","institution_ids":["https://openalex.org/I149704539"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023117758","display_name":"Christine Julien","orcid":"https://orcid.org/0000-0002-4131-4642"},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Christine Julien","raw_affiliation_strings":["University of Texas at Austin, Austin, TX, US"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Texas at Austin, Austin, TX, US","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088582623","display_name":"Rodion Podorozhny","orcid":null},"institutions":[{"id":"https://openalex.org/I13511017","display_name":"Texas State University","ror":"https://ror.org/05h9q1g27","country_code":"US","type":"education","lineage":["https://openalex.org/I13511017"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Rodion Podorozhny","raw_affiliation_strings":["Department of Computer Science, Texas State University, San Marcos, TX, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Texas State University, San Marcos, TX, USA","institution_ids":["https://openalex.org/I13511017"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000548831","display_name":"Franck Cassez","orcid":"https://orcid.org/0000-0002-4317-5025"},"institutions":[{"id":"https://openalex.org/I99043593","display_name":"Macquarie University","ror":"https://ror.org/01sf06y89","country_code":"AU","type":"education","lineage":["https://openalex.org/I99043593"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Franck Cassez","raw_affiliation_strings":["Macquarie University, Sydney, NSW, AU"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Macquarie University, Sydney, NSW, AU","institution_ids":["https://openalex.org/I99043593"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5071175182","display_name":"Thierry Rakotoarivelo","orcid":"https://orcid.org/0000-0001-7698-6214"},"institutions":[{"id":"https://openalex.org/I42894916","display_name":"Data61","ror":"https://ror.org/03q397159","country_code":"AU","type":"other","lineage":["https://openalex.org/I1292875679","https://openalex.org/I2801453606","https://openalex.org/I42894916","https://openalex.org/I4387156119"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Thierry Rakotoarivelo","raw_affiliation_strings":["Network Research Group, National Information and Communications Technology Australia, Eveleigh, NSW, Australia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Network Research Group, National Information and Communications Technology Australia, Eveleigh, NSW, Australia","institution_ids":["https://openalex.org/I42894916"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":6.5603,"has_fulltext":false,"cited_by_count":44,"citation_normalized_percentile":{"value":0.97211791,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":100},"biblio":{"volume":"12","issue":"2","first_page":"1667","last_page":"1678"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9995999932289124,"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.9995999932289124,"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.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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9993000030517578,"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/runtime-verification","display_name":"Runtime verification","score":0.8396223783493042},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.8183421492576599},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7967448830604553},{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.67777419090271},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.6628203392028809},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5800972580909729},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.5345299243927002},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.5085369348526001},{"id":"https://openalex.org/keywords/runtime-system","display_name":"Runtime system","score":0.43968790769577026},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.4128868281841278},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4015452563762665},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.3352243900299072},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.12540984153747559},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.12296971678733826},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.10619965195655823},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.09504532814025879}],"concepts":[{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.8396223783493042},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.8183421492576599},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7967448830604553},{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.67777419090271},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.6628203392028809},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5800972580909729},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.5345299243927002},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5085369348526001},{"id":"https://openalex.org/C2780870223","wikidata":"https://www.wikidata.org/wiki/Q1004415","display_name":"Runtime system","level":2,"score":0.43968790769577026},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.4128868281841278},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4015452563762665},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3352243900299072},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.12540984153747559},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.12296971678733826},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.10619965195655823},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.09504532814025879},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/jsyst.2016.2614599","is_oa":false,"landing_page_url":"https://doi.org/10.1109/jsyst.2016.2614599","pdf_url":null,"source":{"id":"https://openalex.org/S95999327","display_name":"IEEE Systems Journal","issn_l":"1932-8184","issn":["1932-8184","1937-9234","2373-7816"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Systems Journal","raw_type":"journal-article"},{"id":"pmh:oai:dro.deakin.edu.au:DU:30109524","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306401102","display_name":"Own your potential (DEAKIN)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I149704539","host_organization_name":"Deakin University","host_organization_lineage":["https://openalex.org/I149704539"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Journal Article"},{"id":"pmh:oai:figshare.com:article/20803423","is_oa":true,"landing_page_url":"https://figshare.com/articles/journal_contribution/Efficient_and_scalable_runtime_monitoring_for_cyber-physical_system/20803423","pdf_url":null,"source":{"id":"https://openalex.org/S4377196282","display_name":"Figshare","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210132348","host_organization_name":"Figshare (United Kingdom)","host_organization_lineage":["https://openalex.org/I4210132348"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Text"}],"best_oa_location":{"id":"pmh:oai:figshare.com:article/20803423","is_oa":true,"landing_page_url":"https://figshare.com/articles/journal_contribution/Efficient_and_scalable_runtime_monitoring_for_cyber-physical_system/20803423","pdf_url":null,"source":{"id":"https://openalex.org/S4377196282","display_name":"Figshare","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210132348","host_organization_name":"Figshare (United Kingdom)","host_organization_lineage":["https://openalex.org/I4210132348"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G23873468","display_name":null,"funder_award_id":"CNS-1239498","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"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":56,"referenced_works":["https://openalex.org/W43908078","https://openalex.org/W66562016","https://openalex.org/W186968458","https://openalex.org/W209133351","https://openalex.org/W216834189","https://openalex.org/W327452528","https://openalex.org/W830431287","https://openalex.org/W944938320","https://openalex.org/W1002352093","https://openalex.org/W1416149289","https://openalex.org/W1740522204","https://openalex.org/W1928422391","https://openalex.org/W1967367548","https://openalex.org/W1968932663","https://openalex.org/W1971059059","https://openalex.org/W1975880855","https://openalex.org/W1984149757","https://openalex.org/W1992386785","https://openalex.org/W1996039196","https://openalex.org/W2002089154","https://openalex.org/W2005062077","https://openalex.org/W2021293348","https://openalex.org/W2027281287","https://openalex.org/W2030347614","https://openalex.org/W2040525744","https://openalex.org/W2046509591","https://openalex.org/W2047276559","https://openalex.org/W2060919737","https://openalex.org/W2062678317","https://openalex.org/W2065090389","https://openalex.org/W2070496765","https://openalex.org/W2077742780","https://openalex.org/W2078356878","https://openalex.org/W2088608958","https://openalex.org/W2101431076","https://openalex.org/W2102566802","https://openalex.org/W2118962824","https://openalex.org/W2134625450","https://openalex.org/W2142621944","https://openalex.org/W2145373440","https://openalex.org/W2150443739","https://openalex.org/W2158029981","https://openalex.org/W2163347957","https://openalex.org/W2165796723","https://openalex.org/W2170715240","https://openalex.org/W2207666193","https://openalex.org/W2213664160","https://openalex.org/W2248459344","https://openalex.org/W2278421482","https://openalex.org/W2292621889","https://openalex.org/W2407348992","https://openalex.org/W2947198853","https://openalex.org/W4234983448","https://openalex.org/W4302339081","https://openalex.org/W6601781261","https://openalex.org/W6684776193"],"related_works":["https://openalex.org/W2364921833","https://openalex.org/W2385146268","https://openalex.org/W2380023786","https://openalex.org/W3120511008","https://openalex.org/W1952402404","https://openalex.org/W2160425906","https://openalex.org/W2027487876","https://openalex.org/W2546696010","https://openalex.org/W1992741870","https://openalex.org/W2537005174"],"abstract_inverted_index":{"Our":[0,179],"reliance":[1],"on":[2,51,99],"cyber-physical":[3],"systems":[4,17,146,206],"(CPSs)":[5],"is":[6,60,98,142,150,194],"increasingly":[7],"widespread,":[8],"but":[9,37],"scalable":[10],"methods":[11],"for":[12,104,117],"the":[13,52,56,76,82,107,114,132,199],"analysis":[14],"of":[15,24,126,131,134,210],"such":[16],"remain":[18],"a":[19,27,64,92,123,189],"significant":[20],"challenge.":[21],"Runtime":[22],"verification":[23,33,46,66,77,94,120],"CPSs":[25],"provides":[26],"reasonable":[28],"middle":[29],"ground":[30],"between":[31],"formal":[32],"and":[34,71,137,163,188,193,201],"simulation":[35],"approaches,":[36],"it":[38,59,165],"comes":[39],"with":[40,81,176,207],"its":[41],"own":[42],"challenges.":[43],"A":[44],"runtime":[45,65,93,119],"system":[47,67,95],"must":[48],"run":[49],"directly":[50],"deployed":[53],"application.":[54,85],"In":[55,86],"CPS":[57,84,108,118,154,174],"domain,":[58],"therefore":[61],"critical":[62],"that":[63,75,182],"exhibits":[68],"low":[69],"overhead":[70,116,203],"good":[72],"scalability":[73],"so":[74],"does":[78],"not":[79],"interfere":[80],"analyzed":[83],"this":[87],"paper,":[88],"we":[89],"introduce":[90],"Brace,":[91],"whose":[96],"focus":[97],"ensuring":[100],"these":[101],"performance":[102],"qualities":[103],"applications":[105,175],"in":[106,129,147,170,205],"domain.":[109],"Brace":[110,141,158,183],"strives":[111],"to":[112,145,159,196],"bound":[113,197],"computation":[115,202],"while":[121],"preserving":[122],"high":[124],"level":[125],"monitoring":[127],"accuracy":[128],"terms":[130],"number":[133],"false":[135,138],"positive":[136],"negative":[139],"reports.":[140],"particularly":[143],"suitable":[144],"which":[148],"scheduling":[149],"distributed":[151,177],"across":[152],"networked":[153],"components.":[155],"We":[156],"evaluate":[157],"determine":[160],"how":[161],"effectively":[162],"efficiently":[164,184],"can":[166],"detect":[167],"injected":[168],"errors":[169,187],"two":[171],"existing":[172],"real-life":[173],"scheduling.":[178],"results":[180],"demonstrate":[181],"detects":[185],"those":[186],"few":[190],"true":[191],"bugs":[192],"able":[195],"both":[198],"memory":[200],"even":[204],"large":[208],"numbers":[209],"observed":[211],"events.":[212]},"counts_by_year":[{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":8},{"year":2019,"cited_by_count":8},{"year":2018,"cited_by_count":13}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}