کد مقاله کد نشریه سال انتشار مقاله انگلیسی ترجمه فارسی نسخه تمام متن
4662873 1345202 2016 23 صفحه PDF ندارد دانلود رایگان
عنوان انگلیسی مقاله
Formalization of Reliability Block Diagrams in Higher-order Logic
ترجمه فارسی عنوان
رسمی سازی قابلیت اطمینان دیاگرام بلوک در منطق مرتبه بالاتر
کلمات کلیدی
قابلیت اطمینان دیاگرام بلوک(RBDs)؛ منطق مرتبه بالاتر. نظریه احتمال. پیکربندی مجازی سازی؛ مراکز داده مجازی
Reliability Block Diagrams (RBDs); Higher-order logic; Probability theory; Virtualization configuration; Virtual Data Centers
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
چکیده انگلیسی

Reliability Block Diagrams (RBDs) allow us to model the failure relationships of complex systems and their sub-components and are extensively used for system reliability, availability and maintainability analyses. Traditionally, these RBD-based analyses are done using paper-and-pencil proofs or computer simulations, which cannot ascertain absolute correctness due to their inaccuracy limitations. As a complementary approach, we propose to use the higher-order logic theorem prover HOL to conduct RBD-based analysis. For this purpose, we present a higher-order logic formalization of commonly used RBD configurations, such as series, parallel, parallel-series and series-parallel, and the formal verification of their equivalent mathematical expressions. A distinguishing feature of the proposed RBD formalization is the ability to model nested RBD configurations, which are RBDs having blocks that also represent RBD configurations. This generality allows us to formally analyze the reliability of many real-world systems. For illustration purposes, we formally analyze the reliability of a generic Virtual Data Center (VDC) in a cloud computing infrastructure exhibiting the nested series-parallel RBD configuration.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Applied Logic - Volume 18, November 2016, Pages 19–41
نویسندگان
, , ,