@InProceedings{2020WFCS,
  author    = {Alessio Sacco and Guido Marchetto and Riccardo Sisto and Fulvio Valenza},
  booktitle = {Proceedings of the 16th {IEEE} International Conference on Factory Communication Systems ({WFCS} 2020)},
  doi       = {10.1109/WFCS47810.2020.9114432},
  pages     = {1--4},
  publisher = {{IEEE}},
  title     = {Work-in-Progress: {A} Formal Approach to Verify Fault Tolerance in Industrial Network Systems},
  year      = {2020},
abstract={Distributed systems are extremely difficult to design and implement correctly because they must handle both system correctness and device failures. Most of the work focuses on the first aspect, and in particular, on the correctness of security and network configuration. The large demand for availability and reliability for critical services is actually pushing new architectures that tolerate faults, but a-priori analysis of redundancy and recovery features is still limited. To this end, we present a framework to design and formally verify the persistence of network properties, even in case of failures. The solution considers both nodes and links failure, and it is based on a formal model that takes both network topology and network device configurations into account. In contrast, most of the existing approaches only consider network topology. By analyzing the formal model, the framework can check whether the specified network services are still available after failures, and in case of success, it outputs a possible configuration of the devices to be used for automatic recovery. © 2020 IEEE.},
keywords={Industrial Network Systems,  Reachability Verification},
  url       = {https://iris.polito.it/retrieve/handle/11583/2842984/390133/WFCS_2020_WiP_submitted.pdf},
}

{"_id":"eYvFTf436nC6nhMks","bibbaseid":"sacco-marchetto-sisto-valenza-workinprogressaformalapproachtoverifyfaulttoleranceinindustrialnetworksystems-2020","authorIDs":["anJrBcCdr4LzzWetx","x5vNTEJ4s3raTsibp"],"author_short":["Sacco, A.","Marchetto, G.","Sisto, R.","Valenza, F."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Alessio"],"propositions":[],"lastnames":["Sacco"],"suffixes":[]},{"firstnames":["Guido"],"propositions":[],"lastnames":["Marchetto"],"suffixes":[]},{"firstnames":["Riccardo"],"propositions":[],"lastnames":["Sisto"],"suffixes":[]},{"firstnames":["Fulvio"],"propositions":[],"lastnames":["Valenza"],"suffixes":[]}],"booktitle":"Proceedings of the 16th IEEE International Conference on Factory Communication Systems (WFCS 2020)","doi":"10.1109/WFCS47810.2020.9114432","pages":"1–4","publisher":"IEEE","title":"Work-in-Progress: A Formal Approach to Verify Fault Tolerance in Industrial Network Systems","year":"2020","abstract":"Distributed systems are extremely difficult to design and implement correctly because they must handle both system correctness and device failures. Most of the work focuses on the first aspect, and in particular, on the correctness of security and network configuration. The large demand for availability and reliability for critical services is actually pushing new architectures that tolerate faults, but a-priori analysis of redundancy and recovery features is still limited. To this end, we present a framework to design and formally verify the persistence of network properties, even in case of failures. The solution considers both nodes and links failure, and it is based on a formal model that takes both network topology and network device configurations into account. In contrast, most of the existing approaches only consider network topology. By analyzing the formal model, the framework can check whether the specified network services are still available after failures, and in case of success, it outputs a possible configuration of the devices to be used for automatic recovery. © 2020 IEEE.","keywords":"Industrial Network Systems, Reachability Verification","url":"https://iris.polito.it/retrieve/handle/11583/2842984/390133/WFCS_2020_WiP_submitted.pdf","bibtex":"@InProceedings{2020WFCS,\r\n author = {Alessio Sacco and Guido Marchetto and Riccardo Sisto and Fulvio Valenza},\r\n booktitle = {Proceedings of the 16th {IEEE} International Conference on Factory Communication Systems ({WFCS} 2020)},\r\n doi = {10.1109/WFCS47810.2020.9114432},\r\n pages = {1--4},\r\n publisher = {{IEEE}},\r\n title = {Work-in-Progress: {A} Formal Approach to Verify Fault Tolerance in Industrial Network Systems},\r\n year = {2020},\r\nabstract={Distributed systems are extremely difficult to design and implement correctly because they must handle both system correctness and device failures. Most of the work focuses on the first aspect, and in particular, on the correctness of security and network configuration. The large demand for availability and reliability for critical services is actually pushing new architectures that tolerate faults, but a-priori analysis of redundancy and recovery features is still limited. To this end, we present a framework to design and formally verify the persistence of network properties, even in case of failures. The solution considers both nodes and links failure, and it is based on a formal model that takes both network topology and network device configurations into account. In contrast, most of the existing approaches only consider network topology. By analyzing the formal model, the framework can check whether the specified network services are still available after failures, and in case of success, it outputs a possible configuration of the devices to be used for automatic recovery. © 2020 IEEE.},\r\nkeywords={Industrial Network Systems, Reachability Verification},\r\n url = {https://iris.polito.it/retrieve/handle/11583/2842984/390133/WFCS_2020_WiP_submitted.pdf},\r\n}\r\n\r\n","author_short":["Sacco, A.","Marchetto, G.","Sisto, R.","Valenza, F."],"key":"2020WFCS","id":"2020WFCS","bibbaseid":"sacco-marchetto-sisto-valenza-workinprogressaformalapproachtoverifyfaulttoleranceinindustrialnetworksystems-2020","role":"author","urls":{"Paper":"https://iris.polito.it/retrieve/handle/11583/2842984/390133/WFCS_2020_WiP_submitted.pdf"},"keyword":["Industrial Network Systems","Reachability Verification"],"metadata":{"authorlinks":{"valenza, f":"https://bibbase.org/show?bib=https%3A%2F%2Fraw.githubusercontent.com%2FFulvioValenza%2Fbibliography%2Fmain%2FValenza_bibliography.bib&commas=true","valenza, f":"https://bibbase.org/service/mendeley/47be63fe-fca0-3f0f-a864-642602926c3f"}},"downloads":3},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/FulvioValenza/bibliography/main/Valenza_bibliography.bib","creationDate":"2021-01-16T10:07:49.739Z","downloads":3,"keywords":["industrial network systems","reachability verification"],"search_terms":["work","progress","formal","approach","verify","fault","tolerance","industrial","network","systems","sacco","marchetto","sisto","valenza"],"title":"Work-in-Progress: A Formal Approach to Verify Fault Tolerance in Industrial Network Systems","year":2020,"dataSources":["JbiX35GNqPCF3nids","csYhy47rJJgSM7jjJ"]}