ارایه سبکی مبتنی بر سیستم های تبدیل گراف برای مدل سازی ،پیکربندی وتبادل پیام در سیستم های چند عامله متحرک
- سال انتشار: 1394
- محل انتشار: کنفرانس ملی فن آوری، انرژی و داده با رویکرد مهندسی برق و کامپیوتر
- کد COI اختصاصی: TEDECE01_575
- زبان مقاله: فارسی
- تعداد مشاهده: 853
نویسندگان
شرکت کیمیا پیشه
چکیده
سیستم های عامل متحرک دارای ساختاری پویا هستند ومعماری عامل گرا به دلیل پویایی یکی از معماری های مناسب برای پشتتیبایی از این سیستم ها است . اگرچه زبان های مدل سازی مانندUML به صورت گسترده در طراحی بسیاری از سیستم هااستفاده شده اید,اما پیاده سازی این سیستم ها به طور کلی هنوز با زبان های بریامه یویسی سنتی ایجام می شود,که بی اطلاع از مدل هستند. این امرمنجر به یاسازگاری هایی بین مشخصه و پیاده سازی سیستم ها می شود.در این مقاله با استفاده از معماری عامل گرا برای مدل سازی و انتزاع، یک سبک پویای معماری برای سیستم های عامل متحرک ارائه کردیم، سپس مدل ارائه شده را روی سیستم تشخیص پزشکی همیار که یکی از ایواع سیستم های عامل متحر ک می باشد اعمال شد. پیاده سازی مدل ارائه شده با ابزار GROOVE و صحت ستجی آن توسط قوانین CTL انجام شده است.کلیدواژه ها
سبک معماری پویا، سیستم های عامل متحرک،معماری عامل گرا،سیستم تبدیل گراف،نرم افزار قابل اطمینانمقالات مرتبط جدید
- ارزیابی اقتصادی و زیست محیطی سناریوهای ترکیب انرژی تجدیدپذیر در برنامه ریزی تولید برق ایران تا افق ۱۴۱۰
- بررسی فناوریها و استراتژیها برای بهینه سازی مصرف انرژی و افزایش کارایی در شبکه های توزیع
- فناوری اطلاعات و ارتباطات سبز
- Hoo Controller Design for a Quadruple-Tank Multivariable System: Robust Performance via Weighted Sensitivity Shaping
- تاثیر حیاتی همبستگیهای آماری ضعیف بادبار بر قابلیت اطمینان سیستمهای قدرت: دیدگاهی فراتر از مدلهای سنتی
اطلاعات بیشتر در مورد COI
COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.
کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.