ابزاری برای ارزیابی اتکاپذیری مدل های CSAN

بدست آوردن احتمالات حالات مدل CSAN در زمان های تعیین شده و با دقت لازم، نیاز به حل گذاری CTMC متناظر با مدل CSAN دارد. برای رسیدن به این هدف، باید ماتریس نرخ گذر حاصل شده از گراف دسترسی مدل را به عنوان ورودی به حل کننده ی گذرای CTMC ارایه کرد. برای بدست آوردن گراف دسترسی نیز نیاز به تعیین فضای حالت مدل خواهیم داشت. بدین مظور، الگوریتم های فضای حالت مدل CSAN بایستی طراحی و پیاده سازی شوند که این امر نیازمند توانایی کامپایل مدل CSAN است که از فایل ورودی XML خوانده می شود. برای کامپایل مدل CSAN بایستی بتوانیم توابع و گزاره ها و اعلانات موجود در مدل را نیز کامپایل کنیم. ما در این مقاله، نرم افزار CSANDE را معرفی می کنیم که با دریافت مدل CSAN، احتمالات حالات مدل را در زمان های تعیین شده و با دقت لازم ارایه می دهد.

کلیدواژه ها:

ارزیابی اتکاپذیری ، مدل CSAN ، فضای حالت مدل CSAN ، ابزار تحلیل CSAN ، احتمالات حالت مدل CSAN