کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
432059 1441286 2007 29 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
A theory for observational fault tolerance
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
A theory for observational fault tolerance
چکیده انگلیسی

In general, faults cannot be prevented; instead, they need to be tolerated to guarantee certain degrees of software dependability. We develop a theory for fault tolerance for a distributed pi-calculus, whereby locations act as units of failure and redundancy is distributed across independently failing locations. We give formal definitions for fault tolerant programs in our calculus, based on the well studied notion of contextual equivalence. We then develop bisimulation proof techniques to verify fault tolerance properties of distributed programs and show they are sound with respect to our definitions for fault tolerance.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: The Journal of Logic and Algebraic Programming - Volume 73, Issues 1–2, September–October 2007, Pages 22-50