طراحی سیستم های امن و کارا با استفاده از مدل های قابل اجرا

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

کلیدواژه ها:

سیستم های امن ، شبکه پتری ، پتری نت