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

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

عنوان انگلیسی
Towards the systematic analysis of non-functional properties in Model-Based Engineering for real-time embedded systems
کد مقاله سال انتشار تعداد صفحات مقاله انگلیسی ترجمه فارسی
92228 2018 33 صفحه PDF سفارش دهید
دانلود فوری مقاله + سفارش ترجمه

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

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

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

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

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 18 تومان 21 روز بعد از پرداخت 252,972 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 36 تومان 11 روز بعد از پرداخت 505,944 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.
تولید محتوا برای سایت شما
پایگاه ISIArticles آمادگی دارد با همکاری مجموعه «شهر محتوا» با بهره گیری از منابع معتبر علمی، برای کتاب، سایت، وبلاگ، نشریه و سایر رسانه های شما، به زبان فارسی «تولید محتوا» نماید.
  • تولید محتوا با مقالات ISI برای سایت یا وبلاگ شما
  • تولید محتوا با مقالات ISI برای کتاب شما
  • تولید محتوا با مقالات ISI برای نشریه یا رسانه شما
  • و...

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

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

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

Journal : Science of Computer Programming, Volume 156, 1 May 2018, Pages 1-20

ترجمه کلمات کلیدی
مهندسی سیستم بر اساس مدل، خواص غیر کاربردی، قراردادهای تحلیلی، برنامه ریزی زمان واقعی، معماری توصیف زبان ها،
کلمات کلیدی انگلیسی
Model-Based Systems Engineering; Non-functional properties; Analysis contracts; Real-time scheduling; Architecture Description Languages;
پیش نمایش مقاله
پیش نمایش مقاله به سوی تجزیه و تحلیل سیستماتیک از خواص غیر عملکردی در مهندسی مبتنی بر مدل برای سیستم های جاسازی شده در زمان واقعی

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

The real-time scheduling theory provides analytical methods to assess the temporal predictability of embedded systems. Nevertheless, their use is limited in a Model-Based Systems Engineering approach. In fact, the large number of applicability conditions makes the use of real-time scheduling analysis tedious and error-prone. Key issues are left to the engineers: when to apply a real-time scheduling analysis? What to do with the analysis results? This article presents an approach to systematize and then automate the analysis of non-functional properties in Model-Based Systems Engineering. First, preconditions and postconditions define the applicability of an analysis. In addition, contracts specify the analysis interfaces, thereby enabling to reason about the analysis process. We present a proof-of-concept implementation of our approach using a combination of constraint languages (REAL for run-time analysis) and specification languages (Alloy for describing interfaces and reasoning about them). This approach is experimented on architectural models written with the Architecture Analysis and Design Language (AADL).

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

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

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

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

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

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 18 تومان 21 روز بعد از پرداخت 252,972 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 36 تومان 11 روز بعد از پرداخت 505,944 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.