کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
719832 892284 2008 6 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
A Data processing Model of IEC 61499 Function Blocks with Integer-Valued Data Types
موضوعات مرتبط
مهندسی و علوم پایه سایر رشته های مهندسی مکانیک محاسباتی
پیش نمایش صفحه اول مقاله
A Data processing Model of IEC 61499 Function Blocks with Integer-Valued Data Types
چکیده انگلیسی

To prove the correct behaviour of a distributed control system in any case is to do a closed-loop verification of the control system connected with the plant. Since controller interact with the plant not only via boolean values but via integer-valued data as well, a model of the data processing inside the controller is needed. As formal model we will use the known Net Condition/Event Systems (NCES) and it will be shown exemplarily at the basic arithmetical operations adding and subtracting as well as at the comparison of boolean and integer-valued data how the statements inside the algorithms have to be transformed to the formal model. Consequential, rules will be defined for the transformation of statements with boolean and integer-valued data processing. These will be embedded into the approach of transforming IEC 61499 control system but are not limited to this.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: IFAC Proceedings Volumes - Volume 41, Issue 3, 2008, Pages 175-180