{"title":"Application of formal description techniques in the framework of factory communications","authors":"P. Marino, M. Domínguez, F. Poza, J. Nogueira","doi":"10.1109/ETFA.1999.813083","DOIUrl":null,"url":null,"abstract":"In this work the protocol WorldFIP for industrial communication networks is specified with the formal specification language LOTOS. The paper introduces the main features of WorldFIP particularly those related to its data link layer. The methodology used and the description of specification are explained with the data types implemented. Following that, instances of tests developed for verifying the specification are described. A simulation environment is obtained for the WorldFIP protocol and an instance of simulation is shown. This allows us to detect a lack of efficiency in the protocol with the transfer of messages. Results and new guidelines of this work are explained. The LOTOS specification of the WorldFIP protocol shows that formal description techniques provide powerful CAE tools for advanced designs in the field of industrial communications.","PeriodicalId":119106,"journal":{"name":"1999 7th IEEE International Conference on Emerging Technologies and Factory Automation. Proceedings ETFA '99 (Cat. No.99TH8467)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1999-10-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"1999 7th IEEE International Conference on Emerging Technologies and Factory Automation. Proceedings ETFA '99 (Cat. No.99TH8467)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ETFA.1999.813083","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
In this work the protocol WorldFIP for industrial communication networks is specified with the formal specification language LOTOS. The paper introduces the main features of WorldFIP particularly those related to its data link layer. The methodology used and the description of specification are explained with the data types implemented. Following that, instances of tests developed for verifying the specification are described. A simulation environment is obtained for the WorldFIP protocol and an instance of simulation is shown. This allows us to detect a lack of efficiency in the protocol with the transfer of messages. Results and new guidelines of this work are explained. The LOTOS specification of the WorldFIP protocol shows that formal description techniques provide powerful CAE tools for advanced designs in the field of industrial communications.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
