Publisher of Iranian Journals and Conference Proceedings

Please waite ..
Publisher of Iranian Journals and Conference Proceedings
Login |Register |Help |عضویت کتابخانه ها
Paper
Title

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

سیزدهمین کنفرانس مهندسی برق ایران
Year: 1384
COI: ICEE13_213
Language: PersianView: 1,409
This Paper With 6 Page And PDF Format Ready To Download

Buy and Download

با استفاده از پرداخت اینترنتی بسیار سریع و ساده می توانید اصل این Paper را که دارای 6 صفحه است به صورت فایل PDF در اختیار داشته باشید.
آدرس ایمیل خود را در کادر زیر وارد نمایید:

Authors

سیدمرتضی بابامیر - دانشگاه کاشان - گروه مهندسی کامپیوتر
سعید جلیلی - دانشگاه تربیت مدرس - گروه مهندسی کامپیوتر

Abstract:

برنامههای واکنشی که وظیفه کنترل محیط یا دستگ اه پیرامون خود را به عهده دارند، در زمره برنامه های حساس به ایمنی قرار دارند به این معنی که احتمال خطا در آنها باید بسیار پایین باشد تا قابل اعتماد باشند . رویکردهای آزمون ایستا و پویا که از شیوه های رایج برای اجتناب یا کشف خطا در نرم افزار است، در آزمون برنامههای حساس به ایمنی با موانعی مواجه هستند . یک راه حل برای مقابله با این موانع، پایش و وارسی حین اجرای برنامه است . از طرف دیگر پاسخ برنامه واکنشی به محیط، باید متناسب با سرعت مورد نیاز محیط باشد به این معنی که پس از صدور محرک یا تقاضا از طرف محیط، برنام ه واکنشی فقط فرصت دارد قبل از صدور محرک یا تقاضای بعدی پاسخ بدهد . در این مقاله، ابتدا یک مدل دو لایه برای پایش و وارسی حین اجرای سیستم واکنشی پیشنهاد میکنیم، سپس برای نشان دادن عملی بودن آن ، دو ویژگی از نیازهای پروتکل ارتباطی CBCAST را به صورت دنباله اظهارات منطق های زمانی FIL و GIL بیان کرده و در نهایت اتوماتای حاصل از آن را میسازیم .

Keywords:

برنامه واکنشی , منطق زمانی بازه ای , آزمون نرمافزار , پایش و وارسی حین اجرا

Paper COI Code

This Paper COI Code is ICEE13_213. Also You can use the following address to link to this article. This link is permanent and is used as an article registration confirmation in the Civilica reference:

https://civilica.com/doc/42089/

How to Cite to This Paper:

If you want to refer to this Paper in your research work, you can simply use the following phrase in the resources section:
بابامیر، سیدمرتضی و جلیلی، سعید،1384،پایش و وارسی حین اجرای برنامههای واکنشی با استفاده از منطق زمانی بازهای،13th Iranian Conference on Electric Engineering،Zanjan،https://civilica.com/doc/42089

مراجع و منابع این Paper:

لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :

Research Info Management

Certificate | Report | من نویسنده این مقاله هستم

اطلاعات استنادی این Paper را به نرم افزارهای مدیریت اطلاعات علمی و استنادی ارسال نمایید و در تحقیقات خود از آن استفاده نمایید.

Scientometrics

The specifications of the publisher center of this Paper are as follows:
Type of center: دانشگاه دولتی
Paper count: 6,858
In the scientometrics section of CIVILICA, you can see the scientific ranking of the Iranian academic and research centers based on the statistics of indexed articles.

New Papers

New Researchs

Share this page

More information about COI

COI stands for "CIVILICA Object Identifier". COI is the unique code assigned to articles of Iranian conferences and journals when indexing on the CIVILICA citation database.

The COI is the national code of documents indexed in CIVILICA and is a unique and permanent code. it can always be cited and tracked and assumed as registration confirmation ID.

Support