کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
457641 695984 2013 10 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Modeling distributed real-time systems with MAST 2
ترجمه فارسی عنوان
مدل سازی سامانه های بی درنگ توزیع شده با MAST2
کلمات کلیدی
فهرست مطالب مقاله
چکیده
مقدمه
آخرین تحولات در مدل سازی خصوصیات بی درنگ در سامانه های نامتمرکز    
نگاهی اجمالی بر مدل MAST2
نمای پلتفرم
نمای عملیاتی
نمای معماری همزمان
نمای وضعیت بی درنگ
شبکه ها    
همزمانی ساعتی       
مسیریاب های شبکه
مدل سازی شبکه های AFDX
نتیجه گیری 
ترجمه چکیده
نقش شبکه های راه گزینی (سوئیچی) در ارتباطات بی درنگ، از اهمیتی فزاینده برخوردار است. استانداردهای اترنت IEEE ، ترافیک اولویت بندی شده (802.1p) و سایر مکانیزم های کیفیت سرویس (801.q) را تعریف کرده است. استاندارد AFDX ( اترنت سوئیچی کاملاً دو رشته ای الکترونیک هوانوردی ) ، یک شبکهء بی درنگ سخت مبتنی بر اترنت سوئیچی را تعریف می کند. همزمانی ساعتی نیز سرویسی حائز اهمیت در بعضی از سامانه های بی درنگ نامتمرکز است، چون مفهومی جهانی از زمان را برای زمانبندی رویداد و الزامات زمانبندی، ارائه می کند. در فرایند تعریف مدل جدید MAST2، قابلیت های مدل سازی همزمانی ساعتی اضافه شده، و عناصر شبکه توسعه داده شده است، تا سوئیچ ها و مسیریاب ها را شامل شود. این مقاله مدلی برای برنامه پذیری زمانی معرفی می کند که، با استفاده از شبکه های سوئیچی و مکانیزم های همزمانی ساعتی، امکان تحلیل خودکار برنامه پذیری (زمانی) را برای کاربردهای نامتمرکز، فراهم می نماید.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر شبکه های کامپیوتری و ارتباطات
چکیده انگلیسی
Switched networks have an increasingly important role in real-time communications. The IEEE Ethernet standards have defined prioritized traffic (802.1p) and other QoS mechanisms (802.1q). The Avionics Full-Duplex Switched Ethernet (AFDX) standard defines a hard real-time network based on switched Ethernet. Clock synchronization is also an important service in some real-time distributed systems because it allows a global notion of time for event timing and timing requirements. In the process of defining the new MAST 2 model, clock synchronization modeling capabilities have been added, and the network elements have been enhanced to include switches and routers. This paper introduces the schedulability model that will enable an automatic schedulability analysis of a distributed application using switched networks and clock synchronization mechanisms.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Systems Architecture - Volume 59, Issue 6, June 2013, Pages 331–340
نویسندگان
, , , , ,