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

چک کردن کامل مدل TCTL نمادین برای سیستم های بی درنگ کامل و ناقص

عنوان انگلیسی
Fully symbolic TCTL model checking for complete and incomplete real-time systems ☆☆☆
کد مقاله سال انتشار تعداد صفحات مقاله انگلیسی ترجمه فارسی
43094 2015 29 صفحه PDF سفارش دهید
دانلود فوری مقاله + سفارش ترجمه

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

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

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

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

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 18 تومان 28 روز بعد از پرداخت 427,680 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 36 تومان 14 روز بعد از پرداخت 855,360 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.
تولید محتوا برای سایت شما
پایگاه ISIArticles آمادگی دارد با همکاری مجموعه «شهر محتوا» با بهره گیری از منابع معتبر علمی، برای کتاب، سایت، وبلاگ، نشریه و سایر رسانه های شما، به زبان فارسی «تولید محتوا» نماید.
  • تولید محتوا با مقالات ISI برای سایت یا وبلاگ شما
  • تولید محتوا با مقالات ISI برای کتاب شما
  • تولید محتوا با مقالات ISI برای نشریه یا رسانه شما
  • و...

پیشنهاد می کنیم کیفیت محتوای سایت خود را با استفاده از منابع علمی، افزایش دهید.

سفارش تولید محتوا کد تخفیف 10 درصدی: isiArticles
منبع

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

Journal : Science of Computer Programming, Volume 111, Part 2, 1 November 2015, Pages 248–276

ترجمه کلمات کلیدی
اتوماسیون زمان بندی شده - سیستم های بی درنگ ناقص - چک کردن کامل مدل TCTL
کلمات کلیدی انگلیسی
Timed automata; Incomplete real-time systems; Full TCTL model checking
پیش نمایش مقاله
پیش نمایش مقاله چک کردن کامل مدل TCTL نمادین برای سیستم های بی درنگ کامل و ناقص

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

In this paper we present a fully symbolic TCTL model checking algorithm for real-time systems represented in a formal model called finite state machine with time (FSMT), which works on fully symbolic state sets containing both the clock values and the state variables. Our algorithm is able to verify TCTL properties on complete and incomplete FSMTs containing unknown components. For that purpose over-approximations of state sets fulfilling a TCTL property ϕ for at least one implementation of the unknown components and under-approximations of state sets fulfilling ϕ for all possible implementations of the unknown components are computed. We present two different methods to convert timed automata to FSMTs. In addition to FSMTs simulating pure interleaving behaviour of timed automata we can produce FSMTs with a parallelized interleaving behaviour which allows parallelism of conflict-free transitions. This can dramatically reduce the number of steps during verification. Our prototype implementation outperforms the state-of-the-art model checkers UPPAAL and RED on complete systems, and on incomplete systems our tool is able to prove interesting properties when parts of the system are unknown.

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

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

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

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

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

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 18 تومان 28 روز بعد از پرداخت 427,680 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 36 تومان 14 روز بعد از پرداخت 855,360 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.