-
公开(公告)号：CN102073585B
公开(公告)日：2013-08-14
申请号：CN201010564678.4
申请日：2010-11-25
Applicant: 西北工业大学
IPC: G06F11/36
Abstract: 本发明涉及一种基于模型的嵌入式系统流延时属性测试方法，其特征在于：基于SystemC硬件描述语言搭建AADL模型仿真测试平台，将AADL模型转换为测试平台可执行的系统实例，并对流中的构件序列和端口序列进行抽象和映射，将AADL模型中的流转换为C++描述的测试模型，在系统实例仿真执行的过程中完成对AADL流延时属性的测试，并对测试结果进行分析与评估。能够在模型的设计阶段动态测试AADL模型的流延时属性，并根据测试结果迭代构造和精化设计模型，以便尽早发现设计模型中存在的问题，提高AADL模型设计初期的开发效率。
-
Patent Agency Ranking
公开(公告)号：CN102063369B
公开(公告)日：2014-03-12
申请号：CN201010610279.7
申请日：2010-12-23
Applicant: 西北工业大学
IPC: G06F11/36
Abstract: 本发明涉及一种基于AADL模态时间自动机模型的嵌入式软件测试方法，技术特征在于：根据AADL架构模型文件，生成带有模态信息的AADL系统构件树，通过广度优先遍历构件树，构造AADL模型的时间自动机模型。利用现有的时间自动机的验证工具，对AADL模型模态转换的正确性及时间属性进行验证。本发明方法能够在嵌入式软件设计早期阶段对模型实施测试，尽早发现软件模型的正确性和实时性是否满足设计需求，及时修订设计方案，从而缩短了嵌入式实时系统开发的周期并节约了开发成本。
-
公开(公告)号：CN102231132A
公开(公告)日：2011-11-02
申请号：CN201110182872.0
申请日：2011-06-30
Applicant: 西北工业大学
IPC: G06F11/36
Abstract: 本发明提出了一种基于SystemC的AADL软构件模型仿真测试实例生成方法，首先给出了将数据构件、端口和连接转换为SystemC仿真测试实例的转换技术；然后，依据构件的包含关系，从构件树的底层(子程序)到树的中间层(线程、进程)逐步骤给出了将各构件转换为SystemC仿真测试实例的转换技术；最后给出了子系统和系统构件的转换技术。通过本发明，用户可以实现基于SystemC AADL软构件的仿真，包括软构件之间交互、执行时间和以及线程调度的仿真等。用户也可以将本发明与基于SystemC的AADL执行平台构件仿真相结合，对软硬件进行协同仿真，根据仿真结果迭代构造和精化设计模型，以尽早发现设计模型中存在的问题，保障设计模型的质量。
-
公开(公告)号：CN102063369A
公开(公告)日：2011-05-18
申请号：CN201010610279.7
申请日：2010-12-23
Applicant: 西北工业大学
IPC: G06F11/36
Abstract: 本发明涉及一种基于AADL模态时间自动机模型的嵌入式软件测试方法，技术特征在于：根据AADL架构模型文件，生成带有模态信息的AADL系统构件树，通过广度优先遍历构件树，构造AADL模型的时间自动机模型。利用现有的时间自动机的验证工具，对AADL模型模态转换的正确性及时间属性进行验证。本发明方法能够在嵌入式软件设计早期阶段对模型实施测试，尽早发现软件模型的正确性和实时性是否满足设计需求，及时修订设计方案，从而缩短了嵌入式实时系统开发的周期并节约了开发成本。
-
公开(公告)号：CN102231132B
公开(公告)日：2013-12-25
申请号：CN201110182872.0
申请日：2011-06-30
Applicant: 西北工业大学
IPC: G06F11/36
Abstract: 本发明提出了一种基于SystemC的AADL软构件模型仿真测试实例生成方法，首先给出了将数据构件、端口和连接转换为SystemC仿真测试实例的转换技术；然后，依据构件的包含关系，从构件树的底层(子程序)到树的中间层(线程、进程)逐步骤给出了将各构件转换为SystemC仿真测试实例的转换技术；最后给出了子系统和系统构件的转换技术。通过本发明，用户可以实现基于SystemC AADL软构件的仿真，包括软构件之间交互、执行时间和以及线程调度的仿真等。用户也可以将本发明与基于SystemC的AADL执行平台构件仿真相结合，对软硬件进行协同仿真，根据仿真结果迭代构造和精化设计模型，以尽早发现设计模型中存在的问题，保障设计模型的质量。
-
公开(公告)号：CN102073585A
公开(公告)日：2011-05-25
申请号：CN201010564678.4
申请日：2010-11-25
Applicant: 西北工业大学
IPC: G06F11/36
Abstract: 本发明涉及一种基于模型的嵌入式系统流延时属性测试方法，其特征在于：基于SystemC硬件描述语言搭建AADL模型仿真测试平台，将AADL模型转换为测试平台可执行的系统实例，并对流中的构件序列和端口序列进行抽象和映射，将AADL模型中的流转换为C++描述的测试模型，在系统实例仿真执行的过程中完成对AADL流延时属性的测试，并对测试结果进行分析与评估。能够在模型的设计阶段动态测试AADL模型的流延时属性，并根据测试结果迭代构造和精化设计模型，以便尽早发现设计模型中存在的问题，提高AADL模型设计初期的开发效率。
-
-
-
-
-
Search Results
6
records
(took 0.02 seconds)
