Virtual Synchrony Guarantees for Cyber-physical Systems. Ferrari, F., Zimmerling, M., Mottola, L., & Thiele, L. In 2013 IEEE 32nd International Symposium on Reliable Distributed Systems, pages 20–30, September, 2013. doi abstract bibtex By integrating computational and physical elements through feedback loops, CPSs implement a wide range of safety-critical applications, from high-confidence medical systems to critical infrastructure control. Deployed systems must therefore provide highly dependable operation against unpredictable real-world dynamics. However, common CPS hardware-comprising battery-powered and severely resource-constrained devices interconnected via low-power wireless-greatly complicates attaining the required communication guarantees. VIRTUS fills this gap by providing atomic multicast and view management atop resource-constrained devices, which together provide virtually synchronous executions that developers can leverage to apply established concepts from the dependable distributed systems literature. We build VIRTUS upon an existing best-effort communication layer, and formally prove the functional correctness of our mechanisms. We further show, through extensive real-world experiments, that VIRTUS incurs a limited performance penalty compared with best-effort communication. To the best of our knowledge, VIRTUS is the first system to provide virtual synchrony guarantees atop resource-constrained CPS hardware.
@inproceedings{ferrari2013Virtus,
title = {Virtual {Synchrony} {Guarantees} for {Cyber}-physical {Systems}},
doi = {10.1109/SRDS.2013.11},
abstract = {By integrating computational and physical elements through feedback loops, CPSs implement a wide range of safety-critical applications, from high-confidence medical systems to critical infrastructure control. Deployed systems must therefore provide highly dependable operation against unpredictable real-world dynamics. However, common CPS hardware-comprising battery-powered and severely resource-constrained devices interconnected via low-power wireless-greatly complicates attaining the required communication guarantees. VIRTUS fills this gap by providing atomic multicast and view management atop resource-constrained devices, which together provide virtually synchronous executions that developers can leverage to apply established concepts from the dependable distributed systems literature. We build VIRTUS upon an existing best-effort communication layer, and formally prove the functional correctness of our mechanisms. We further show, through extensive real-world experiments, that VIRTUS incurs a limited performance penalty compared with best-effort communication. To the best of our knowledge, VIRTUS is the first system to provide virtual synchrony guarantees atop resource-constrained CPS hardware.},
booktitle = {2013 {IEEE} 32nd {International} {Symposium} on {Reliable} {Distributed} {Systems}},
author = {Ferrari, F. and Zimmerling, M. and Mottola, L. and Thiele, L.},
month = sep,
year = {2013},
keywords = {CPS, Computer crashes, Protocols, Receivers, Reliability, Schedules, Sensors, VIRTUS, Wireless communication, atomic multicast management, atomic view management, best-effort communication layer, cyber-physical systems, distributed processing, functional correctness, resource-constrained devices, safety-critical software, virtual synchrony guarantees, virtually synchronous executions},
pages = {20--30}
}
Downloads: 0
{"_id":"vXBC53SJTBBfsz8y5","bibbaseid":"ferrari-zimmerling-mottola-thiele-virtualsynchronyguaranteesforcyberphysicalsystems-2013","authorIDs":[],"author_short":["Ferrari, F.","Zimmerling, M.","Mottola, L.","Thiele, L."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Virtual Synchrony Guarantees for Cyber-physical Systems","doi":"10.1109/SRDS.2013.11","abstract":"By integrating computational and physical elements through feedback loops, CPSs implement a wide range of safety-critical applications, from high-confidence medical systems to critical infrastructure control. Deployed systems must therefore provide highly dependable operation against unpredictable real-world dynamics. However, common CPS hardware-comprising battery-powered and severely resource-constrained devices interconnected via low-power wireless-greatly complicates attaining the required communication guarantees. VIRTUS fills this gap by providing atomic multicast and view management atop resource-constrained devices, which together provide virtually synchronous executions that developers can leverage to apply established concepts from the dependable distributed systems literature. We build VIRTUS upon an existing best-effort communication layer, and formally prove the functional correctness of our mechanisms. We further show, through extensive real-world experiments, that VIRTUS incurs a limited performance penalty compared with best-effort communication. To the best of our knowledge, VIRTUS is the first system to provide virtual synchrony guarantees atop resource-constrained CPS hardware.","booktitle":"2013 IEEE 32nd International Symposium on Reliable Distributed Systems","author":[{"propositions":[],"lastnames":["Ferrari"],"firstnames":["F."],"suffixes":[]},{"propositions":[],"lastnames":["Zimmerling"],"firstnames":["M."],"suffixes":[]},{"propositions":[],"lastnames":["Mottola"],"firstnames":["L."],"suffixes":[]},{"propositions":[],"lastnames":["Thiele"],"firstnames":["L."],"suffixes":[]}],"month":"September","year":"2013","keywords":"CPS, Computer crashes, Protocols, Receivers, Reliability, Schedules, Sensors, VIRTUS, Wireless communication, atomic multicast management, atomic view management, best-effort communication layer, cyber-physical systems, distributed processing, functional correctness, resource-constrained devices, safety-critical software, virtual synchrony guarantees, virtually synchronous executions","pages":"20–30","bibtex":"@inproceedings{ferrari2013Virtus,\n\ttitle = {Virtual {Synchrony} {Guarantees} for {Cyber}-physical {Systems}},\n\tdoi = {10.1109/SRDS.2013.11},\n\tabstract = {By integrating computational and physical elements through feedback loops, CPSs implement a wide range of safety-critical applications, from high-confidence medical systems to critical infrastructure control. Deployed systems must therefore provide highly dependable operation against unpredictable real-world dynamics. However, common CPS hardware-comprising battery-powered and severely resource-constrained devices interconnected via low-power wireless-greatly complicates attaining the required communication guarantees. VIRTUS fills this gap by providing atomic multicast and view management atop resource-constrained devices, which together provide virtually synchronous executions that developers can leverage to apply established concepts from the dependable distributed systems literature. We build VIRTUS upon an existing best-effort communication layer, and formally prove the functional correctness of our mechanisms. We further show, through extensive real-world experiments, that VIRTUS incurs a limited performance penalty compared with best-effort communication. To the best of our knowledge, VIRTUS is the first system to provide virtual synchrony guarantees atop resource-constrained CPS hardware.},\n\tbooktitle = {2013 {IEEE} 32nd {International} {Symposium} on {Reliable} {Distributed} {Systems}},\n\tauthor = {Ferrari, F. and Zimmerling, M. and Mottola, L. and Thiele, L.},\n\tmonth = sep,\n\tyear = {2013},\n\tkeywords = {CPS, Computer crashes, Protocols, Receivers, Reliability, Schedules, Sensors, VIRTUS, Wireless communication, atomic multicast management, atomic view management, best-effort communication layer, cyber-physical systems, distributed processing, functional correctness, resource-constrained devices, safety-critical software, virtual synchrony guarantees, virtually synchronous executions},\n\tpages = {20--30}\n}\n\n","author_short":["Ferrari, F.","Zimmerling, M.","Mottola, L.","Thiele, L."],"key":"ferrari2013Virtus","id":"ferrari2013Virtus","bibbaseid":"ferrari-zimmerling-mottola-thiele-virtualsynchronyguaranteesforcyberphysicalsystems-2013","role":"author","urls":{},"keyword":["CPS","Computer crashes","Protocols","Receivers","Reliability","Schedules","Sensors","VIRTUS","Wireless communication","atomic multicast management","atomic view management","best-effort communication layer","cyber-physical systems","distributed processing","functional correctness","resource-constrained devices","safety-critical software","virtual synchrony guarantees","virtually synchronous executions"],"downloads":0},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/romain_jacob","creationDate":"2020-03-11T17:05:50.138Z","downloads":0,"keywords":["cps","computer crashes","protocols","receivers","reliability","schedules","sensors","virtus","wireless communication","atomic multicast management","atomic view management","best-effort communication layer","cyber-physical systems","distributed processing","functional correctness","resource-constrained devices","safety-critical software","virtual synchrony guarantees","virtually synchronous executions"],"search_terms":["virtual","synchrony","guarantees","cyber","physical","systems","ferrari","zimmerling","mottola","thiele"],"title":"Virtual Synchrony Guarantees for Cyber-physical Systems","year":2013,"dataSources":["GSdyza34Yogv8tQFT"]}