کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
700641 890900 2007 8 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Controller dependability analysis by probabilistic model checking
موضوعات مرتبط
مهندسی و علوم پایه سایر رشته های مهندسی مهندسی هوافضا
پیش نمایش صفحه اول مقاله
Controller dependability analysis by probabilistic model checking
چکیده انگلیسی

This paper demonstrates how probabilistic model checking, a formal verification method for the analysis of systems which exhibit stochastic behaviour, can be applied to the study of dependability properties of software-based control systems. By using existing formalisms and tool support from this area, it is possible to construct large and complex Markov models from an intuitive high-level description and to take advantage of the efficient implementation techniques which have been developed for these tools. This paper provides an overview of probabilistic model checking and of the tool PRISM which supports these techniques. It illustrates the applicability of the approach through the use of a case study and demonstrates that a wide range of useful dependability properties can be analysed in this way.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Control Engineering Practice - Volume 15, Issue 11, November 2007, Pages 1427–1434
نویسندگان
, , ,