中央高校基本科研业务费专项资金(GK2010002011)
- 作品数：2 被引量：8H指数：2
- 相关作者：李蜀瑜刘玮更多>>
- 相关机构：陕西师范大学更多>>
- 发文基金：中央高校基本科研业务费专项资金更多>>
- 相关领域：自动化与计算机技术更多>>
- AADL模型的形式化研究被引量：3
- 2013年
- 在嵌入式系统建模领域,AADL以其软硬件协同建模的特点已经逐渐成为业界的标准。围绕AADL的形式化特点,国内外众多学者展开了热烈的讨论。为了帮助系统开发人员深入了解AADL,指导软件开发进程,提高基于AADL模型的软件开发效率,分别从AADL模型可靠性分析、可调度性分析以及AADL模型测试这三个不同角度综述了已经出现的各种AADL形式化验证理论,对比分析了它们的优点和不足。简要介绍有关AADL验证工具,研究基于AADL模型的嵌入式开发平台的构建。
- 刘玮李蜀瑜
- 关键词：形式化研究
- 基于AADL模型的静态故障树的自动生成被引量：5
- 2013年
- 在基于模型驱动的嵌入式软件开发中,为了避免安全问题可能产生的损失,需要对系统的安全性进行分析,找出可能发生错误的地方。在基于AADL系统模型的安全性分析上,利用AADL错误模型附件为系统故障和传播进行建模,通过追踪对象的可能故障源来提取系统的实例错误模型,然后将错误模型实例存储在有向图里,并根据有向图建立系统错误模型的故障树。通过故障树分析工具就可以高效地分析系统的安全问题。
- 刘玮李蜀瑜
- 关键词：有向图故障树
