مدلسازی و درستنمایی سیستم اینترلاکینگ راه آهن به روش رسمی با استفاده از متد B

سال انتشار: 1388
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 1,375

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

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

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

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

NCRRAF01_072

تاریخ نمایه سازی: 9 مرداد 1388

چکیده مقاله:

ابهامات سیستمها منشا بروز خطا بوده و خطا در سیستمهای کنترلی مانند سیستمهای کنترل ریلی از علل و عوامل حوادثی مانند تصادفات ریلی و یا خروج از خط می باشد یکی از راهکار های رفع ابهامات استفاده از روشهای رسمی بوده بطوریکه دربسیاری از قراردادهای توسعه نرم افزار های ایمنی محور استفاده از روش مذکور در مجموعه الزامات قرار دادی گنجانده می شود روش رسمی بااستفاده از اثبات کننده های اتوماتیک، در زمینه توسعه نرم افزارهای ایمنی محور که هزینه خطای بالایی دارند بسیار مورد توجه می باشد. در حوزه مهندسی راه آهن بکارگیری روش مذکور در کشورهای پیشرفته بسیار متداول بوده و یک نمونه از چگونگی استفاده آن در این تحقیق بررسی شده است. دربحث اینترلاکینگ ایستگاهها تعامل بین اجزای مدلی پیچیده می سازد که فهم آن بسیار مشکل خواهد بود. ازاین دید بیان رسمی مشخصات با استفاده از روشی رسمی مانند روش رسمی B بسیار کارا می باشد در این مقاله سعی شده است یک نمونه از اینترلاکینگ متمرکز ارایه شود که اکثر فرایندها مانند رزرو نمودن مسیر، قفل مسیر، مسیر شانت، مسیر معکوس و مسیر فراخوان را در برداشته باشد.

نویسندگان

احمد میرابادی

دانشگاه علم و صنعت ا یران، دانشکده مهندسی راه آهن

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

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • Wikipedia encyclopedia WWW .wikipedia. org ...
  • L.-H. Eriksson, K. Johanssont Using formal metthods for quality ...
  • Marcano, S. Colin , G. Mariano " A Formal Framework ...
  • Automatic:ه [4] Mirabadi A., Yazdi M. B., generation and verification ...
  • J.R Abrial "Formal method-train system" sld. lecture 9 .January 2006 ...
  • Thierry Lecomte 1, Thierry Servat 1, Guilhem Pouzancre "Formal Methods ...
  • نمایش کامل مراجع