Computerized Model Based Functional Safety Analysis
2012 (English)Conference paper (Refereed)
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 Bayesian model. This approach strives to both bypass the necessity for costly hardware testing and integrate the functional safety analysis into an intuitive component development process.
Place, publisher, year, edition, pages
Bayesian Networks, Safety Analysis, Modeling
Electrical Engineering, Electronic Engineering, Information Engineering
IdentifiersURN: urn:nbn:se:liu:diva-110306OAI: oai:DiVA.org:liu-110306DiVA: diva2:744019
7th Vienna International Conference on Mathematical Modelling (MATHMOD 2012), Vienna, Austria, February 15-17, 2012