文章基本信息

标题：Formal Verification of Safety Analysis Models of Repairable and Reconfigurable Systems
本地全文：下载
作者：Elodie Kobeissi ; Pierre-Yves Piriou ; Jean-Marc Faure 等
期刊名称：IFAC PapersOnLine
印刷版ISSN：2405-8963
出版年度：2017
卷号：50
期号：1
页码：11144-11149
DOI：10.1016/j.ifacol.2017.08.1224
语种：English
出版社：Elsevier
摘要：AbstractThis paper proposes a method to formally check whether formal properties hold on a dynamic model which has been designed by experts for Model Based Safety Analysis/Assessment. As repairable and reconfigurable systems are considered, this model is assumed to be described in the Generalized Boolean-logic Driven Markov Processes (GBDMP) modelling framework. Translation rules are given to obtain a formal model that describes correctly the evolution of the initial model with the semantics of the verification tool. The approach is exemplified on a simple case of standby redundancy.
关键词：KeywordsModel Based Safety Analysis/AssessmentFormal verificationDynamic propertiesGeneralized BDMPStabilityComputation Tree Logic