چکیده
در این مقاله، معیاری برای تائید ویژگی‌های تحمل پذیری خطای الگوریتم‌های همگام‌سازی ساعت مطرح شد، یعنی، یک معیار برای یک شبکه TTEthernet، در جایی که ویژگی‌های الگوریتم همگام سازی ساعت با پیاده‌سازی در یک شبکه اترنت می‌تواند تائید شود، و تکنیک‌های بهینه‌سازی با اهداف تائید می‌توانند استفاده شوند. معیار ما، که فرض می‌کند اجزا غیر معیوب هستند، مبنایی را برای تائید تنظیمات هدف قرار داده است که شامل اجزای معیوب، مکانیسم سازگاری اطلاعات، و تائید اعتبار دیگر الگوریتم‌های همگام‌سازی ساعت است.
1-مقدمه
سیستم‌های بلادرنگ توزیع شده در بسیاری از محصولات نرم افزاری و سخت افزاری تجاری حضور دارند، برای مثال اویونیک در برنامه فضایی اوریون [11]. این سیستم‌ها نیازمند یک معماری عمومی هستند که با بیشتر نیازمندی‌های درخواست‌های بلادرنگ حساس به ایمنی مطابقت دارند. TTEthernet یک پیاده‌سازی از استاندارد اترنت سنتی است که با نیازمندی‌های حساس به زمان؛ قطعی بودن و بلادرنگ حساس به ایمنی منطبق است [12]....
میتوانید از لینک ابتدای صفحه، مقاله انگلیسی را رایگان دانلود فرموده و چکیده انگلیسی و سایر بخش های مقاله را مشاهده فرمایید