By Topic

Defining IEC 61499 Compliance Profiles using UML and OCL

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

2 Author(s)
Hussain, T. ; Univ. of Kaiserslautern, Kaiserslautern ; Frey, G.

IEC 61499 holds its distinct identity as a standard modeling language for distributed control applications in the realm of Industrial Process Measurement and Control Systems (IPMCSs). From the perspective of modeling distributed control applications it seems to be a fitting standard unless one tries to map the models into implementations on any of the diverse hardware platforms available for IPMCS. UML often seems to be a modeling counterpart of IEC 61499. Due to its wide-spread application in different domains UML is now enriched enough with artifacts like standard profiles and hence more expressive. Moreover, its familiarity inspired researchers to draw modeling similes with IEC 61499. In this context the presented work tries to present the aspects of UML artifacts to specify IEC 61499 models to avoid certain ambiguities that might widen the gap between model and implementation. Moreover, considering the fact that the model of IEC 61499 resources and its mapping to implementation determines how the constituent element should behave in the application, a modeling paradigm for resources - taking into account the execution semantics (profile) - in terms of UML is also proposed. Its uniqueness lies in the fact that the ambiguity of textual representation is sufficiently avoided. Furthermore, the definition in terms of constraints (OCL) allows checking a model for consistency with a given profile.

Published in:

Industrial Informatics, 2007 5th IEEE International Conference on  (Volume:2 )

Date of Conference:

23-27 June 2007