Safety conditions verification of communication in distributed control system

The subject of the paper is the presentation of the methodology for automated verification of safety conditions of a fieldbus communication in a distributed control system. The methodology is based on a compositional verification method. The composition of partial specifications constitutes a system specification and proves that it satisfies a safety conditions. The safety conditions are formulated for verification as “clean behavior”. PVS (Prototype Verification System) software is employed for automated verification. The sample of specification and verification code in PVS language for a communication system based on Modbus RTU standard fieldbus protocol illustrates the application of the methodology in a real technical problem.