Форум АСУ в Україні

форум з автоматизації для викладачів, студентів та спеціалістів
Сьогодні: 28 січня 2020, 19:22

Часовий пояс UTC + 2 годин [ DST ]

Створити нову тему Відповісти  [ 1 повідомлення ] 
Автор Повідомлення
 Тема повідомлення: Model-Based Validation of Industrial Control Systems
ПовідомленняДодано: 28 вересня 2014, 01:54 

З нами з: 29 листопада 2013, 17:11
Повідомлення: 4999
Model-Based Validation of Industrial Control Systems
E. Estevez, M. Marcos
Journal Article IEEE Transactions on Industrial Informatics 8(2) 302-310
Current industrial applications demand the design of more and more complex, safe and trustworthy control systems exhibiting a high degree of flexibility and reutilization. To achieve this, the engineering process should be improved by making the engineering tools involved in the development process to collaborate during the design. This paper presents a model-based approach for designing complex automation applications. The core of the approach is constituted by a set of domain specific models that depend on the application field and whose elements, syntax and semantics are defined from the point of view of the experts that participate in the design of the system. The domain models are defined using engineering tools as the design progresses and they can be used to achieve tool integration through model collaboration. This can be achieved following the Model Driven Engineering approach by means of model transformations. This paper specifically focuses on the first step of this paradigm: the definition of domain languages, in this case for industrial control systems, as well as validation mechanisms of application designs coming from different domain tools. Three well known and widely used industrial standards have been used: Computer Aided Engineering eXchange (CAEX), PLCopen (a representation format for the IEC 61131-3 standard) and MathML (a language for defining mathematical constraints). Using model checking it is possible to assure the correctness of the control system specification and using model transformation it is possible to detect design errors in early stages of the design.

Відображати повідомлення за:  Сортувати за  
Створити нову тему Відповісти  [ 1 повідомлення ] 

Часовий пояс UTC + 2 годин [ DST ]

Хто зараз онлайн

Зараз переглядають цей форум: Немає зареєстрованих користувачів і 1 гість

Ви не можете створювати нові теми у цьому форумі
Ви не можете відповідати на теми у цьому форумі
Ви не можете редагувати ваші повідомлення у цьому форумі
Ви не можете видаляти ваші повідомлення у цьому форумі
Ви не можете додавати файли у цьому форумі

Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group
Вы можете бесплатно создать форум PHPBB2 на MyBB2.ru, Также возможно создать форум бесплатно PHPBB3 на Getbb.ru
Український переклад © 2005-2007 Українська підтримка phpBB