By Topic

Experience with formal methods implementing the PROFIBUS FMS and DP protocol for industrial applications

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
$31 $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

4 Author(s)
Poschmann, A. ; Inst. fur Autom. und Kommunikation, Magdeburg ; Hahniche, J. ; Deicke, P. ; Neumann, P.

The paper presents our experience using the formal description technique Estelle for the protocol development cycle in the area of real time industrial communication systems. As a real world application, the PROFIBUS parts FMS and DP of the European fieldbus standard were completely implemented using formal models. These implementations are successfully used in industrial applications and embedded systems. Our development method, results, and experiences during the development process are discussed. A closed, tool based method is the overall aim concerning the development life cycle to support the requirement definition as well as the implementation of the product code with final testing. To meet these needs, our approach defines some assumptions and constraints using the syntactic and semantic model of the specification language Estelle, aspects of the modelling process concerning the architecture, handling data abstraction and encapsulation of the specification language vs. real time data flow in the product code implementation, synchronous vs. asynchronous communications to local interfaces (e.g. physical layer or partly data link layer ASIC) and dealing with special local events like timeouts and interrupts in the specification and in the real time execution environment. The paper discusses advantages and also critical points using the formal way of the protocol development cycle. In theory, it is quite clear that formal description techniques enhance quality. Therefore, we discuss this approach from the user's point of view

Published in:

Factory Communication Systems, 1997. Proceedings. 1997 IEEE International Workshop on

Date of Conference:

1-3 Oct 1997