具有在工业应用中实现PROFIBUS FMS和DP协议的正式方法的经验

A. Poschmann, J. Hahniche, P. Deicke, P. Neumann
{"title":"具有在工业应用中实现PROFIBUS FMS和DP协议的正式方法的经验","authors":"A. Poschmann, J. Hahniche, P. Deicke, P. Neumann","doi":"10.1109/WFCS.1997.634310","DOIUrl":null,"url":null,"abstract":"The paper presents our experience using the formal description technique Estelle for the protocol development cycle in the area of real time industrial communication systems. As a real world application, the PROFIBUS parts FMS and DP of the European fieldbus standard were completely implemented using formal models. These implementations are successfully used in industrial applications and embedded systems. Our development method, results, and experiences during the development process are discussed. A closed, tool based method is the overall aim concerning the development life cycle to support the requirement definition as well as the implementation of the product code with final testing. To meet these needs, our approach defines some assumptions and constraints using the syntactic and semantic model of the specification language Estelle, aspects of the modelling process concerning the architecture, handling data abstraction and encapsulation of the specification language vs. real time data flow in the product code implementation, synchronous vs. asynchronous communications to local interfaces (e.g. physical layer or partly data link layer ASIC) and dealing with special local events like timeouts and interrupts in the specification and in the real time execution environment. The paper discusses advantages and also critical points using the formal way of the protocol development cycle. In theory, it is quite clear that formal description techniques enhance quality. Therefore, we discuss this approach from the user's point of view.","PeriodicalId":433593,"journal":{"name":"Proceedings 1997 IEEE International Workshop on Factory Communication Systems. WFCS'97","volume":"130 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1997-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Experience with formal methods implementing the PROFIBUS FMS and DP protocol for industrial applications\",\"authors\":\"A. Poschmann, J. Hahniche, P. Deicke, P. Neumann\",\"doi\":\"10.1109/WFCS.1997.634310\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The paper presents our experience using the formal description technique Estelle for the protocol development cycle in the area of real time industrial communication systems. As a real world application, the PROFIBUS parts FMS and DP of the European fieldbus standard were completely implemented using formal models. These implementations are successfully used in industrial applications and embedded systems. Our development method, results, and experiences during the development process are discussed. A closed, tool based method is the overall aim concerning the development life cycle to support the requirement definition as well as the implementation of the product code with final testing. To meet these needs, our approach defines some assumptions and constraints using the syntactic and semantic model of the specification language Estelle, aspects of the modelling process concerning the architecture, handling data abstraction and encapsulation of the specification language vs. real time data flow in the product code implementation, synchronous vs. asynchronous communications to local interfaces (e.g. physical layer or partly data link layer ASIC) and dealing with special local events like timeouts and interrupts in the specification and in the real time execution environment. The paper discusses advantages and also critical points using the formal way of the protocol development cycle. In theory, it is quite clear that formal description techniques enhance quality. Therefore, we discuss this approach from the user's point of view.\",\"PeriodicalId\":433593,\"journal\":{\"name\":\"Proceedings 1997 IEEE International Workshop on Factory Communication Systems. WFCS'97\",\"volume\":\"130 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1997-10-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings 1997 IEEE International Workshop on Factory Communication Systems. WFCS'97\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/WFCS.1997.634310\",\"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 1997 IEEE International Workshop on Factory Communication Systems. WFCS'97","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/WFCS.1997.634310","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 1

摘要

本文介绍了我们在实时工业通信系统中使用Estelle形式化描述技术来描述协议开发周期的经验。作为一个实际应用,欧洲现场总线标准的PROFIBUS部分FMS和DP完全使用形式化模型实现。这些实现已成功地用于工业应用和嵌入式系统。讨论了我们在开发过程中的开发方法、成果和经验。一个封闭的,基于工具的方法是关于开发生命周期的总体目标,以支持需求定义以及通过最终测试实现产品代码。为了满足这些需求,我们的方法使用规范语言Estelle的语法和语义模型定义了一些假设和约束,以及与架构有关的建模过程的各个方面,处理规范语言的数据抽象和封装,以及产品代码实现中的实时数据流。与本地接口(例如物理层或部分数据链路层ASIC)的同步与异步通信,以及在规范和实时执行环境中处理特殊的本地事件,如超时和中断。本文讨论了采用协议开发周期形式化方法的优点和关键点。理论上,形式化描述技术可以提高质量,这是非常清楚的。因此,我们从用户的角度来讨论这种方法。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
Experience with formal methods implementing the PROFIBUS FMS and DP protocol for industrial applications
The paper presents our experience using the formal description technique Estelle for the protocol development cycle in the area of real time industrial communication systems. As a real world application, the PROFIBUS parts FMS and DP of the European fieldbus standard were completely implemented using formal models. These implementations are successfully used in industrial applications and embedded systems. Our development method, results, and experiences during the development process are discussed. A closed, tool based method is the overall aim concerning the development life cycle to support the requirement definition as well as the implementation of the product code with final testing. To meet these needs, our approach defines some assumptions and constraints using the syntactic and semantic model of the specification language Estelle, aspects of the modelling process concerning the architecture, handling data abstraction and encapsulation of the specification language vs. real time data flow in the product code implementation, synchronous vs. asynchronous communications to local interfaces (e.g. physical layer or partly data link layer ASIC) and dealing with special local events like timeouts and interrupts in the specification and in the real time execution environment. The paper discusses advantages and also critical points using the formal way of the protocol development cycle. In theory, it is quite clear that formal description techniques enhance quality. Therefore, we discuss this approach from the user's point of view.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信