| 一种AADL模型测试仿真引擎的设计与实现 |
| |
| 引用本文： | 宣杭,董云卫,孙博. 一种AADL模型测试仿真引擎的设计与实现[J]. 计算机科学, 2013, 40(Z11): 82-85,104 |
| |
| 作者姓名： | 宣杭 董云卫 孙博 |
| |
| 作者单位： | 中航工业西安航空计算技术研究所 西安710119;西北工业大学计算机学院 西安710072;西北工业大学计算机学院 西安710072 |
| |
| 基金项目： | 本文受国家“核高基”重大专项基础软件课题(2012ZX01041-002-003)资助 |
| |
| 摘 要： | 随着嵌入式软件规模的日益庞大,任务关键系统的可信属性,如实时性、可靠性等,逐渐成为影响嵌入式系统质量和制约系统行为可信的重要因素。如何在系统设计早期及时发现系统可信属性的不足,在模型设计阶段进行体系结构调整、优化模型中软硬构件结构及属性规约,成为嵌入式软件分析方法研究的重点。为解决以上问题,提出了一种基于模型的嵌入式系统实时性测试方法,设计并实现了面向AADL模型的仿真测试引擎(AMSE)。仿真引擎基于SystemC和POSIX技术,通过任务封装、任务调度、时钟管理、中断管理和信号控制等实现模拟内核功能,可以动态执行AADL模型实例,从而对嵌入式系统的实时性开展模型测试。同时,以汽车控制系统为应用实例,基于AADL模型测试引擎AMSE进行了应用测试分析,获得了较好的测试结果。
|
| 关 键 词： | AADL 模型测试 仿真引擎 |
Design and Implementation of Simulation Engine for AADL Model Based Testing |
| |
| XUAN Hang,DONG Yun-wei and SUN Bo. Design and Implementation of Simulation Engine for AADL Model Based Testing[J]. Computer Science, 2013, 40(Z11): 82-85,104 |
| |
| Authors: | XUAN Hang DONG Yun-wei SUN Bo |
| |
| Abstract: | |
| |
| Keywords: | Architecture analysis & design language(AADL) Model based test Simulation engine |
|
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|
