Controller dependability analysis by probabilistic model checking
نویسندگان
چکیده
منابع مشابه
Controller Dependability Analysis by Probabilistic Model Checking
We demonstrate 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. We provide an overview of these techniques and of the probabilistic model checking tool PRISM, illustrating the usefulness of the approach through a small case stud...
متن کاملDependability Auditing with Model Checking
Model checking offers a methodology for determining whether a model satisfies a list of correctness requirements. We propose a theory of dependability auditing with model checking based on four principles: (1) The modeling process should be partitioned into computational components and behavioral components as an aid to system understanding; (2) The complex system will be abstracted to create a...
متن کاملTransportation risk analysis using probabilistic model checking
Transportation and supply chain activities represent essential components in many endeavors covering both public and private domains. However, the underlying transport networks are complex and potentially fragile due to weather, natural disasters or other risk factors. Thus, assessing transportation related risk represents a key decision support capability along with the ability to evaluate con...
متن کاملProbabilistic Model Checking
Markov chains (MC) and Markov decision processes (MDP) are widely used as operational models for the quantitative system analysis. They can be understood as transition systems augmented with distributions for the states (in MC) or state-action pairs (in MDPs) to specify the probabilities for the successor states. Additionally one might add weight functions for modeling accumulated costs or rewa...
متن کاملParametric Dependability Analysis through Probabilistic Horn Abduction
Dependability modeling and evaluation is aimed at investigating that a system per forms its function correctly in time. A usual way to achieve a high reliability is to design redundant systems that contain several repli cas of the same subsystem. In order to pro vide compactness in system representation, parametric system modeling has been inves tigated in the ,iterature: a set of replicas ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Control Engineering Practice
سال: 2007
ISSN: 0967-0661
DOI: 10.1016/j.conengprac.2006.07.003