作者：谯婷婷 王乐 耶国栋软件可靠性结构分析与设计语言安全等级流延迟
摘要：针对软件可靠性面临的安全等级和流延迟两类问题，提出了一种基于结构分析与设计语言（AADL）的软件可靠性验证方法。首先建立两类问题的需求模型，并将需求模型转化为设计模型；其次是调用分析插件对设计模型进行分析，查找模型中存在的问题；最后根据存在的问题对设计模型进行修改和完善。仿真结果表明，所提出的方法有效验证了安全等级和流延迟两类问题，为AADL在航电系统软件验证方面的应用奠定了基础。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
