پاسخ به:دانلود مقالات حمل و نقل ریلی
سه شنبه 29 فروردین 1391 7:15 PM
 14: مدلسازي و درستنمايي سيستم اينترلاكينگ راه آهن به روش رسمي با استفاده از متد B  |
| ميرآبادي احمد، پيكرستان محسن |
| کنفرانس ملي تصادفات و سوانح جاده اي و ريلي 1388;آذر 1388(1) |
| کلید واژه: ايمني محور، روش رسمي، مشخصات رسمي، درستنمايي، متد B |
|
خلاصه:
ابهامات سيستمها منشا بروز خطا بوده و خطا در سيستمهاي كنترلي مانند سيستمهاي كنترل ريلي از علل و عوامل حوادثي مانند تصادفات ريلي و يا خروج از خط مي باشد يكي از راهكار هاي رفع ابهامات استفاده از روشهاي رسمي بوده بطوريكه در بسياري از قراردادهاي توسعه نرم افزارهاي ايمني محور استفاده از روش مذكور در مجموعه الزامات قرار دادي گنجانده مي شود روش رسمي با استفاده از اثبات كننده هاي اتوماتيك، در زمينه توسعه نرم افزارهاي ايمني محور كه هزينه خطاي بالايي دارند بسيار مورد توجه مي باشد. در حوزه مهندسي راه آهن بكارگيري روش مذكور در كشورهاي پيشرفته بسيار متداول بوده و يك نمونه از چگونگي استفاده آن در اين تحقيق بررسي شده است. در بحث اينترلاكينگ ايستگاهها تعامل بين اجزاي مدلي پيچيده مي سازد كه فهم آن بسيار مشكل خواهد بود. از اين ديد بيان رسمي مشخصات با استفاده از روشي رسمي مانند روش رسمي B بسيار كارا مي باشد در اين مقاله سعي شده است يك نمونه از اينترلاكينگ متمركز ارايه شود كه اكثر فرايندها مانند رزرو نمودن مسير، قفل مسير، مسير شانت، مسير معكوس و مسير فراخوان را در برداشته باشد. |
