MEADEP — A Dependability Evaluation Tool for Engineers
نویسندگان
چکیده
MEADEP is a user-friendly dependability evaluation tool for measurement-based analysis of critical systems. MEADEP consists of four software modules: a data preprocessor for converting data in various formats to the MEADEP format, a data analyzer for graphical data presentation and parameter estimation, a graphical modeling interface for building block diagrams (including the exponential block, Weibull block, and k-out-of-n block) and Markov reward chains, and a model solution module for availability/reliability calculations with graphical parametric analysis. Use of the tool on failure data from measurements provides quantitative evaluations of dependability for the target system, while greatly reducing requirements for specialized skills in data analysis and system modeling from the user. MEADEP has been applied to evaluate availability for two air traffic control systems based on operational failure data and the produced results have provided valuable feedback to the project management of these critical systems. MEADEP has also been used to analyze a nuclear power plant safety model, based on the Eagle 21 architecture and its early field failure data. The study identified the most sensitive parameter and its most sensitive value segment to the plant mean time between hazards.
منابع مشابه
Integration of system dependability and software reliability growth models for e-commerce systems
This paper describes how MEADEP [SoHaR00], a system level dependability prediction tool, and SMERFS [Farr93], a software reliability growth prediction tool can be used together to predict system reliability, and availability growth) for complex systems. The Littlewood/Verrall model is used to predict reliability growth from software test data. This prediction is integrated into a system level M...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملUse of Combined System Dependability and Software Reliability Growth Models
This paper describes how MEADEP, a system level dependability prediction tool, and CASRE, a software reliability growth prediction tool can be used together to predict system reliability (probability of failure in a given time interval), availability (proportion of time service is available), and performability (reward-weighted availability) for a. The system includes COTS hardware, COTS softwa...
متن کاملTool Support for Fast Simulation Techniques !
Over the last 10 to 15 years there has been an increased interest in (and need for) the use of fast simulation techniques for the evaluation of the dependability and performance of computer communication systems [1]. Indeed, impressive simulation speed-ups of several orders of magnitude have been attained in the derivation of estimates for failure probabilities and unavailability measures (depe...
متن کامل