嵌入式软件的可信属性分析与验证
90718019
2007
F0203.软件理论、软件工程与服务
罗蕾
重大研究计划
教授
电子科技大学
50万元
模型驱动结构方法;可信属性;设计与验证..
2008-01-01到2010-12-01
- 中英文摘要
- 结题摘要
- 结题报告
- 项目成果
- 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
| 序号 | 标题 | 类型 | 作者 |
|---|---|---|---|
| 1 | 基于UPPAAL的AADL模型可调度性验证 | 期刊论文 | 刘倩|李允|桂盛霖|罗蕾| |
| 2 | On energy-constrained real-time scheduling for elastic tasks | 期刊论文 | Lei, Hang|Gui, Sheng-Lin| |
| 3 | 基于模型的嵌入式开发环境——LambdaMDE | 期刊论文 | 桂盛霖|罗蕾|李允|陆少鹏| |
| 4 | Dependability analysis for AADL models by PVS | 会议论文 | Chen, Geng|Gui, Shenglin|Luo, Lei|Gong, Rong| |
| 5 | AADL模型代码自动生成技术研究 | 期刊论文 | 桂盛霖|刘雪琴|罗蕾|罗惠琼| |
| 6 | Formal schedulability analysis and simulation for AADL | 会议论文 | Luo, Lei|Wang, Lijie|Gui, Shenglin|Li, Yun| |
| 7 | UCaG: An automatic C code generator for AADL based upon DeltaOS | 会议论文 | Luo, Lei|Yin, Limeng|Li, Yun|Ma, Liang|Gui, Shenglin| |
| 8 | AADL模型的ada代码自动生成及集成技术 | 期刊论文 | 桂盛霖|尹立孟|李建一|罗惠琼| |
| 9 | AADL模型的代码自动生成及集成技术 | 期刊论文 | 尹立孟|陶勇|桂盛霖|马亮| |
| 10 | Research and implementation of ARINC653 configuration tool based on AADL | 会议论文 | Yun Li|Jianhua Xu|Yang Meng|Lei Luo|Shenglin Gui| |
| 11 | Research of automatic code generating technology based on AADL | 会议论文 | Yin, Limene|Ma, Liang|Luo, Lei|Gui, Shenglin| |
| 12 | UCaS: A schedulability analysis tool for AADL models | 会议论文 | Liu, Qian|Gui, Shenglin|Luo, Lei|Guo, Fulei|Lu, Shaopeng| |
查看更多信息请先登录或注册
