By Topic

Bus communication protocol for remote reading and writing: Formal specification and verification

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

2 Author(s)
P. Azema ; LAAS-CNRS, Toulouse, France ; K. Drira

In the context of computer-integrated manufacturing, communication protocols are being developed for remote sensor reading and remote actuator writing. A formal description technique that is used to specify a fieldbus protocol is introduced. This protocol is based on message broadcasting and control centralized via a mean station. Medium access and data-link control layers are the important features. The architectural principles and the distributed behavior of system modules are depicted by means of labeled Petri nets. These executable specifications are used to perform a formal analysis of components and allow properties of the interconnected system to be verified

Published in:

Industrial Electronics Society, 1990. IECON '90., 16th Annual Conference of IEEE

Date of Conference:

27-30 Nov 1990