论文部分内容阅读
在机载软件架构设计阶段,人们将安全性研制保证水平分配到具体的构件中,确保产品质量。鉴于现代航空软件系统极其复杂,如何从系统角度,检验分配给构件的安全性等级符合系统的一致性目标,是设计阶段需要解决的重要问题。首先,分析了分布式和综合式机载软件系统的架构特点,得出了在安全性分析工作中需要考虑冗余等架构设计的影响的结论。其次,使用系统建模语言(SysML)块图建立带有安全性等级属性的系统静态结构模型,利用矩阵对模型进行精确的形式化转换;制定验证规则,在此基础上给出了验证方法,以验证安全性等级分配的合理性。在验证过程中,将关键信息存储在XML文档中,可为适航性审查提供证据。最后,通过实例分析,验证了该方法的可行性。
In the airborne software architecture design stage, people will be assigned to the level of security development assurance to the specific components, to ensure product quality. In view of the extremely complicated modern aviation software system, it is an important issue that needs to be solved in the design phase to verify how the safety level assigned to a component conforms to the system’s consistency goal from a system perspective. First of all, the characteristics of the architecture of distributed and integrated airborne software system are analyzed, and the conclusion that the redundancy architecture needs to be considered in the security analysis is obtained. Secondly, the SysML block diagram is used to establish the system static structure model with security level attribute, and the matrix is used to transform the model accurately. The validation rules are formulated, and the verification method is given. To verify the rationality of the security level allocation. During verification, key information is stored in an XML document to provide evidence of seaworthiness review. Finally, the feasibility of this method is verified by an example analysis.