قابلیت های نرم افزار SharifSAN در ارزیابی کارایی سیستم های رایانه یی و مشخصات طراحی و پیاده سازی آن

شبکه فعالیت تصادفی، یکی از بسط های شبکه های پتری است که برای مدل سازی و تحلیل جنبه های کارکردی وعملیاتی سیستم ها قدرت و انعطاف بالایی فراهم کند. تا کنون چندین ابزار مدل سازی بر اساس تعریف قدیمی شبکه های فعالیت تصادفی طراحی شده است، اما اخیرا تعریف جدیدی از این مدل ارائه شده که برخی از مشکلات تعریف قدیمی را بر طرف ساخته است. این تعریف، مبنای طراحی یک نرم افزار مدل سازی و تحلیل با نام sharifsan است که به منظور فراهم سازی امکانات یکپارچه ای برای درستی یابی و ارزیابی کارایی، قابلیت اتکا و قابلیت کارایی سیستم های رایانه یی و ارتباط طراحی شده است. sharifsan نخستین ابزار مدل سازی است که بر اساس تعریف جدید شبکه های فعالیت تصادفی ایجاد شده و امکانات کاملی برای ساخت مدل ها ا زطریق واسط کاربر گرافیکی، درستی یابی سیستم ها با استفاده از منطق زمانی، ارزیابی کارایی با روش های تحلیل نمودار دسترسی و شبیه سازی گسسته- رخداد فراهم می کند. در مقاله ی منتشره ی قبلی به تشریح قابلیت های تحلیل جنبه های کارکردی سیستم ها و امکانات درستی یابی این ابزار پرداختیم. در این نوشتار نیز ضمن تشریح قابلیت های آن برای ارزیابی کارایی، به معرفی مشخصات، ویژگی ها، طراحی و پیاده سازی و در نهایت کاربردهای آن می پردازیم. تا کنون از این ابزار در چندین پروژه ی پژوهشی در زمینه ی شبکه های سریع استفاده شده است، که در اینجا به آنها اشاره خواهد شد.