کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
694799 890223 2012 8 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Transformation of Function Block Diagrams to UPPAAL timed automata for the verification of safety applications
موضوعات مرتبط
مهندسی و علوم پایه سایر رشته های مهندسی کنترل و سیستم های مهندسی
پیش نمایش صفحه اول مقاله
Transformation of Function Block Diagrams to UPPAAL timed automata for the verification of safety applications
چکیده انگلیسی

Verification of IEC 61131-3 based safety applications is a challenge in the industrial automation domain. In this paper, the transformation of FBD diagrams to UPPAAL formal models was adopted to address this challenge. A set of transformation rules are defined for the automatic transformation of IEC 61131-3 Function Block based safety applications to UPPAAL timed automata models. These models are next used for the verification of the safety application. Both the source and the target domain models have been formally defined and these definitions are used for the definition of the transformation rules. Based on this a prototype model transformer was developed using Java. The transformer was used with various safety applications to check the efficiency of the transformation process. A laboratory system is presented as a case study to highlight the proposed approach.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annual Reviews in Control - Volume 36, Issue 2, December 2012, Pages 338–345
نویسندگان
, , ,