بررسی روش های مدل سازی قابلیت اطمینان خودکار
|
|
|
|
|
DOR
|
20.1001.2.0020135610.1400.4.1.188.1
|
|
نویسنده
|
سرای لو سپیده ,هارون آبادی علی
|
|
منبع
|
همايش ملي فناوريهاي نوين در مهندسي برق، مكانيك و كامپيوتر ايران - 1400 - دوره : 4 - چهارمین همایش ملی فناوریهای نوین در مهندسی برق، مکانیک و کامپیوتر ایران - کد همایش: 00201-35610
|
|
چکیده
|
امروزه سیستمهای نرم افزاری جایگاه ویژه ای در کلیه صنایع پیدا کرده اند. نیاز به سیستمهای پیچیده و حیاتی مانند سیستمهای هدایت فضاپیماها، سیستمهای دفاعی کشورها و... که بتوانند با قابلیت اطمینان بالا و درصد خطای نزدیک به صفر کار کنند، بسیار ضروری به نظر میرسد. در این میان، ارزیابی قابلیت اطمینان این سیستمها قبل از تکمیل پروژه و در مراحل ابتدایی توسعه سیستم بسیار پر اهمیت میباشد. از این رو مدلهای قابلیت اطمینان بسیاری ارایه شده اند در این مقاله، مروری بر مقالات به منظور شناسایی روش‌های تولید مدل قابلیت اطمینان خودکار انجام می‌شود. به بیان روشن‌تر، مروری بر تلاش‌ها در خودکارسازی فرآیند در ابتدا متمرکز بر خودکارسازی مدلهای قابلیت اطمینان مانند درخت‌های خطا، نمودارهای علت - معلولی، نمودارهای بلوک قابلیت اطمینان و زنجیره‌های مارکوف و همچنین بررسی تلاش‌هایی که تولید خودکار مدلهای pn را هدف قرار می‌دهند. کمبودهای مدل pn فعلی در خودکارسازی نیز شناسایی شده‌اند طرح کلی این مقاله به دو بخش اصلی تقسیم می شود ،بخش اول مروری بر روش های مدلسازی قابلیت اطمینان و بخش دوم مروری بر روش های خودکارسازی مدل های قابلیت اطمینان می باشد.همچنین در بخش دوم به شناسایی عناصر اصلی به منظور ایجاد مدل قابلیت اطمینان خودکار در روش های مدلسازی اتوماتیک شبکه های پتری و غیر شبکه های پتری پرداخته می شود.
|
|
کلیدواژه
|
شبکه های پتری ,مدل سازی ,خودکار سازی ,قابلیت اطمینان
|
|
آدرس
|
دانشگاه آزاد اسلامی واحد تهران شمال, ایران, دانشگاه آزاد اسلامی واحد تهران مرکز, ایران
|
|
پست الکترونیکی
|
a.harounabadi@gmail.com
|
|
|
|
|
|
|