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

مشخصات رسمی مبتنی بر منطقه و تجزیه و تحلیل زمانبندی سیستم های خودپنداره در زمان واقعی

عنوان انگلیسی
Zone-based formal specification and timing analysis of real-time self-adaptive systems
کد مقاله سال انتشار تعداد صفحات مقاله انگلیسی ترجمه فارسی
92250 2018 38 صفحه PDF سفارش دهید
دانلود فوری مقاله + سفارش ترجمه

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

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

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

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

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

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

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

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

Journal : Science of Computer Programming, Volume 159, 1 July 2018, Pages 28-57

ترجمه کلمات کلیدی
خود سازگاری، سیستم های زمان واقعی شبکه پتری، تأیید رسمی، تجزیه و تحلیل زمان،
کلمات کلیدی انگلیسی
Self-adaptation; Real-time systems; Petri nets; Formal verification; Timing analysis;
پیش نمایش مقاله
پیش نمایش مقاله مشخصات رسمی مبتنی بر منطقه و تجزیه و تحلیل زمانبندی سیستم های خودپنداره در زمان واقعی

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

This article introduces the Zone-based Time Basic Petri nets specification formalism. The formalism adopts timed adaptation models to specify self-adaptive behavior with temporal constraints, and relies on a zone-based modeling approach to support separation of concerns. Zones identified during the modeling phase can be then used as modules either in isolation, to verify intra-zone properties, or all together, to verify inter-zone properties over the entire system. In addition, the framework allows the verification of (timed) robustness properties to guarantee self-healing capabilities when higher levels of reliability and availability are required to the system, especially when dealing with time-critical systems. This article presents also the ZAFETY tool, a Java software implementation of the proposed framework, and the validation and experimental results obtained in modeling and verifying two time-critical self-adaptive systems: the Gas Burner system and the Unmanned Aerial Vehicle system.

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

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

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

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

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

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