کد مقاله کد نشریه سال انتشار مقاله انگلیسی ترجمه فارسی نسخه تمام متن
4662875 1345202 2016 34 صفحه PDF ندارد دانلود رایگان
عنوان انگلیسی مقاله
Formal assessment of reliability specifications in embedded cyber-physical systems
ترجمه فارسی عنوان
ارزیابی رسمی از مشخصات قابلیت اطمینان در سیستم های سایبری فیزیکی تعبیه شده
کلمات کلیدی
روش های رسمی؛ منطق زمانی؛ قابلیت اطمینان؛ طراحی مقاوم در برابر خطا ؛ تایید؛ سیستم سایبر فیزیکی؛ و/یا جستجوی نمودار
Formal methods; Temporal logic; Functional reliability; Fault-tolerant design; Verification; Cyber-physical systems; AND/OR graph search
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
چکیده انگلیسی

Reliability has become an integral component of the design intent of embedded cyber-physical systems. Safety-critical embedded systems are designed with specific reliability targets, and design practices include the appropriate allocation of both spatial and temporal redundancies in the implementation to meet such requirements. With increasing complexity of such systems and considering the large number of components in such systems, redundancy allocation requires a formal scientific basis. In this work, we profess the analysis of the redundancy requirement upfront with the objective of making it an integral part of the specification. The underlying problem is one of synthesizing a formal specification with built-in redundancy artifacts, from the formal properties of the error-free system, the error probabilities of the control components, and the reliability target. We believe that upfront formal analysis of redundancy requirements is important in budgeting the resource requirements from a cost versus reliability perspective. Several case-studies from the automotive domain highlight the efficacy of our proposal.

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