CN107562557B - 基于可满足模理论的故障树的验证、求解系统及其方法 - Google Patents
基于可满足模理论的故障树的验证、求解系统及其方法 Download PDFInfo
- Publication number
- CN107562557B CN107562557B CN201710732492.7A CN201710732492A CN107562557B CN 107562557 B CN107562557 B CN 107562557B CN 201710732492 A CN201710732492 A CN 201710732492A CN 107562557 B CN107562557 B CN 107562557B
- Authority
- CN
- China
- Prior art keywords
- cut set
- fault tree
- solving
- condition
- minimum
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Active
Links
Images
Landscapes
- Debugging And Monitoring (AREA)
Abstract
Description
Claims (1)
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201710732492.7A CN107562557B (zh) | 2017-08-24 | 2017-08-24 | 基于可满足模理论的故障树的验证、求解系统及其方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201710732492.7A CN107562557B (zh) | 2017-08-24 | 2017-08-24 | 基于可满足模理论的故障树的验证、求解系统及其方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN107562557A CN107562557A (zh) | 2018-01-09 |
CN107562557B true CN107562557B (zh) | 2021-06-15 |
Family
ID=60976781
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201710732492.7A Active CN107562557B (zh) | 2017-08-24 | 2017-08-24 | 基于可满足模理论的故障树的验证、求解系统及其方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN107562557B (zh) |
Families Citing this family (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
EP3579074B1 (en) * | 2018-06-07 | 2021-01-06 | Siemens Aktiengesellschaft | Computer-implemented method and device for resolving closed loops in automatic fault tree analysis of a multi-component system |
CN112580189B (zh) * | 2020-11-19 | 2022-12-02 | 中海石油(中国)有限公司天津分公司 | 用于ups供电系统获取故障树底事件结构重要度的方法 |
CN112926865A (zh) * | 2021-03-10 | 2021-06-08 | 苏州热工研究院有限公司 | 基于概率安全分析的核电厂故障水平计算方法及计算机 |
Family Cites Families (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US10180995B2 (en) * | 2013-07-15 | 2019-01-15 | The Boeing Company | System and method for assessing cumulative effects of a failure |
CN105005697B (zh) * | 2015-07-16 | 2017-08-25 | 西安电子科技大学 | 一种对修复有时间约束的系统动态故障树分析方法 |
CN106980913B (zh) * | 2017-04-21 | 2021-04-27 | 浙江大学 | 一种基于故障树分析的风力发电机组备品备件需求预测方法 |
-
2017
- 2017-08-24 CN CN201710732492.7A patent/CN107562557B/zh active Active
Also Published As
Publication number | Publication date |
---|---|
CN107562557A (zh) | 2018-01-09 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
Zhang et al. | Validating SAT solvers using an independent resolution-based checker: Practical implementations and other applications | |
CN107562557B (zh) | 基于可满足模理论的故障树的验证、求解系统及其方法 | |
US6957404B2 (en) | Model checking with layered localization reduction | |
CN108376221A (zh) | 一种基于aadl模型扩展的软件系统安全性验证与评估方法 | |
EP0653716B1 (en) | Method of verification of a finite state sequential machine | |
CN109634600A (zh) | 一种基于安全扩展SysML和AADL模型的代码生成方法 | |
US9152390B1 (en) | Generating modular and hierarchical execution code from untimed and timed block diagrams | |
EP3896544A1 (en) | System, apparatus and method for generating automatically a component fault tree of a system | |
Lind-Nielsen et al. | Verification of large state/event systems using compositionality and dependency analysis | |
Yokogawa et al. | Automatic verification of fault tolerance using model checking | |
US11204601B2 (en) | Markov chains and component fault trees for modelling technical systems | |
Wayama et al. | Verifying Game Logic in Unreal Engine 5 Blueprint Visual Scripting System Using Model Checking | |
Tierno et al. | Symbolic encoding of reliability for the design of redundant architectures | |
Clarke | Automatic verification of finite-state concurrent systems | |
Coppit et al. | Formal specification in collaborative design of critical software tools | |
US11586935B2 (en) | Systems and methods to semantically compare product configuration models | |
Dwyer | Reliability of various 2-out-of-4: G redundant systems with minimal repair | |
Pock et al. | Combining different binary decision diagram techniques for solving models with multiple failure states | |
Rinaldo et al. | Dependency graph modularization for a scalable safety and security analysis | |
Larrauri et al. | Minimization and Synthesis of the Tail in Sequential Compositions of Mealy Machines | |
Igawa et al. | Interpolation Based Unbounded Model Checking for Time Petri Nets | |
Lohar et al. | Integrating formal methods with testing for reliability estimation of component based systems | |
US20240134771A1 (en) | Method and system for correcting operation of target computer system by using timed requirement | |
CN117494460A (zh) | 一种生产线装备动作的可靠性评估分析方法 | |
Hasan et al. | Functional verification and simulation of FSM networks |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PB01 | Publication | ||
PB01 | Publication | ||
SE01 | Entry into force of request for substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
CB03 | Change of inventor or designer information | ||
CB03 | Change of inventor or designer information |
Inventor after: Fang Ling Inventor before: Fang Ling Inventor before: Zeng Xinhua Inventor before: Li Guoqiang Inventor before: Zhang Min |
|
GR01 | Patent grant | ||
GR01 | Patent grant | ||
TR01 | Transfer of patent right | ||
TR01 | Transfer of patent right |
Effective date of registration: 20230511 Address after: 238000 China University of Science and Technology Talent Innovation and Entrepreneurship Base, No. 8 Siqiao Road, Juchao Economic Development Zone, Chaohu City, Hefei City, Anhui Province Patentee after: HEFEI CAS ANGHUI TECHNOLOGY Co.,Ltd. Address before: 230000 no.2666 Xiyou Road, Hefei City, Anhui Province Patentee before: CAS (HEFEI) INSTITUTE OF TECHNOLOGY INNOVATION |