Formal specification applied to industrial LAN´s design

Author

Marino, Perfecto ; Poza, F. ; Domìnguez, M. ; Nogueira, J.

Author_Institution

Dept. of Electron. Technol., Vigo Univ., Spain

fYear

1997

Firstpage

215

Lastpage

221

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 related to its data link layer. The methodology and data types implemented are explained, with an instance of performance tests developed for the specification. With LOTOS specification of the 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; local area networks; protocols; real-time systems; software tools; specification languages; FDL; LOTOS; PROFIBUS; data link layer; data types; formal specification; formal specification language; industrial LAN design; industrial communication networks; methodology; performance tests; prototyping; real-time field bus; software tools; Communication industry; Communication networks; Electronic mail; Formal specifications; Local area networks; Open systems; Protocols; Standardization; Standards development; Testing;

fLanguage

English

Publisher

ieee

Conference_Titel

EUROMICRO 97. New Frontiers of Information Technology., Proceedings of the 23rd EUROMICRO Conference

Conference_Location

Budapest, Hungary

ISSN

1089-6503

Print_ISBN

0-8186-8129-2

Type

conf

DOI

10.1109/EURMIC.1997.617271

Filename

617271