远程读写总线通信协议:正式规范和验证

[Proceedings] IECON '90: 16th Annual Conference of IEEE Industrial Electronics Society Pub Date : 1990-11-27 DOI:10.1109/IECON.1990.149195

P. Azéma, K. Drira

{"title":"远程读写总线通信协议:正式规范和验证","authors":"P. Azéma, K. Drira","doi":"10.1109/IECON.1990.149195","DOIUrl":null,"url":null,"abstract":"In the context of computer-integrated manufacturing, communication protocols are being developed for remote sensor reading and remote actuator writing. A formal description technique that is used to specify a fieldbus protocol is introduced. This protocol is based on message broadcasting and control centralized via a mean station. Medium access and data-link control layers are the important features. The architectural principles and the distributed behavior of system modules are depicted by means of labeled Petri nets. These executable specifications are used to perform a formal analysis of components and allow properties of the interconnected system to be verified.<<ETX>>","PeriodicalId":253424,"journal":{"name":"[Proceedings] IECON '90: 16th Annual Conference of IEEE Industrial Electronics Society","volume":"29 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1990-11-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Bus communication protocol for remote reading and writing: Formal specification and verification\",\"authors\":\"P. Azéma, K. Drira\",\"doi\":\"10.1109/IECON.1990.149195\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In the context of computer-integrated manufacturing, communication protocols are being developed for remote sensor reading and remote actuator writing. A formal description technique that is used to specify a fieldbus protocol is introduced. This protocol is based on message broadcasting and control centralized via a mean station. Medium access and data-link control layers are the important features. The architectural principles and the distributed behavior of system modules are depicted by means of labeled Petri nets. These executable specifications are used to perform a formal analysis of components and allow properties of the interconnected system to be verified.<<ETX>>\",\"PeriodicalId\":253424,\"journal\":{\"name\":\"[Proceedings] IECON '90: 16th Annual Conference of IEEE Industrial Electronics Society\",\"volume\":\"29 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1990-11-27\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"[Proceedings] IECON '90: 16th Annual Conference of IEEE Industrial Electronics Society\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/IECON.1990.149195\",\"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] IECON '90: 16th Annual Conference of IEEE Industrial Electronics Society","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/IECON.1990.149195","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 1

摘要

在计算机集成制造的背景下，正在开发用于远程传感器读取和远程执行器写入的通信协议。介绍了一种用于指定现场总线协议的形式化描述技术。该协议基于消息广播，并通过中间站进行集中控制。介质访问层和数据链路控制层是其重要特征。通过标记Petri网描述了系统模块的体系结构原理和分布式行为。这些可执行的规范用于对组件进行形式化分析，并允许验证互连系统的属性。

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

查看原文本刊更多论文

Bus communication protocol for remote reading and writing: Formal specification and verification

In the context of computer-integrated manufacturing, communication protocols are being developed for remote sensor reading and remote actuator writing. A formal description technique that is used to specify a fieldbus protocol is introduced. This protocol is based on message broadcasting and control centralized via a mean station. Medium access and data-link control layers are the important features. The architectural principles and the distributed behavior of system modules are depicted by means of labeled Petri nets. These executable specifications are used to perform a formal analysis of components and allow properties of the interconnected system to be verified.<>

求助全文

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

来源期刊

[Proceedings] IECON '90: 16th Annual Conference of IEEE Industrial Electronics Society

CiteScore

1.40

自引率

0.00%

发文量