تجزیه و تحلیل قابلیت اطمینان سیستم های بلادرنگ با استفاده از شبکه پتری زمانی
Publish Year: 1391
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 2,277
This Paper With 7 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
ICNMO01_147
تاریخ نمایه سازی: 19 اسفند 1391
Abstract:
یک نیازمندی از روش های تایید جدید که بر محدودیت های تکنیک های ارزیابی سنتی غلبه می کنند وجود دارد و در زمان مشابهی برای سیستم های بلادرنگ مناسب اند. یک سیستم بلادرنگ سیستمی است که صحت منطقی آنبر اساس دو چیز است: صحت خروجی و مناسب بودن آن. هدف، آدرس دهی تایید و تجزیه و تحلیل ویژگی زمانی سیستم های بلادرنگ می باشد. پتری نت زمانی یک مدلپتری نت مشهوری است برای تشخیص و تایید سیستم های بلادرنگ که یک روش اساسی برای تجزیه و تحلیلآن، تجزیه و تحلیل قابلیت دسترسی است. تکنیک موجود برای تجزیه و تحلیل قابلیت دسترسی TPN ، هرچند،برای تایید ویژگی زمانی مناسب نیست به این دلیل که نمی تواند در زمان اجرای وظیفه، تاخیر end-to-end را مشتق کند، اما مسئله مهمی برای سیستم های حیاتی- زمانی است که از درخت قابلیت دسترسی ساخته شده درتکنیک استفاده می کند. حال یک قابلیت دسترسی جدید بر مبنای روش تجزیه و تحلیل برای TPN برای تجزیه و تحلیل ویژگی زمانی که مسئله را آدرسدهی می کند ارائه می دهیم. تکنیک ما بر مبنای مفهومی به نام clock-stamped state class(CS-class) می باشد. با درخت قابلیت دسترسی تولید شده بر مبنای CS-class می توانیم مستقیما تاخیر زمانی end-to-end را در اجرای تکلیف محاسبه کنیم. نشان خواهیم داد چطور این تکنیک را برای تایید ویژگی زمانی از مدل TPN از یک سیستم کنترل و دستور می پذیریم.
Keywords:
قابلیت دسترسی Reachability قابلیت اطمینان – Reliability سیستم های بلادرنگ - Real-Time Systems شبکه پتری زمانی - Time Petri Nets
Authors
همایون موتمنی
دانشگاه آزاد اسلامی واحد ساری،گروه مهندسی کامپیوتر
حسام عمرانپور
دانشگاه صنعتی امیرکبیر
خدیجه زاهدی
موسسه آموزش عالی طبری بابل
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :