{"title":"iec61131 PLC语言在SIGNAL中的同步模型","authors":"Fernando Jiménez-Fraustro, É. Rutten","doi":"10.1109/EMRTS.2001.934016","DOIUrl":null,"url":null,"abstract":"Control systems for industrial automation feature real-time programs embedded in a variety of machines and processes, showing complexity and safety criticality. Standardization has led to the definition of the IEC 61131 design standard for Programmable Logic Controllers (PLCs). Its formalization for purposes of analysis and design tool support is an active research topic. The synchronous approach to real-time and reactive systems has resulted in formalisms and effective tools for the compilation, analysis and verification of specifications. With the motivation to give access to the latter; this paper presents a synchronous model of the PLC programming languages ST (Structured Text) and FBD (Function Block Diagrams), based on the language SIGNAL.","PeriodicalId":292136,"journal":{"name":"Proceedings 13th Euromicro Conference on Real-Time Systems","volume":"47 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2001-06-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"21","resultStr":"{\"title\":\"A synchronous model of IEC 61131 PLC languages in SIGNAL\",\"authors\":\"Fernando Jiménez-Fraustro, É. Rutten\",\"doi\":\"10.1109/EMRTS.2001.934016\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Control systems for industrial automation feature real-time programs embedded in a variety of machines and processes, showing complexity and safety criticality. Standardization has led to the definition of the IEC 61131 design standard for Programmable Logic Controllers (PLCs). Its formalization for purposes of analysis and design tool support is an active research topic. The synchronous approach to real-time and reactive systems has resulted in formalisms and effective tools for the compilation, analysis and verification of specifications. With the motivation to give access to the latter; this paper presents a synchronous model of the PLC programming languages ST (Structured Text) and FBD (Function Block Diagrams), based on the language SIGNAL.\",\"PeriodicalId\":292136,\"journal\":{\"name\":\"Proceedings 13th Euromicro Conference on Real-Time Systems\",\"volume\":\"47 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2001-06-13\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"21\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings 13th Euromicro Conference on Real-Time Systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/EMRTS.2001.934016\",\"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 13th Euromicro Conference on Real-Time Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/EMRTS.2001.934016","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
A synchronous model of IEC 61131 PLC languages in SIGNAL
Control systems for industrial automation feature real-time programs embedded in a variety of machines and processes, showing complexity and safety criticality. Standardization has led to the definition of the IEC 61131 design standard for Programmable Logic Controllers (PLCs). Its formalization for purposes of analysis and design tool support is an active research topic. The synchronous approach to real-time and reactive systems has resulted in formalisms and effective tools for the compilation, analysis and verification of specifications. With the motivation to give access to the latter; this paper presents a synchronous model of the PLC programming languages ST (Structured Text) and FBD (Function Block Diagrams), based on the language SIGNAL.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
