机载系统的功能研制保证等级验证方法

Verification on function development assurance level for airborne system

为保证机载系统研制过程中人为分配的功能研制保证等级是合理的,提出一种机载系统功能研制保证等级的验证方法。考虑不同架构设计对系统功能研制保证等级分配的影响,结合模型驱动和形式化方法,研究系统的功能研制保证等级与安全标准的一致性,通过实例验证了该方法能够自动分析和检验系统的功能研制保证等级分配的合理性,提高系统安全性。

To guarantee the functional development assurance level(FDAL)assigned to airborne system is reasonable,a verification approach on FDAL for airborne system was proposed.The different architecture design that had the influence on assignment of FDAL was considered and the consistency between FDAL and safety standards was studied via model-driven and formal method.An example was used to show that the approach proposed can automatically analyze and verify the rationality of FDAL assigned to system and thus improve the safety of system.