Design methodologies of shop-floor communication protocols based on FDL tools

Author

Mario, P. ; Poza, Francisco ; Dominguez, Manuel ; Nogueira, J.

Author_Institution

Dept. of Electron. Technol., Vigo Univ.

fYear

1997

fDate

23-25 Sep 1997

Firstpage

206

Lastpage

211

Abstract

In this work the real-time field bus PROFIBUS for industrial communication networks, is specified with the formal specification language LOTOS and its associated tools. The paper introduces the general characteristics of LOTOS and its related tools, and the main features of PROFIBUS particularly those related with its data link layer. The methodology and data types implemented are explained, with an instance of developed performance tests for the specification. With LOTOS specification of PROFIBUS protocol, FDL based techniques will contribute to achieve more accurate designs and fast prototyping in the field of industrial communications

Keywords

field buses; formal specification; open systems; real-time systems; specification languages; FDL tools; LOTOS; PROFIBUS; data link layer; design methodologies; field bus; formal specification language; industrial communication networks; performance tests; shop-floor communication protocols; Circuit simulation; Communication industry; Communication networks; Design methodology; Formal specifications; Manufacturing automation; Open systems; Protocols; Software testing; Software tools;

fLanguage

English

Publisher

ieee

Conference_Titel

Mechatronics and Machine Vision in Practice, 1997. Proceedings., Fourth Annual Conference on

Conference_Location

Toowoomba, Qld.

Print_ISBN

0-8186-8025-3

Type

conf

DOI

10.1109/MMVIP.1997.625328

Filename

625328