-
公开(公告)号：CN107402759B
公开(公告)日：2020-07-17
申请号：CN201710597752.4
申请日：2017-07-20
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于AADL扩展附件的软件系统堆栈分析方法，属于软件开发技术领域。本发明通过新增属性集，设计了一种基于AADL扩展附件的软件系统堆栈分析方法，其基于树结构实现任务栈空间计算和栈空间调整。利用系统AADL模型信息来构建树，自定义树结点数据结构，计算系统栈空间，并将其与内存大小对比，若设计的栈空间大小超出实际内存大小则进行调整，调整设计的堆栈数据以满足系统要求。该方法可以实现在模型设计阶段进行栈空间分析，提高软件开发效率。
-
公开(公告)号：CN108647030B
公开(公告)日：2022-03-11
申请号：CN201810275497.6
申请日：2018-03-30
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明公开了一种基于闭包算法的同步语言航天C代码自动生成方法，其中，包括：将每一个方程式看作为一个实例，通过获得连接Conn，得到所有结点间关系的元组，其中结点类型分为输入，操作以及输出三种类型；对所有的元组进行标记为false和true，其中false为未检查，true为已被检查，初始标注均为false；通过同步语言模型闭包划分算法组成闭包；通过同步语言模型闭包内部排序算法进行排序；通过拓扑排序获得拓扑序列。本发明一种基于闭包算法的同步语言航天C代码自动生成方法，具有准确性，安全性以及可靠性。
-
公开(公告)号：CN108647030A
公开(公告)日：2018-10-12
申请号：CN201810275497.6
申请日：2018-03-30
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明公开了一种基于闭包算法的同步语言航天C代码自动生成方法，其中，包括：将每一个方程式看作为一个实例，通过获得连接Conn，得到所有结点间关系的元组，其中结点类型分为输入，操作以及输出三种类型；对所有的元组进行标记为false和true，其中false为未检查，true为已被检查，初始标注均为false；通过同步语言模型闭包划分算法组成闭包；通过同步语言模型闭包内部排序算法进行排序；通过拓扑排序获得拓扑序列。本发明一种基于闭包算法的同步语言航天C代码自动生成方法，具有准确性，安全性以及可靠性。
-
公开(公告)号：CN107402759A
公开(公告)日：2017-11-28
申请号：CN201710597752.4
申请日：2017-07-20
Applicant: 北京计算机技术及应用研究所
IPC: G06F9/44
Abstract: 本发明涉及一种基于AADL扩展附件的软件系统堆栈分析方法，属于软件开发技术领域。本发明通过新增属性集，设计了一种基于AADL扩展附件的软件系统堆栈分析方法，其基于树结构实现任务栈空间计算和栈空间调整。利用系统AADL模型信息来构建树，自定义树结点数据结构，计算系统栈空间，并将其与内存大小对比，若设计的栈空间大小超出实际内存大小则进行调整，调整设计的堆栈数据以满足系统要求。该方法可以实现在模型设计阶段进行栈空间分析，提高软件开发效率。
-
-
-
Search Results
4
records
(took 0.032 seconds)
