By Topic

Safety conditions verification of communication in distributed control system

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
Waldemar Mikluszka ; Department of Distributed Systems, University of Information Technology and Management

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.

Published in:

3rd International Conference on Human System Interaction

Date of Conference:

13-15 May 2010