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

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

اعتماد و شهرت، مفاهیمی شناخته‌شده در علوم اجتماعی هستند که امروزه در قالب سامانه‌های اعتماد، کاربردهای روزافزونی در علوم رایانه و ارتباطات پیدا کرده‌‌اند. این سامانه‌ها با ارائۀ مدلی محاسباتی و بر پایه مجموعه‌ای از تجربیات و توصیه‌ها، مقادیر اعتماد (یا شهرت که نوع خاصی از اعتماد است) را محاسبه می‌‌کنند. این مقادیر به موجودیت‌ها در شناسایی و سپس منزوی ساختن موجودیت‌های غیردرست‌کار جامعه یاری می‌...

درمهندسی نرم افزار توصیف و وارسی سیستم های نرم افزاری با استفاده از روش های صوری اهمیت ویژه ای دارد. برای سیستم های دقیق و بلادرنگ یک ضرورت اجتناب ناپذیر است و توصیف و وارسی سیستم های بلادرنگ مبتنی بر مولفه ها از مسایل مهم در مهندسی نرم افزار است با توسعه ای که در مهندسی نرم افزار در توسعه خودکارهای ورودی خروجی داده شده است می توانیم راه حلی برای توصیف و وارسی سیستم های ناهمگن مبتنی بر مولفه ها...

تحمل پذیری اشکال از نیازهای اساسی برای اطمینان از عملکرد صحیح سیستم های بحرانی-ایمن حتی در صورت وقوع اشکال در سیستم می باشد. یکی از مراحل تحمل پذیری اشکال، بازیابی است و گرفتن نقطه وارسی و بازیابی رو به عقب، یکی از روش های مناسب برای این کار می باشد. نقطه وارسی گیری بدون دیسک، به عنوان روشی مهم برای ایجاد تحمل پذیری اشکال در سیستم های محاسباتی موازی و توزیع شده شناخته شده است. زمان کوتاه تر برا...

گرایش به سمت استفاده از سیستم های سرویس گرا رو به افزایش است؛ اگرچه ذات بسیار پویای این سیستم ها فرایند راستی آزمایی آنها را در عمل با مشکلات زیادی روبه رو کرده است. راستی آزمایی زمان اجرا اگرچه بیشتر به منظور استفاده در سیستم های حساس به ایمنی طراحی شده است، اما می توان از آن به عنوان روشی جدید در فرایند راستی آزمایی سیستم های سرویس گرا هم بهره برد. در این پروژه فرایند راستی آزمایی زمان اجرای...

ارائه ی ملاکی مشخص برای تفکیک جرایم ناتمام شامل شروع به جرم، جرم عقیم و جرم محال از یکدیگر و تمییز عناوین مذکور از دیگر نهادهای مشابه، در تعیین نوع و میزان واکنش علیه مرتکب مؤثر خواهد بود. جامع ترین و بهترین معیاری که می توان به عنوان برآیند این اثر ارائه داد، امکان یا عدم امکان وقوع جرم در زمان شروع به اجرا است؛ بدین توضیح که، در فرض اول؛ هرگاه در زمان ورود به عملیات اجرایی (شروع به اجرا) تحقق...

در دنیای قراردادها، به واسطه ی توافق طرفین یا طبیعت قراداد، بسیار اتّفاق می افتد که میان تاریخ انعقاد و اجرای قرارداد، مدّت زمانی فاصله بیافتد. طبیعتاً در قراردادهایی مانند پیمان کاری، طرفین بایستی مقدّمات اجرای تعهّداتشان را فراهم نمایند، تا اجرای قرارداد در زمان مقرّر با مشکل مواجه نشود. حال ممکن است یکی از طرفین، به طور صریح یا ضمنی قرارداد را نقض نماید، به عنوان مثال اعلام نماید قرارداد را اجراء...

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