محاسبه دقیق مقدار ویژگی دسترس پذیری به کمک سیستم های تبدیل گراف
Publish Year: 1394
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 515
This Paper With 12 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
ITCC01_506
تاریخ نمایه سازی: 9 فروردین 1395
Abstract:
در طراحی های فرمال صورت گرفته، وقوع و یا عدم وقوع یک اتفاق گارانتی شده، طراح با اطمینانطراحی خود را به پایان می برد. از جمله سیستم های فرمال می توان به سیستم های تبدیل گرافاشاره کرد. در پیاده سازی این سیستم به کمک ابزار GROOVE با ترسیم کل فضای حالت بهصورت خودکار، ویژگیهایی همچون وقوع حتمی یک اتفاق، ایمنی (عدم وقوع حتمی یکاتفاق)، دسترس پذیری (احتمال وقوع یک رویداد) و وقوع یک اتفاق در تمام حالات به کمکCTL قابل محاسبه است. نقصانی که در این میان وجود دارد صفر و یک بودن تحلیل است. درحالات ذکر شده سه حالت فاقد مشکل بود و صفر یا یک است مثلا وقوع حتمی یک حالت یعنی بهاحتمال 100 درصد و عدم وقوع آن یعنی به احتمال 0 درصد یک اتفاق حادث گردد، در حالی کهدر دسترس پذیری امکان وقوع یک رویداد وجود داشته و درصد احتمال آن دقیقا مشخص نیست.در واقع وقوع زیر یک درصد و بالای 99 درصد از دید سیستم به یک شکل بیان می شود. حال اگرمواردی وجود داشته باشد که درآنها میزان این احتمال درخور اهمیت باشد از آنجایی که ابزارGROOVE به صورت مستقیم فاقد این قابلیت بوده در این مقاله میزان دقیق احتمال وقوع هرحالات محاسبه و رویکردی جدید در کاربا سیستم تبدیل گراف ارائه گردیده است.
Keywords:
Authors
امیر انوریان فرد
دانشجوی دکتری دانشگاه آزاد واحد اصفهان (خوراسگان)
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :