26952

روش هاي صوري و زبان هاي توصيف سخت افزار در طراحي منطق ابنترلاكينگ حمل و نقل راه آهن

كارشناسي ارشد

مهندسي راه آهن -گرايش كنترل علائم

1396

1399/11/29

محمدعلي صنديدزاده

راه آهن

پرداخت‌ به‌ موضوعاتي‌ همچون‌ سيگنالينگ‌ راه‌آهن‌ به‌ عنوان‌ خواستگاهي‌ بسيار امن‌، نياز به‌ ابزارهاي خاص‌ خود را دارد. آنچه‌ در اين‌ پايان‌نامه‌ به‌ آن‌ پرداخته‌ مي‌شود تلاشي‌ براي استفاده‌ از روش‌هاي صوري براي ايجاد يك‌ سيستم‌ مسيريابي‌ امن‌ در فضاهاي ايستگاهي‌ بوده‌ است‌. هدف‌ نهايي‌ ما داشتن‌ مدلي‌ است‌ كه‌ با استفاده‌ از زبان‌هايي‌ توصيف‌ سخت‌افزار در هماهنگي‌ كامل‌ با تجهيزات‌ خارجي‌(مدار راه‌ها، سوزن‌ها، سيگنال‌ها) كاركرده‌ و ثابت‌ شود كه‌ قطارها با پيروي از سيگنال‌ها و سوزن‌هاي تنظيم‌شده‌ توسط‌ كنترل‌كننده‌، به‌ روش‌ كاملا ايمن‌ عمل‌ خواهند كرد. ابزار اصلي‌ جهت‌ ساخت‌ اين‌ مدل‌، استفاده‌ از روش‌ صوري لوتوس‌ مي‌باشد كه‌ در اين‌ بخش‌ از صنعت‌ ريلي‌ بسيار بكر و استفاده‌ نشده‌ بوده‌ است‌، لذا مي‌توان‌ با مدل‌ كردن‌ دقيق‌ سيستم‌ اينترلاكينگ‌ براي اولين‌ بار در اين‌ بستر و استفاده‌ از ظرفيت‌هاي كمتر شناخته‌ شده‌ زبان‌ توصيفي‌ لوتوس‌ و شبيه‌سازي آن‌ توسط‌ زبان‌هايي‌ توصيف‌ سخت‌افزار، انتظار ايجاد سيستم‌هاي بسيار متمركز و يكپارچه‌ ريلي‌ را در آينده‌ داشت‌.

1400/11/27

Formal methods and hardware description languages in designing rail transport interlocking logic

2/18/2022 12:00:00 AM

ddressing issues such as signaling, railroads as a very safe haven requires its own tools. What is addressed in this dissertation is an attempt to use formal methods to create a secure routing system in station spaces. Our ultimate goal is to have a model that, using languages ​​describing hardware, works in perfect harmony with external equipment (circuit tracks, needles, signals) and proves that the trains will be fully operated by fully controlled tuning signals and needles. . The main tool for the construction of this model is the use of the Lotus face method, which has been very untapped and unused in this part of the rail industry, so it is possible to model the interlocking system for the first time in this context and use the lesser known capabilities of the language. Lotus description and simulation by hardware description languages ​​Expect highly centralized and integrated rail systems in the future.

اينترلاكينگ‌ , روش‌هاي صوري , لوتوس‌ , زبان‌هايي‌ توصيف‌ سخت‌افزار

Amir Mohammad Alizade

Dr. Sandidzade