عنوان : ( معرفی و تحلیل ابزارهای نرم‌افزاری تزریق اشکال قابل استفاده در صنایع هوافضا )
نویسندگان: محمدرضا حیدری ایمان , یاسر صداقت ,
Full Textچکیده
رخداد اشکال و خطا در سیستم‌های نهفته بحرانی-ایمن می‌تواند منجر به رخداد خرابی و عواقب فاجعه‌آمیزی شود. بمنظور شناسایی نقاط آسیب‌پذیر سیستم در مقابل رخداد اشکال و خطا، می‌توان از تکنیک‌های تزریق اشکال بهره گرفت. تزریق اشکال، ایجاد عمدی اشکال در داخل سیستم و سپس بررسی نحوه عملکرد سیستم در حضور اشکال است. پس از تزریق اشکال، با مشخص شدن نقاط آسیب‌پذیر و حساس به اشکال در سیستم، می‌توان به بررسی معیارهای مهمی از اتکاپذیری سیستم نظیر قابلیت اطمینان پرداخت و موارد مهمی از جمله تحمل‌پذیری سیستم در حضور اشکال را سنجید. با توجه به اهمیت و جایگاه نرم‌افزار در سیستم‌های نهفته، در این مقاله ضمن بررسی روش‌ها و تکنیک‌های مختلف تزریق اشکال، به بررسی و تحلیل ابزارهای نرم‌افزاری مختلف ارائه شده و قابل استفاده در صنایع هوافضا پرداخته شده است. این ابزارها براساس ویژگی‌های ساختاری و برنامه‌سازی شده سیستم‌های نهفته بکار رفته در صنایع هوافضا انتخاب شده و ویژگی‌های این سیستم‌ها را پوشش می‌دهد.
کلمات کلیدی
, اتکاپذیری, ابزارهای تزریق اشکال, تحمل‌پذیری اشکال, تزریق اشکال, تکنیک‌های تزریق اشکال
@inproceedings{paperid:1047312,
author = {حیدری ایمان, محمدرضا and صداقت, یاسر},
title = {معرفی و تحلیل ابزارهای نرم‌افزاری تزریق اشکال قابل استفاده در صنایع هوافضا},
booktitle = {دومین کنفرانس ملی اویونیک ایران},
year = {2015},
location = {اصفهان, ايران},
keywords = {اتکاپذیری، ابزارهای تزریق اشکال، تحمل‌پذیری اشکال، تزریق اشکال، تکنیک‌های تزریق اشکال},
}
%0 Conference Proceedings
%T معرفی و تحلیل ابزارهای نرم‌افزاری تزریق اشکال قابل استفاده در صنایع هوافضا
%A حیدری ایمان, محمدرضا
%A صداقت, یاسر
%J دومین کنفرانس ملی اویونیک ایران
%D 2015
