-
公开(公告)号:CN102231132A
公开(公告)日:2011-11-02
申请号:CN201110182872.0
申请日:2011-06-30
Applicant: 西北工业大学
IPC: G06F11/36
Abstract: 本发明提出了一种基于SystemC的AADL软构件模型仿真测试实例生成方法,首先给出了将数据构件、端口和连接转换为SystemC仿真测试实例的转换技术;然后,依据构件的包含关系,从构件树的底层(子程序)到树的中间层(线程、进程)逐步骤给出了将各构件转换为SystemC仿真测试实例的转换技术;最后给出了子系统和系统构件的转换技术。通过本发明,用户可以实现基于SystemC AADL软构件的仿真,包括软构件之间交互、执行时间和以及线程调度的仿真等。用户也可以将本发明与基于SystemC的AADL执行平台构件仿真相结合,对软硬件进行协同仿真,根据仿真结果迭代构造和精化设计模型,以尽早发现设计模型中存在的问题,保障设计模型的质量。
-
公开(公告)号:CN102231132B
公开(公告)日:2013-12-25
申请号:CN201110182872.0
申请日:2011-06-30
Applicant: 西北工业大学
IPC: G06F11/36
Abstract: 本发明提出了一种基于SystemC的AADL软构件模型仿真测试实例生成方法,首先给出了将数据构件、端口和连接转换为SystemC仿真测试实例的转换技术;然后,依据构件的包含关系,从构件树的底层(子程序)到树的中间层(线程、进程)逐步骤给出了将各构件转换为SystemC仿真测试实例的转换技术;最后给出了子系统和系统构件的转换技术。通过本发明,用户可以实现基于SystemC AADL软构件的仿真,包括软构件之间交互、执行时间和以及线程调度的仿真等。用户也可以将本发明与基于SystemC的AADL执行平台构件仿真相结合,对软硬件进行协同仿真,根据仿真结果迭代构造和精化设计模型,以尽早发现设计模型中存在的问题,保障设计模型的质量。
-