{"title":"在数字工厂模型上调试反射程序","authors":"Alexandr Dvinianin, T. Liakh","doi":"10.1109/RusAutoCon52004.2021.9537401","DOIUrl":null,"url":null,"abstract":"Reflex is a process-oriented language designed for the development of control software in cyber-physical systems. Cost of errors in such systems is very high. Dynamic debugging allows to check the quality of control software and prevent breakdowns. However, there are no debugging tools for the Reflex language. In this paper, we describe a dynamic debugging module for the Reflex language. The debug module can be used with AVR168/328 microcontrollers as well as on the user's PC. Input port values can be managed either manually or by a simulated control plant, also described in the Reflex language. Users can debug Reflex program in step-by-step and cycle-by-cycle mode.","PeriodicalId":106150,"journal":{"name":"2021 International Russian Automation Conference (RusAutoCon)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2021-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Debugging Reflex-Programs on Digital Plant Models\",\"authors\":\"Alexandr Dvinianin, T. Liakh\",\"doi\":\"10.1109/RusAutoCon52004.2021.9537401\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Reflex is a process-oriented language designed for the development of control software in cyber-physical systems. Cost of errors in such systems is very high. Dynamic debugging allows to check the quality of control software and prevent breakdowns. However, there are no debugging tools for the Reflex language. In this paper, we describe a dynamic debugging module for the Reflex language. The debug module can be used with AVR168/328 microcontrollers as well as on the user's PC. Input port values can be managed either manually or by a simulated control plant, also described in the Reflex language. Users can debug Reflex program in step-by-step and cycle-by-cycle mode.\",\"PeriodicalId\":106150,\"journal\":{\"name\":\"2021 International Russian Automation Conference (RusAutoCon)\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2021-09-05\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2021 International Russian Automation Conference (RusAutoCon)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/RusAutoCon52004.2021.9537401\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2021 International Russian Automation Conference (RusAutoCon)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/RusAutoCon52004.2021.9537401","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Reflex is a process-oriented language designed for the development of control software in cyber-physical systems. Cost of errors in such systems is very high. Dynamic debugging allows to check the quality of control software and prevent breakdowns. However, there are no debugging tools for the Reflex language. In this paper, we describe a dynamic debugging module for the Reflex language. The debug module can be used with AVR168/328 microcontrollers as well as on the user's PC. Input port values can be managed either manually or by a simulated control plant, also described in the Reflex language. Users can debug Reflex program in step-by-step and cycle-by-cycle mode.