By Topic

Reuse of components in formal modeling and verification of distributed control systems

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)
V. Vyatkin ; Dept. of Electr. & Comput. Eng., Auckland Univ., New Zealand ; H. -M. Hanisch

This paper describes formal modeling and verification of automation systems from the system engineering point of view. Reuse of model components is the key issue in order to bring the scientific modeling methodology into engineering practice. The reuse is achieved by the combination of modular modeling of automation systems with object-oriented description of models in UML style. This allows to benefit from advantages of both worlds: efficiently manage highly hierarchical complex models with UML tools and end up with efficiently executable models with distributed states that are compatible also with IEC61499 function block specifications. The approach is supported by the tool framework that is described in the contribution

Published in:

2005 IEEE Conference on Emerging Technologies and Factory Automation  (Volume:1 )

Date of Conference:

19-22 Sept. 2005