功能危害性评估方法在电动垂直起降飞行器安全性分析中的应用

近年来,电动垂直起降(electric vertical takeoff and landing,简称eVTOL)飞行器在城市空运中得到快速发展。eVTOL被看作是最具发展前景的,可作为城市空中交通运输的有效运载工具。安全性分析是eVTOL飞行器运行载人过程中,减少灾难性事故以及保证高可靠性和高安全性的最重要条件。利用功能危害性评估(functional hazard assessment,简称FHA)可确定eVTOL飞行器中潜在的失效状态、预计失效状态以及其他的危险失效状态,从而能够全面找出潜在的灾难性和危险失效状态,进而有针对性地进行控制,最后能够全面降低灾难性事故的发生,以确保eVTOL飞行器的安全性。基于FHA分析,对eVTOL整机的安全性分析,并通过灾难性失效状态得出安全关键功能,为其功能设计提供依据。     

引入缺陷的细粒度软件变更识别方法

软件开发过程中,缺陷通过变更引入软件系统。为提高缺陷发现效率,降低人工审查成本,提出一种引入缺陷细粒度变更自动化识别方法。该方法基于机器学习分类思想,将细粒度变更作为实例,从时间、地点、内容、意图以及人员5方面构造特征集;采用程序静态分析与自然语言语义分析相结合的方法挖掘软件历史库,自动化构建细粒度变更实例;使用软件历史中的细粒度变更实例训练分类器,从而识别新的细粒度变更是否引入了缺陷。在实际软件系统上运用成本有效性评估策略验证方法有效性。结果表明相比于文件和事务粒度的引入缺陷变更识别方法,该方法可显著降低人工审查成本。