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

تجزیه و تحلیل استاتیک از نرم افزار همزمان یکپارچه شده با اولویت های پویا

عنوان انگلیسی
Static Analysis of Embedded Real-Time Concurrent Software with Dynamic Priorities
کد مقاله سال انتشار تعداد صفحات مقاله انگلیسی ترجمه فارسی
118751 2017 37 صفحه PDF سفارش دهید
دانلود فوری مقاله + سفارش ترجمه

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

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

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

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

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 18 تومان 26 روز بعد از پرداخت 318,276 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 36 تومان 13 روز بعد از پرداخت 636,552 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.
منبع

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

Journal : Electronic Notes in Theoretical Computer Science, Volume 331, 20 March 2017, Pages 3-39

ترجمه کلمات کلیدی
تجزیه و تحلیل استاتیک، تفسیر انتزاعی، تایید، ایمنی، همزمان شدن، خطاهای زمان اجرا نژاد داده ها، وقفه ها زمان بندی زمان واقعی پروتکل سقف اولویت،
کلمات کلیدی انگلیسی
static analysis; abstract interpretation; verification; safety; concurrency; run-time errors; data-races; deadlocks; real-time scheduling; priority ceiling protocol;
پیش نمایش مقاله
پیش نمایش مقاله تجزیه و تحلیل استاتیک از نرم افزار همزمان یکپارچه شده با اولویت های پویا

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

We illustrate our construction formally on an idealized language. Following previous work, we first provide a concrete semantics in thread-modular denotational form that is complete for safety properties, and then show how to apply classic abstractions to obtain an effective static analyzer, able to detect all run-time errors, data-races, as well as deadlocks. Finally, we briefly discuss our implementation inside the Astrée analyzer and on-going experimentation, with results limited for now to small programs.

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

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

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

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

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

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 18 تومان 26 روز بعد از پرداخت 318,276 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 36 تومان 13 روز بعد از پرداخت 636,552 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.