طراحی مدل بهینه برای عمل V&ATS سیستم های مبتنی بر PLC

سال انتشار: 1393
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 416

فایل این مقاله در 10 صفحه با فرمت PDF قابل دریافت می باشد

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این مقاله:

شناسه ملی سند علمی:

ICEES01_163

تاریخ نمایه سازی: 16 اسفند 1394

چکیده مقاله:

اعتبار سنجی کاربردی برای صحت مدل طراحی شده در یک سیستم پیچیده مبتنی بر PLC به عنوان یک وظیفه مهم تلقی می شود. مدل سازی های مرسوم سیستم PLC به منظور Verification (درستی سنجی) عملی سخت و طاقت فرساست. یک مدل درستی سنج خوب باید پایدار و مختصر باشد .چون مدل از یک سو باید با سیستم سازگار و از سوی دیگر بدلیل بزرگ بودن مدل فضای حالت برنامه در سیستم های پیچیده ،مدل باید دارای اندازه و ابعاد مناسب باشد.این مقاله یک روش سیستماتیک برای طراحی مدلی بهینه برای عمل درستی سنجی و ترجمه خودکار نرم افزار پیشنهاد می کند. ساختار داخلی PLC و خصوصیات سخت افزاری به صورت اجزا سیستم مدل شده اند. روش ارائه شده برای تمامی کاربردهای PLC در صنایع مختلف عمومیت دارد. همچنین یک روش ترجمه خودکار(Automation Translation Software) برای مدل نرم افزاری براساس Semantics یا معناشناسی دستوری ارائه شده است.

نویسندگان

سید مهیار مهدی زاده مقدم

دانشگاه آزاد اسلامی واحد ساری، گروه برق و کنترل

مراجع و منابع این مقاله:

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • Componen t-Based Systems with Data Passing Using BIP " Engineering ...
  • E. M. Clarke and O. Grumberg, "Model Checking", Th MIT ...
  • Godefroid, P, "Generalized model checking", Temporal Representation and Reasoning, TIME ...
  • Burch, J.R. Clarke, E.M. Long, D.E. McMillan, K.L. Dill, D.L, ...
  • Systems, vol. 13, pp40-24, 1994 ...
  • Internati onal Electro technical Commisson, Techincal Committee No 65, Programmable ...
  • Sifakis, "D-fider: a tool for compositional deadlock Con tro ller-Programm ...
  • G. Canet, S. Couffi J. J. Lesage, A. Petit, and ...
  • R. Huuck, :Semantics and analysis of instruction list programs, " ...
  • Proceedings of the11th Euromicro Conference on Thoretical Computer Science, vol. ...
  • K. Loeis, M. B. Younis, and G. Frey, "Application of ...
  • M. Heiner and T Menzel, "A petri net semantics for ...
  • A. Basu, B. Bensalem, M. Bozga et al., "Rigorous componen ...
  • M. Bozga, M. Jaber, and J. Sifakis, ":Source-to- Source architecture ...
  • B. Bonakdarpour, M. Bozga, M. Jaber, J. _ high-level distributed ...
  • imp lementations _ in Proceedings of the 10th ACM International ...
  • S. Bensalem, M. Bozga, T. H. Nguyen, and J. ...
  • C onferenc eon, vol .2, pp. 6 13-61 8, 2004. ...
  • نمایش کامل مراجع