ابزاری برای ارزیابی اتکاپذیری مدل های CSAN
Publish place: National Conference on Knowledge and Technology of Electrical Engineering, Computer and Mechanics of Iran
Publish Year: 1398
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 414
This Paper With 11 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
UTCONF03_240
تاریخ نمایه سازی: 24 شهریور 1398
Abstract:
بدست آوردن احتمالات حالات مدل CSAN در زمان های تعیین شده و با دقت لازم، نیاز به حل گذاری CTMC متناظر با مدل CSAN دارد. برای رسیدن به این هدف، باید ماتریس نرخ گذر حاصل شده از گراف دسترسی مدل را به عنوان ورودی به حل کننده ی گذرای CTMC ارایه کرد. برای بدست آوردن گراف دسترسی نیز نیاز به تعیین فضای حالت مدل خواهیم داشت. بدین مظور، الگوریتم های فضای حالت مدل CSAN بایستی طراحی و پیاده سازی شوند که این امر نیازمند توانایی کامپایل مدل CSAN است که از فایل ورودی XML خوانده می شود. برای کامپایل مدل CSAN بایستی بتوانیم توابع و گزاره ها و اعلانات موجود در مدل را نیز کامپایل کنیم. ما در این مقاله، نرم افزار CSANDE را معرفی می کنیم که با دریافت مدل CSAN، احتمالات حالات مدل را در زمان های تعیین شده و با دقت لازم ارایه می دهد.
Keywords:
Authors
بابک ناصح چافی
مربی مهندسی کامپیوتر، گروه کامپیوتر، دانشگاه پیام نور واحد لنگرود