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

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

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

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).