基于形式化技术的复杂机电系统可靠性评价方法研究

项目名称： 基于形式化技术的复杂机电系统可靠性评价方法研究

项目编号： No.51375365

项目类型： 面上项目

立项/批准年度： 2013

项目学科： 机械、仪表工业

项目作者： 杨培林

作者单位： 西安交通大学

项目金额： 80万元

中文摘要： 可靠性评价是复杂机电系统设计过程中的一个重要环节，也是保证复杂机电系统固有可靠性、降低潜在故障危害的一种重要手段。为解决目前复杂机电系统可靠性评价方法由于非形式化而导致的一系列问题，本项目将形式化技术引入复杂机电系统的可靠性评价。基于复杂机电系统的过程模型和功能载体的状态变迁模型研究系统的状态解析，利用行为树研究系统行为过程的形式化建模，基于系统状态并利用时态逻辑研究系统可靠性要求的形式化表达。在此基础上，结合形式化验证技术建立基于形式化技术的复杂机电系统可靠性评价理论与方法，开发基于形式化技术的可靠性评价系统原型，并结合实例进行验证。项目研究旨在实现复杂机电系统可靠性评价的形式化和自动化，为准确、高效地分析评价复杂机电系统可靠性提供一条新的思路和方法。本项目研究对丰富和发展复杂机电系统的可靠性评价方法、促进我国高可靠性和安全性复杂机电系统的自主研发具有十分重要的理论意义和实用价值。

中文关键词： 可靠性评价；概率行为树建模；形式化技术；概率模型检测；复杂机电系统

英文摘要： Reliability assessment is a key aspect in the complex electromechanical system development process,as well as an importment means to assure inherent reliability and reduce fault hazards of complex electromechanical system.In this research project, the fo

英文关键词： Reliability evaluation；Probabilistic behavior trees modeling；Formal Method；Probabilistic model checking；Electromechanical systems