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