{"title":"PLC程序的形式化以保持可靠性","authors":"M. Younis, Georg Frey","doi":"10.1109/RAMECH.2004.1437989","DOIUrl":null,"url":null,"abstract":"The complexity of existing PLC programs precludes dealing with or modifying them. The interest in the formalization of PLC programs has increased in recent years to overcome this problem. Formal methods can provide for the development of PLC programs, since they serve as a medium to analyze and verify them due to increased awareness of safety and quality. This is done by performing what is known as verification and validation (V&V). Moreover formal methods support reuse of already implemented PLC programs to meet new production demands. This paper examines different possibilities to formalize PLC programs. It explains the pros and cons of these different alternatives. The paper outlines a formal description of timers and counters used in PLC programs according to the alternative that fulfills the criteria best.","PeriodicalId":252964,"journal":{"name":"IEEE Conference on Robotics, Automation and Mechatronics, 2004.","volume":"103 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2004-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"22","resultStr":"{\"title\":\"Formalization of PLC programs to sustain reliability\",\"authors\":\"M. Younis, Georg Frey\",\"doi\":\"10.1109/RAMECH.2004.1437989\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The complexity of existing PLC programs precludes dealing with or modifying them. The interest in the formalization of PLC programs has increased in recent years to overcome this problem. Formal methods can provide for the development of PLC programs, since they serve as a medium to analyze and verify them due to increased awareness of safety and quality. This is done by performing what is known as verification and validation (V&V). Moreover formal methods support reuse of already implemented PLC programs to meet new production demands. This paper examines different possibilities to formalize PLC programs. It explains the pros and cons of these different alternatives. The paper outlines a formal description of timers and counters used in PLC programs according to the alternative that fulfills the criteria best.\",\"PeriodicalId\":252964,\"journal\":{\"name\":\"IEEE Conference on Robotics, Automation and Mechatronics, 2004.\",\"volume\":\"103 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2004-12-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"22\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"IEEE Conference on Robotics, Automation and Mechatronics, 2004.\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/RAMECH.2004.1437989\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"IEEE Conference on Robotics, Automation and Mechatronics, 2004.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/RAMECH.2004.1437989","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Formalization of PLC programs to sustain reliability
The complexity of existing PLC programs precludes dealing with or modifying them. The interest in the formalization of PLC programs has increased in recent years to overcome this problem. Formal methods can provide for the development of PLC programs, since they serve as a medium to analyze and verify them due to increased awareness of safety and quality. This is done by performing what is known as verification and validation (V&V). Moreover formal methods support reuse of already implemented PLC programs to meet new production demands. This paper examines different possibilities to formalize PLC programs. It explains the pros and cons of these different alternatives. The paper outlines a formal description of timers and counters used in PLC programs according to the alternative that fulfills the criteria best.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
