روشی برای تایید خودکار تبدیل های نمودار تصادفی
Publish place: The third international conference on electrical, computer, mechanical and artificial intelligence engineering
Publish Year: 1402
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 170
This Paper With 11 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
EECMAI03_071
تاریخ نمایه سازی: 10 مرداد 1402
Abstract:
الزامات غیر عملکردی مانند عملکرد و قابلیت اطمینان نقش برجسته ای در سیستم های توزیع شده و پویا ایفامی کنند. اندازه گیری و پیش بینی چنین ویژگی هایی با استفاده از روش های رسمی تصادفی بسیار مهم است. درعین حال، سیستم های تبدیل گراف فرمالیسم مناسبی برای مدلسازی رسمی سیستم های توزیع شده و پویا هستند. در حال حاضر، برای پرداختن به این دو موضوع، سیستم های تبدیل نمودار تصادفی SGTS برای مدل سازی سیستم های توزیع شده پویا معرفی شده اند. اما بیشتر تحقیقات تاکنون بر روی SGTS به عنوان یک ابزار مدل سازی بدون در نظر گرفتن نیاز به ابزارهای تحلیل مناسب متمرکز شده است. در این مقاله، ما رویکردی را برای تایید این نوع سیستم های تبدیل گراف با استفاده از PRISM یک بررسی کننده مدل تصادفی ارائه می کنیم. ما SGTS را به زبان ورودی PRISM ترجمه می کنیم و سپس PRISM بررسی مدل را انجام می دهد و نتایج را به طراحان برمی گرداند
Keywords:
Authors
محمدرضا زندمیرالوند
عضو هیات علمی دانشگاه آزاد اسلامی واحد ملایر