Ontological Approach to Fault Tree and Failure Modes Effects Analysis Develpoment and Exploration

总体目标是利用语义网技术开发一个原型FTA/FMEA工具，该工具能够：-将底层通用结构模型表达为本体；-使特定故障树和组件FMEA能够使用该通用本体以及特定环境特定的相关环境因素来表达；-允许通过计算机辅助手段执行结构和环境敏感性分析--例如推断隐藏的组件/系统关系。要做到这一点，学生需要：1。了解工程和军事的需求和背景。这应该包括进行两个或多个真实世界的案例研究，例如：-用于支持认证论点的危险分析-与诸如交通碰撞避免等背景相关的安全增强论点。-分析由共同原因故障引起的事件，例如最近的A400M坠机事件。-飞行战斗机所需的生命危险分析。这样的案例研究可以为以后的开发和实验奠定领域相关的基础。2.为FMEA、FTA和相关流程(如生命风险分析)建立基本通用模型的要求。3.开发一个本体模型来表示这些需求。根据(1)的结果，这可能会修改和增强核心的NeTTUN本体。4.对于已完成模型的目标系统(例如飞机子系统)，根据核心本体和表达环境因素所需的集成组件，将模型重新开发为本体。5.开发一种工具，使模型能够被探索，并提供机器帮助，例如建议常见的故障模式，并且可以揭示隐含的关系，或者验证或收回。6.在平台级重新测试，以探索该方法的可伸缩性程度。7.验证结果的正确性。

The overall aim is to develop a prototype FTA/FMEA tool using Semantic Web technologies capable of: - Expressing the underlying generic structural model as an ontology; - Enable the specific fault trees and component FMEAs to be expressed using this generic ontology along with the related environmental factors specific to a particular environment; - Enable structural and environmental sensitivity analysis to be performed through computer aided means - such as inferring hidden component / system relationships. To achieve this the student will need to: 1. Gain an understanding of the engineering and military needs and contexts. This should include conducting two or more real-world case studies such as: - A hazard analysis that is being used to support certification arguments - a safely enhancement argument related to a context such as Traffic Collision Avoidance. - An analysis of an incident due to a common cause failure such as that attributed to the recent A400M crash. - A Risk to life Analysis required for a flying combat aircraft. Such case studies could form the domain related foundation for later development and experiments. 2. Establish the requirements of an underlying generic model for FMEA, FTA and related processes such as Risk to Life analysis. 3. Develop an ontological model to represent these requirements. Depending on the outcome of (1) this could modify and enhance the core NeTTUN ontology. 4. For a target system (e.g. an aircraft sub-system) where a model has already been completed, redevelop the model as an ontology based on the core ontology and integrated components necessary to express environmental factors. 5. Develop a tool that enables the model to be explored and machine assistance given such as suggesting common failure modes, and where implicit relationships can be revealed and either verified or retracted. 6. Re-test at platform level to explore the degree to which the approach is scalable. 7. Verify the correctness of the outcomes.