@InProceedings{bhat16osiris,
  author       = {Bhat, Koustubha and Vogt, Dirk and Van Der Kouwe, Erik and Gras, Ben and Sambuc, Lionel and Tanenbaum, Andrew S and Bos, Herbert and Giuffrida, Cristiano},
  booktitle    = {2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)},
  date         = {2016},
  title        = {OSIRIS: Efficient and consistent recovery of compartmentalized operating systems},
  organization = {IEEE},
  pages        = {25--36},
  comment      = {* snapshot & rollback for OS components
* in microkernel OS
* ~12% of OS SLOC, ~5% runtime overhead, ~64% recovery surface covered
* also address permanent faults by

  * conditionally not replaying input to restored component

* one fault at a time
* static analysis if/which recovery leads to globally consistent state
* build on concept of Reliable Computing Base (RCB)

  * parts of the system that need to be free of faults},
  file         = {:bhat16osiris - OSIRIS_ Efficient and consistent recovery of compartmentalized operating systems.pdf:PDF},
  groups       = {dependability by default / dependability wrap},
  timestamp    = {2021-12-06},
}

{"_id":"iGa3PRBvuaQWh9Btq","bibbaseid":"bhat-vogt-vanderkouwe-gras-sambuc-tanenbaum-bos-giuffrida-osirisefficientandconsistentrecoveryofcompartmentalizedoperatingsystems","author_short":["Bhat, K.","Vogt, D.","Van Der Kouwe, E.","Gras, B.","Sambuc, L.","Tanenbaum, A. S","Bos, H.","Giuffrida, C."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Bhat"],"firstnames":["Koustubha"],"suffixes":[]},{"propositions":[],"lastnames":["Vogt"],"firstnames":["Dirk"],"suffixes":[]},{"propositions":[],"lastnames":["Van","Der","Kouwe"],"firstnames":["Erik"],"suffixes":[]},{"propositions":[],"lastnames":["Gras"],"firstnames":["Ben"],"suffixes":[]},{"propositions":[],"lastnames":["Sambuc"],"firstnames":["Lionel"],"suffixes":[]},{"propositions":[],"lastnames":["Tanenbaum"],"firstnames":["Andrew","S"],"suffixes":[]},{"propositions":[],"lastnames":["Bos"],"firstnames":["Herbert"],"suffixes":[]},{"propositions":[],"lastnames":["Giuffrida"],"firstnames":["Cristiano"],"suffixes":[]}],"booktitle":"2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)","date":"2016","title":"OSIRIS: Efficient and consistent recovery of compartmentalized operating systems","organization":"IEEE","pages":"25–36","comment":"* snapshot & rollback for OS components * in microkernel OS *  12% of OS SLOC,  5% runtime overhead,  64% recovery surface covered * also address permanent faults by * conditionally not replaying input to restored component * one fault at a time * static analysis if/which recovery leads to globally consistent state * build on concept of Reliable Computing Base (RCB) * parts of the system that need to be free of faults","file":":bhat16osiris - OSIRIS_ Efficient and consistent recovery of compartmentalized operating systems.pdf:PDF","groups":"dependability by default / dependability wrap","timestamp":"2021-12-06","bibtex":"@InProceedings{bhat16osiris,\n author = {Bhat, Koustubha and Vogt, Dirk and Van Der Kouwe, Erik and Gras, Ben and Sambuc, Lionel and Tanenbaum, Andrew S and Bos, Herbert and Giuffrida, Cristiano},\n booktitle = {2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)},\n date = {2016},\n title = {OSIRIS: Efficient and consistent recovery of compartmentalized operating systems},\n organization = {IEEE},\n pages = {25--36},\n comment = {* snapshot & rollback for OS components\n* in microkernel OS\n* ~12% of OS SLOC, ~5% runtime overhead, ~64% recovery surface covered\n* also address permanent faults by\n\n * conditionally not replaying input to restored component\n\n* one fault at a time\n* static analysis if/which recovery leads to globally consistent state\n* build on concept of Reliable Computing Base (RCB)\n\n * parts of the system that need to be free of faults},\n file = {:bhat16osiris - OSIRIS_ Efficient and consistent recovery of compartmentalized operating systems.pdf:PDF},\n groups = {dependability by default / dependability wrap},\n timestamp = {2021-12-06},\n}\n\n","author_short":["Bhat, K.","Vogt, D.","Van Der Kouwe, E.","Gras, B.","Sambuc, L.","Tanenbaum, A. S","Bos, H.","Giuffrida, C."],"key":"bhat16osiris","id":"bhat16osiris","bibbaseid":"bhat-vogt-vanderkouwe-gras-sambuc-tanenbaum-bos-giuffrida-osirisefficientandconsistentrecoveryofcompartmentalizedoperatingsystems","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/network/files/AsPiHTmHHGjgy6xSQ","dataSources":["wjZw5s4JL49uLwn3p"],"keywords":[],"search_terms":["osiris","efficient","consistent","recovery","compartmentalized","operating","systems","bhat","vogt","van der kouwe","gras","sambuc","tanenbaum","bos","giuffrida"],"title":"OSIRIS: Efficient and consistent recovery of compartmentalized operating systems","year":null}