A. Bobbio, G. Franceschinis, R. Gaeta, L. Portinale
{"title":"基于参数故障树和高级Petri网的工业可编程控制器可靠性评估","authors":"A. Bobbio, G. Franceschinis, R. Gaeta, L. Portinale","doi":"10.1109/PNPM.2001.953353","DOIUrl":null,"url":null,"abstract":"The case-study presented in this paper is aimed at assessing the dependability of a Programmable Logic Controller (PLC) devoted to safety functions. This case study has been brought to our attention by a national environmental agency and has been partially abstracted and anonymized to protect proprietary information. The PLC consists of a triplicated channel with a (2:3) majority voting logic and is modeled by means of a recently proposed extension of the classical Fault Tree (FT) formalism called Parametric Fault Tree (PFT). In the PFT replicated units are folded and parameterized so that only one representative of the various similar replicas is explicitly included in the model. The quantitative analysis of the PFT assumes s-independence among components and is based on combinatorial formulas. In order to include dependencies both in the failure and repair process, the PFT is directly converted into a particular class of High Level Petri Nets, called SWN. The paper illustrates the PFT formalism and the automatic conversion algorithm from a PFT into a SWN Moreover, it is shown how various kind of dependencies can be accommodated in the obtained SWN model.","PeriodicalId":364695,"journal":{"name":"Proceedings 9th International Workshop on Petri Nets and Performance Models","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2001-09-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"18","resultStr":"{\"title\":\"Dependability assessment of an industrial Programmable Logic Controller via Parametric Fault-Tree and High Level Petri net\",\"authors\":\"A. Bobbio, G. Franceschinis, R. Gaeta, L. Portinale\",\"doi\":\"10.1109/PNPM.2001.953353\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The case-study presented in this paper is aimed at assessing the dependability of a Programmable Logic Controller (PLC) devoted to safety functions. This case study has been brought to our attention by a national environmental agency and has been partially abstracted and anonymized to protect proprietary information. The PLC consists of a triplicated channel with a (2:3) majority voting logic and is modeled by means of a recently proposed extension of the classical Fault Tree (FT) formalism called Parametric Fault Tree (PFT). In the PFT replicated units are folded and parameterized so that only one representative of the various similar replicas is explicitly included in the model. The quantitative analysis of the PFT assumes s-independence among components and is based on combinatorial formulas. In order to include dependencies both in the failure and repair process, the PFT is directly converted into a particular class of High Level Petri Nets, called SWN. The paper illustrates the PFT formalism and the automatic conversion algorithm from a PFT into a SWN Moreover, it is shown how various kind of dependencies can be accommodated in the obtained SWN model.\",\"PeriodicalId\":364695,\"journal\":{\"name\":\"Proceedings 9th International Workshop on Petri Nets and Performance Models\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2001-09-11\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"18\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings 9th International Workshop on Petri Nets and Performance Models\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/PNPM.2001.953353\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings 9th International Workshop on Petri Nets and Performance Models","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/PNPM.2001.953353","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Dependability assessment of an industrial Programmable Logic Controller via Parametric Fault-Tree and High Level Petri net
The case-study presented in this paper is aimed at assessing the dependability of a Programmable Logic Controller (PLC) devoted to safety functions. This case study has been brought to our attention by a national environmental agency and has been partially abstracted and anonymized to protect proprietary information. The PLC consists of a triplicated channel with a (2:3) majority voting logic and is modeled by means of a recently proposed extension of the classical Fault Tree (FT) formalism called Parametric Fault Tree (PFT). In the PFT replicated units are folded and parameterized so that only one representative of the various similar replicas is explicitly included in the model. The quantitative analysis of the PFT assumes s-independence among components and is based on combinatorial formulas. In order to include dependencies both in the failure and repair process, the PFT is directly converted into a particular class of High Level Petri Nets, called SWN. The paper illustrates the PFT formalism and the automatic conversion algorithm from a PFT into a SWN Moreover, it is shown how various kind of dependencies can be accommodated in the obtained SWN model.