دانلود مقاله ISI انگلیسی شماره 91078
ترجمه فارسی عنوان مقاله

تأیید سیستم مدیریت ترافیک راه آهن اروپا در زمان واقعی

عنوان انگلیسی
Verification of the European Rail Traffic Management System in Real-Time Maude
کد مقاله سال انتشار تعداد صفحات مقاله انگلیسی ترجمه فارسی
91078 2018 28 صفحه PDF سفارش دهید
دانلود فوری مقاله + سفارش ترجمه

نسخه انگلیسی مقاله همین الان قابل دانلود است.

هزینه ترجمه مقاله بر اساس تعداد کلمات مقاله انگلیسی محاسبه می شود.

این مقاله تقریباً شامل 18641 کلمه می باشد.

هزینه ترجمه مقاله توسط مترجمان با تجربه، طبق جدول زیر محاسبه می شود:

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 12 تومان 27 روز بعد از پرداخت 223,692 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 24 تومان 14 روز بعد از پرداخت 447,384 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.
منبع

Publisher : Elsevier - Science Direct (الزویر - ساینس دایرکت)

Journal : Science of Computer Programming, Volume 154, 1 March 2018, Pages 61-88

پیش نمایش مقاله
پیش نمایش مقاله تأیید سیستم مدیریت ترافیک راه آهن اروپا در زمان واقعی

چکیده انگلیسی

The approach given in this paper is a rigorous one. In order to avoid modelling errors, we follow a systematic approach: First, as a requirement specification, we identify the event-response structures present in the ERTMS. Then, we model these structures in Real-Time Maude in a traceable way, i.e., specification text in Real-Time Maude can be directly mapped to requirements. We explore our models by checking if they have the desired behaviour, and apply systematic model-exploration through error injection – both these steps are carried out using the formal method Real-Time Maude. Finally, we analyse ERTMS by model-checking, thus applying a formal method to the railway domain, and we mathematically prove that our analysis of ERTMS by model-checking is complete, i.e., that it guarantees safety at all times.

دانلود فوری مقاله + سفارش ترجمه

نسخه انگلیسی مقاله همین الان قابل دانلود است.

هزینه ترجمه مقاله بر اساس تعداد کلمات مقاله انگلیسی محاسبه می شود.

این مقاله شامل 18641 کلمه می باشد.

هزینه ترجمه مقاله توسط مترجمان با تجربه، طبق جدول زیر محاسبه می شود:

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 12 تومان 27 روز بعد از پرداخت 223,692 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 24 تومان 14 روز بعد از پرداخت 447,384 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.