谯婷婷
- 作品数：5 被引量：12H指数：2
- 供职机构：西安飞行自动控制研究所更多>>
- 发文基金：中国航空科学基金更多>>
- 相关领域：自动化与计算机技术电气工程更多>>
- 飞行控制系统软件复用技术被引量：2
- 2012年
- 软件复用技术能够提高飞行控制系统软件研发效率,保证软件质量。针对飞行控制系统软件的特点,提出以软件复用为目的的软件体系结构,提取了基本构件,并对基于复用技术的飞行控制系统软件研发过程进行了研究。
- 郑勇卫鹏谯婷婷
- 关键词：飞行控制系统软件软件复用
- AADL在中断控制系统建模中的应用
- 2013年
- 随着中断控制在嵌入式实时系统中的不断广泛应用,中断控制的可靠性是系统设计中面临的重要问题。虽然基于体系结构分析与设计语言(AADL)的形式化方法为这一问题的解决提供了思路,但AADL自身缺少有效的元素和方法来描述和建模中断。为此,提出一种结合AADL与中断控制器的中断控制系统设计方法,并运用GSPN可靠性计算模型对可靠性进行分析,从而为AADL在航电系统中的应用提供了思路。
- 任飞谯婷婷刘俊波邵杨锋
- 关键词：AADLGSPN
- 基于AADL的软件可靠性验证被引量：8
- 2012年
- 针对软件可靠性面临的安全等级和流延迟两类问题,提出了一种基于结构分析与设计语言(AADL)的软件可靠性验证方法。首先建立两类问题的需求模型,并将需求模型转化为设计模型;其次是调用分析插件对设计模型进行分析,查找模型中存在的问题;最后根据存在的问题对设计模型进行修改和完善。仿真结果表明,所提出的方法有效验证了安全等级和流延迟两类问题,为AADL在航电系统软件验证方面的应用奠定了基础。
- 谯婷婷王乐耶国栋
- 关键词：安全等级
- 基于Coq的软件安全性验证被引量：2
- 2012年
- 针对数组越界、空指针应用和缓冲区溢出三类威胁软件安全的不规范操作,提出了一种基于Coq验证上述三类操作的形式化方法。首先编写三类安全问题的程序实例,并采用形式化方法进行标注;其次运用Frama-C和Why工具对标注程序进行解析,生成需要证明的定理;最后基于Coq集成开发环境证明定理,实现安全问题的验证。结果表明,该方法有效验证了软件安全中的三类问题,为形式化方法在软件安全性验证方面的应用奠定了基础。
- 谯婷婷王乐王芳葛艳
- 关键词：形式化方法COQ数组越界缓冲区溢出
- AADL在中断控制系统建模中的应用
- 任飞谯婷婷刘俊波邵杨锋
- 关键词：AADLGSPN
- 文献传递
