کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
423368 685212 2008 16 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Parametric Analysis of an Improved Fault Tolerant System
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Parametric Analysis of an Improved Fault Tolerant System
چکیده انگلیسی

We report our preliminary study on an improved triple modular computer system from the aerospace field, which is designed to compute the course of action that other subsystems take and output the result to other subsystems. Based on the formal model of the system, we derive constraints on the values of the parameters that occur in our model, and manually prove that “ When a CPU is in the startup phase, it should not restart again due to its watchdog timer overflow or a restart signal sent from the arbitrator ”.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 207, 10 April 2008, Pages 121-136