تجزیه و تحلیل قابلیت اطمینان سیستم های بلادرنگ با استفاده از شبکه پتری زمانی
- سال انتشار: 1391
- محل انتشار: کنفرانس بین المللی مدل سازی غیر خطی و بهینه سازی
- کد COI اختصاصی: ICNMO01_147
- زبان مقاله: فارسی
- تعداد مشاهده: 2401
نویسندگان
دانشگاه آزاد اسلامی واحد ساری،گروه مهندسی کامپیوتر
دانشگاه صنعتی امیرکبیر
موسسه آموزش عالی طبری بابل
چکیده
یک نیازمندی از روش های تایید جدید که بر محدودیت های تکنیک های ارزیابی سنتی غلبه می کنند وجود دارد و در زمان مشابهی برای سیستم های بلادرنگ مناسب اند. یک سیستم بلادرنگ سیستمی است که صحت منطقی آنبر اساس دو چیز است: صحت خروجی و مناسب بودن آن. هدف، آدرس دهی تایید و تجزیه و تحلیل ویژگی زمانی سیستم های بلادرنگ می باشد. پتری نت زمانی یک مدلپتری نت مشهوری است برای تشخیص و تایید سیستم های بلادرنگ که یک روش اساسی برای تجزیه و تحلیلآن، تجزیه و تحلیل قابلیت دسترسی است. تکنیک موجود برای تجزیه و تحلیل قابلیت دسترسی TPN ، هرچند،برای تایید ویژگی زمانی مناسب نیست به این دلیل که نمی تواند در زمان اجرای وظیفه، تاخیر end-to-end را مشتق کند، اما مسئله مهمی برای سیستم های حیاتی- زمانی است که از درخت قابلیت دسترسی ساخته شده درتکنیک استفاده می کند. حال یک قابلیت دسترسی جدید بر مبنای روش تجزیه و تحلیل برای TPN برای تجزیه و تحلیل ویژگی زمانی که مسئله را آدرسدهی می کند ارائه می دهیم. تکنیک ما بر مبنای مفهومی به نام clock-stamped state class(CS-class) می باشد. با درخت قابلیت دسترسی تولید شده بر مبنای CS-class می توانیم مستقیما تاخیر زمانی end-to-end را در اجرای تکلیف محاسبه کنیم. نشان خواهیم داد چطور این تکنیک را برای تایید ویژگی زمانی از مدل TPN از یک سیستم کنترل و دستور می پذیریم.کلیدواژه ها
قابلیت دسترسی Reachability قابلیت اطمینان – Reliability سیستم های بلادرنگ - Real-Time Systems شبکه پتری زمانی - Time Petri Netsمقالات مرتبط جدید
- رتبه بندی فاکتورهای اساسی در ایمنی و امنیت مواد غذایی در زنجیره تأمین با روش BWM در ایران
- ارائه الگوی پیاده سازی سیستم QA/QC در ساخت ساختمان های سبز و اولویت بندی عوامل با استفاده از روش دیمتل و تحلیل AHP (مطالعه موردی شهر کرج)
- کاربرد محاسبات خاکستری در مدل سازی ریاضی
- اولین کنفرانس ملی مدل سازی ریاضی و رو ش های محاسباتی در علوم و مهندسی مدل های حمل و نقل با ساختار مسئله چند انتخابی
- احراز هویت در تلفن های همراه هوشمند از طریق شناسایی هندسه دست بدون تماس مبتنی بر شناسایی رنگ پوست و استخراج ویژگی های بیومتریک
اطلاعات بیشتر در مورد COI
COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.
کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.