高可信嵌入式控制软件的可信性分析与保证技术集成应用研究
91018013
2010
F0203.软件理论、软件工程与服务
董威
重大研究计划
教授
中国人民解放军国防科技大学
50万元
软件验证;软件分析;可信软件;软件演化;运行监控
2011-01-01到2011-12-31
- 中英文摘要
- 结题摘要
- 结题报告
- 项目成果
- 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
| 序号 | 标题 | 类型 | 作者 |
|---|---|---|---|
| 1 | 一种面向开发过程的软件可靠性预测方法 | 期刊论文 | 赵波|董威|王大翊|荣霓| |
| 2 | 一种基于测试的故障树正确性检测方法 | 会议论文 | 齐治昌|刘磊|董威| |
| 3 | A General Approach of Defining and Categorizing Runtime Monitors Based on AOP in Runtime Enforcement | 期刊论文 | Xian Zhang|Zhichang Qi|Wei Dong| |
| 4 | Security Goals Assurance Based on Software Active Monitoring | 会议论文 | Changzhi Zhao|Wei Dong|Zhichang Qi|Martin Leucker| |
| 5 | 基于AOP的运行时验证中的冲突检测 | 期刊论文 | 董威|张献|齐治昌| |
| 6 | 基于三值语义的软件运行时验证方法 | 期刊论文 | 赵常智|董威|李冰鹏|隋平| |
| 7 | An Event Pattern Language for Runtime Monitoring Based on AOP | 会议论文 | Xian Zhang|Martin Leucker|Zhichang Qi|Wei Dong| |
查看更多信息请先登录或注册
