ارائه رویکردی صوری جهت مدل سازی ئ درستی یابی ویژگی خود سازی در سامانه های نهفته
- سال انتشار: 1394
- محل انتشار: هفتمین کنفرانس بین المللی فناوری اطلاعات و دانش
- کد COI اختصاصی: ICIKT07_100
- زبان مقاله: فارسی
- تعداد مشاهده: 852
نویسندگان
دانشکده علوم و مهندسی کامپیوتر دانشگاه شهید بهشتی
چکیده
در راستای افزایش پیچیدگی در سامانه های کامپیوتری ، امروزه سامانه های نهفته بزرگی پا به عرصه وجود گذاشته اند که از اتصال تعداد زیادی از سامانه هایکوچک نهفته تشکیل شده اند با هوشمند کردن ماشین ها ، می توان پیچیدگی روز افزون در سامانه های کامپیوتری را کاهش داد و به این سامانه ها ، ویژگی هایی همچون خود تنظیمی ، خود ترمیمی و همانند آن را ، به شکل کلی خود -* نامیده می شوند ، افزود. خود سازی یکی از ویژگی ها است که سامانه را قادر می سازد ساختار خود را از روی یک طرح با استفاده از واحد هایی بسازد و در هنگام اجرا به شکل پویا از درستی ساختار خود آگاه گردد. به این ترتیب ، یک موضوع مهم در ویژگی خود سازی در سامانه های نهفته ، اطمینان از درستی و سازگاری طرح اصلی است و اگر مشکلی در این طرح وجود داشته باشد ، می تواند به نتایج فاجعه باری منجر شود . این موضوع به ویژه در سامانه های نهفته بزرگ اهمیت بسزایی دارد ، زیرا هم دارای تعداد واحدهای سازنده زیادی هستند و هم اشکال زدایی به سهولت در آن ها امکان پذیر نیست. در این مقاله رویکردی جهت تامین درستی و سازگاری ویژگی خودسازی در سامانه های نهفته از طریق استفاده از روش های صوری ارائه می شود. به این منظور، ازمفهوم DNA مصنوعی که در برخی از سامانه های موجود نهفته برای خود سازی بکار رفته است، استفاده می شود.با هدف افزایش دقت و کاهش ابهام ها و ناسازگاری ها از یک سو و ایجاد زمینه خود کار سازی ازسوی دیگر، ابتدا یک مدل صوری بر مبنای این مفهوم ارائه شده و سپس درستی و سازگاری این مدل ازطریق درست یابی صوری بررسی می شود.برای نشان دادن کاربرد پذیری مدل صوری پیشنهاد شده، این مدل باکمک ابزار صوری Maude پیاده سازی و روی یک سامانه نمونه نهفته اعمال می گردد.کلیدواژه ها
خودسازی ، سامانه های نهفته ،توصیف صوری ، DNA مصنوعیمقالات مرتبط جدید
- بررسی اجمالی اینترنت اشیاء و مشکلات امنیتی آن
- نقش فرماندهی و کنترل و سامانه های آن در نبرد های آینده
- نقش فناوری های بدون سرنشین در عملیات جنگ نوین
- نقش زیرساخت های نظامی سایبری در کنترل میدان جنگ (اقدامات الکترومغناطیسی سایبری)
- طراحی و شبیه سازی دروازه منطقی تمام نوری AND مبتنی بر بلور فوتونی با ابعاد کم و مناسب برای مدارهای مجتمع نوری
اطلاعات بیشتر در مورد COI
COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.
کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.