嵌入式软件的可信属性分析与验证

随着人们对软件的应用需求越来越多，复杂度越来越高，但是软件很多时候不以人们所期望的方式工作，发生各种故障和失效，由此人们对"软件可信性"问题开始了专门的研究。本课题针对一个具体的嵌入式实时软件应用领域，探究其可信属性集并量化表示，然后研究基于该可信属性集基础上的保证可信性的设计手段和验证方法，最后在航空电子系统领域得到应用验证。