“安全自动机”——一种用于开发PLC安全应用的新规范语言

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012) Pub Date : 2012-09-01 DOI:10.1109/ETFA.2012.6489536

Georg Frey, R. Drath, Bastian Schlich, R. Eschbach

{"title":"“安全自动机”——一种用于开发PLC安全应用的新规范语言","authors":"Georg Frey, R. Drath, Bastian Schlich, R. Eschbach","doi":"10.1109/ETFA.2012.6489536","DOIUrl":null,"url":null,"abstract":"This contribution defines for the first time “safety automata”, a specification language for safety control functions. This fills an important gap in the method tool box of the automation engineer. The definition has a profound potential to broaden the use of automata and their well-known advantages in industrial applications. The advantages and application of safety automata are explained by example via the function block SF_Equivalent of the PLCopen specification. Stepwise, the authors illustrate the specification of this function block by means of safety automata, the transformation rules to implement the automata in fully functional PLC code, and finally the generation of test cases that allow checking both the automata and the PLC code.","PeriodicalId":222799,"journal":{"name":"Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012)","volume":"4 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2012-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"8","resultStr":"{\"title\":\"“Safety automata” — A new specification language for the development of PLC safety applications\",\"authors\":\"Georg Frey, R. Drath, Bastian Schlich, R. Eschbach\",\"doi\":\"10.1109/ETFA.2012.6489536\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This contribution defines for the first time “safety automata”, a specification language for safety control functions. This fills an important gap in the method tool box of the automation engineer. The definition has a profound potential to broaden the use of automata and their well-known advantages in industrial applications. The advantages and application of safety automata are explained by example via the function block SF_Equivalent of the PLCopen specification. Stepwise, the authors illustrate the specification of this function block by means of safety automata, the transformation rules to implement the automata in fully functional PLC code, and finally the generation of test cases that allow checking both the automata and the PLC code.\",\"PeriodicalId\":222799,\"journal\":{\"name\":\"Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012)\",\"volume\":\"4 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2012-09-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"8\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ETFA.2012.6489536\",\"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 of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ETFA.2012.6489536","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 8

摘要

这一贡献首次定义了“安全自动机”，一种用于安全控制功能的规范语言。这填补了自动化工程师方法工具箱中的一个重要空白。该定义具有深远的潜力，可以扩大自动机及其在工业应用中的众所周知的优势的使用。通过PLCopen规范的SF_Equivalent功能块，举例说明了安全自动机的优点和应用。逐步地，作者通过安全自动机说明了该功能块的规格，在功能齐全的PLC代码中实现自动机的转换规则，最后生成了允许检查自动机和PLC代码的测试用例。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

“Safety automata” — A new specification language for the development of PLC safety applications

This contribution defines for the first time “safety automata”, a specification language for safety control functions. This fills an important gap in the method tool box of the automation engineer. The definition has a profound potential to broaden the use of automata and their well-known advantages in industrial applications. The advantages and application of safety automata are explained by example via the function block SF_Equivalent of the PLCopen specification. Stepwise, the authors illustrate the specification of this function block by means of safety automata, the transformation rules to implement the automata in fully functional PLC code, and finally the generation of test cases that allow checking both the automata and the PLC code.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012)

自引率

0.00%

发文量