朱晓燕
- 作品数：4 被引量：0H指数：0
- 供职机构：北京航空航天大学计算机学院更多>>
- 发文基金：陕西省自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种基于SystemC的AADL软构件模型仿真测试实例生成方法
- 本发明提出了一种基于SystemC的AADL软构件模型仿真测试实例生成方法，首先给出了将数据构件、端口和连接转换为SystemC仿真测试实例的转换技术；然后，依据构件的包含关系，从构件树的底层(子程序)到树的中间层(线程...
- 马春燕董云卫朱晓燕朱宇峰
- 基于SystemC的AADL软构件仿真代码转换技术
- 2011年
- 目前,AADL在任务关键和安全关键嵌入式领域有着良好的应用。如何在设计阶段对AADL模型进行仿真,并根据仿真结果迭代构造和精化设计模型,以尽早发现设计模型中存在的问题,保障设计模型的质量,进而减少系统开发的代价,是目前急需解决的技术挑战。SystemC是一种软硬件协同仿真的系统描述语言,由此提出了AADL软构件到SystemC仿真代码的转换技术上,设计和实现了转换工具,并以航行控制系统为例,阐释了转换技术和基于SystemC的线程调度仿真。通过本研究成果,用户可以实现基于SystemC的AADL软构件的仿真,包括软构件之间交互、执行时间和线程调度的仿真等,用户也可以将研究成果与基于SystemC的AADL执行平台构件仿真相结合,对软硬件进行协同仿真。
- 马春燕董云卫陆伟朱晓燕
- 关键词：AADLSYSTEMC仿真
- 模型驱动的VxWorks操作系统故障注入与鲁棒性测试研究
- 2013年
- VxWorks是目前广泛应用于机载、车载等复杂嵌入式系统的操作系统,它为应用程序提供了强大的故障捕捉和缺省的故障处理服务,并提供应用程序可挂载的故障处理接口。由于故障产生的时机和机理复杂,因此如何控制操作系统使其按照应用程序的测试需求抛出相应的故障,从而触发应用程序的故障处理,是对应用程序开展鲁棒性测试时需要解决的一个关键问题。本文以VxWorks嵌入式实时操作系统中捕捉的故障作为研究对象,提出了由故障建模、故障注入、测试控制和鲁棒性判定组成的故障设计与测试方法,以支持对基于VxWorks的应用程序开展鲁棒性测试。该测试方法将模型驱动测试与故障注入技术相结合,在平台无关层次描述故障,针对操作系统中对相应故障处理方式的不同,本文设计了函数替换和变量修改两种故障注入方法,并在VxWorks 5.5上进行了实验,确认了相应方法和技术的有效性。
- 朱晓燕吴际尚会波
- 关键词：鲁棒性测试
- 一种基于SystemC的AADL软构件模型仿真测试实例生成方法
- 本发明提出了一种基于SystemC的AADL软构件模型仿真测试实例生成方法，首先给出了将数据构件、端口和连接转换为SystemC仿真测试实例的转换技术；然后，依据构件的包含关系，从构件树的底层(子程序)到树的中间层(线程...
- 马春燕董云卫朱晓燕朱宇峰
- 文献传递
