کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
5002784 | 1368457 | 2016 | 6 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Formal and Joint Verification of Control Programs and Supervision Interfaces for Socio-technical Systems Components
ترجمه فارسی عنوان
رسمی و مشترک تأیید برنامه های کنترل و رابط های نظارت برای اجزای سیستم های اجتماعی و فنی
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
سایر رشته های مهندسی
مکانیک محاسباتی
چکیده انگلیسی
The Anaxagore Project (Bignon et al., 2013) provides a component-based design ow for reconfigurable socio-technical systems. Each component integrates a control program and a supervision interface and it has been validated by empirical testing. The purpose of this paper is the use of formal methods for the verification of the whole component control-command chain. Different component features (the control program, the supervision interface, the physical device) and the human tasks are modeled using timed automata. These timed automata are then checked by model checking (UPPAAL) with a set of safety and usability properties written in CTL. Our approach is presented through an industrial case study: the supervised control of a 2-way motorized valve. The results show that the use of formal techniques enables to successfully detect control program and supervision interface design errors.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: IFAC-PapersOnLine - Volume 49, Issue 19, 2016, Pages 426-431
Journal: IFAC-PapersOnLine - Volume 49, Issue 19, 2016, Pages 426-431
نویسندگان
S. Mesli-Kesraoui, A. Toguyeni, A. Bignon, F. Oquendo, D. Kesraoui, P. Berruet,