Model-based safety analysis of a control system using Simulink and Simscape extended models

摘要：

　　The aircraft or system safety assessment process is an integral part of the overall aircraft development cycle.It is usually characterized by a very high timely and financial effort and can become a critical design driver in certain cases.Therefore,an increasing demand of effective methods to assist the safety assessment process arises within the aerospace community.One approach is the utilization of model-based technology,which is already well-established in the system development,for safety assessment purposes.This paper mainly describes a new tool for Model-Based Safety Analysis.A formal model for an example system is generated and enriched with extended models.Then,system safety analyses are performed on the model with the assistance of automation tools and compared to the results of a manual analysis.The objective of this paper is to improve the increasingly complex aircraft systems development process.This paper develops a new model-based analysis tool in Simulink/Simscape environment.

作者: Nian Shao Shuguang Zhang Hui Liang

作者单位: School of Transportation Science and Engineering,Beihang University,Beijing,China;Airworthiness Technology Research Centre,NLAA,Beijing,China

会议类型: 国际会议

会议名称: 2017第三届机械、电子和信息技术工程国际会议(ICMITE 2017)

会议地点: 成都

会议语种:英文

页码: 1-5

在线出版日期: 2017-12-16（万方平台首次上网日期，不代表论文的发表时间）