Computerized Model Based Functional Safety Analysis
نویسندگان
چکیده
منابع مشابه
Computerized Model Based Functional Safety Analysis
With the growing complexity of the hardware models, the verification of the functional safety of each individual component as well as of the entire system becomes increasingly complex. In this paper the authors present a novel approach to functional safety analysis, based on the integration of functional tests into the model itself and the analysis of resulting model through a stochastic Bayesi...
متن کاملAn integrated toolchain for model based functional safety analysis
The significant increase in the complexity and autonomy of the hardware systems renders the verification of the functional safety of each individual component as well as of the entire system a complex task and underlines the need for integrated, model based tools that would assist this process. In this paper the authors present such a tool, coupled with an approach to functional safety analysis...
متن کاملModel-Based Safety Analysis
System safety analysis techniques are well established and are used extensively during the design of safety-critical systems. Despite this, most of the techniques are highly subjective and dependent on the skill of the practitioner. Since these analyses are usually based on an informal system model, it is unlikely that they will be complete, consistent, and error free. In fact, the lack of prec...
متن کاملProbabilistic Model-Based Safety Analysis
Model-based safety analysis approaches aim at finding critical failure combinations by analysis of models of the whole system (i.e. software, hardware, failure modes and environment). The advantage of these methods compared to traditional approaches is that the analysis of the whole system gives more precise results. Only few model-based approaches have been applied to answer quantitative quest...
متن کاملmortality forecasting based on lee-carter model
over the past decades a number of approaches have been applied for forecasting mortality. in 1992, a new method for long-run forecast of the level and age pattern of mortality was published by lee and carter. this method was welcomed by many authors so it was extended through a wider class of generalized, parametric and nonlinear model. this model represents one of the most influential recent d...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC Proceedings Volumes
سال: 2012
ISSN: 1474-6670
DOI: 10.3182/20120215-3-at-3016.00011