Link level formal specification for industrial communication networks

In this paper the formal specification, verification, validation, implementation and simulation of Fieldbus Data Link (FDL) and management (FMA1/2) levels of the field bus protocol PROFIBUS through LOTOS formal description language is described. In this paper the LOTOS language is briefly described and a description is given of the field bus PROFIBUS in what concerns to its data link and management levels. A description of the obtained specification, is split into two parts: firstly, the different data types used, and secondly, the behavior part is described. Validation and implementation of the specification are explained. The conclusions obtained and the possible future works are mentioned