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

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

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

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

در شرایط نزدیک به حالت اشباع1 و یا اشباع2 تقاطع، رابطه تعیین چرخه بهینه وبستر3، غیرقابل استفاده می شود، زیرا اولاً این رابطه زمانی که مجموع نسبت بحرانی4 تقاطع به یک نزدیک می شود، مقادیر غیرقابل توجیه برای طول چرخه می دهد و ثانیاً اگر مجموع نسبت بحرانی تقاطع، یک و یا بزرگتر از آن شود، رابطه وبستر به طورکلی غیرقابل استفاده می گردد. روش hcm2000 این مشکل را ندارد؛ اما تعیین زمان چرخه بهینه در این روش...

مقدمه: ارگونومی شامل، مباحث علمی است که محیط و شرایط مناسب برای عملکرد بهینه انسان را طـــراحی می نماید و یکی از مهم ترین نتایج آن ایجاد راحتی است. راحتی نقش مهمی در بکارگیری ابزار دستی از جمله خودکار، به عنوان یک وسیله نوشتاری دارد. هدف از اجرای این پژوهش، ارزیابی و مقایسه راحتی یک مدل خودکار ارگونومیک یعنی Penagain با دو مدل خودکار غیرارگونومیک موجود در بازار یعنی Bocheng و Stabilo می باشد. ...