مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

video

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

sound

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

نسخه انگلیسی

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید:

442
مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

دانلود:

144
مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

استناد:

اطلاعات مقاله همایش

عنوان

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

صفحات

 صفحه شروع | صفحه پایان

چکیده

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

استنادها

  • ثبت نشده است.
  • ارجاعات

  • ثبت نشده است.
  • استناددهی

    APA: کپی

    میرآبادی، احمد، و پیکرستان، محسن. (1388). مدلسازی و درستنمایی سیستم اینترلاکینگ راه آهن به روش رسمی با استفاده از متد B. کنفرانس ملی تصادفات و سوانح جاده ای و ریلی. SID. https://sid.ir/paper/812424/fa

    Vancouver: کپی

    میرآبادی احمد، پیکرستان محسن. مدلسازی و درستنمایی سیستم اینترلاکینگ راه آهن به روش رسمی با استفاده از متد B. 1388. Available from: https://sid.ir/paper/812424/fa

    IEEE: کپی

    احمد میرآبادی، و محسن پیکرستان، “مدلسازی و درستنمایی سیستم اینترلاکینگ راه آهن به روش رسمی با استفاده از متد B،” presented at the کنفرانس ملی تصادفات و سوانح جاده ای و ریلی. 1388، [Online]. Available: https://sid.ir/paper/812424/fa

    مقالات مرتبط نشریه ای

  • ثبت نشده است.
  • مقالات مرتبط همایشی

  • ثبت نشده است.
  • طرح های مرتبط

  • ثبت نشده است.
  • کارگاه های پیشنهادی






    بازگشت به بالا
    telegram sharing button
    whatsapp sharing button
    linkedin sharing button
    twitter sharing button
    email sharing button
    email sharing button
    email sharing button
    sharethis sharing button