公开(公告)号：CN103678137B

公开(公告)日：2015-07-08

申请号：CN201310746685.X

申请日：2013-12-30

Applicant: 北京控制工程研究所

Inventor： 万丽景 ,  杨孟飞 ,  党纪红 ,  董晓刚 ,  关小川 ,  陈尧 ,  綦艳霞 ,  顾斌 ,  王政

IPC: G06F11/36

Abstract: 一种基于list文件任务最大堆栈深度的检测方法，首先分析list文件，提取出各函数分配堆栈的大小，生成任务入口函数及中断入口函数的最终函数调用关系树，其次根据各函数分配堆栈的大小及任务入口函数及中断入口函数的最终函数调用关系树，采用递归的方法检测出各任务的最大堆栈深度。本发明能够准确给出任务的最大堆栈深度，解决了动态分析方法往往检测不到最大堆栈深度的问题。

公开(公告)号：CN103699042B

公开(公告)日：2015-04-22

申请号：CN201310751632.7

申请日：2013-12-31

Applicant: 北京控制工程研究所

Inventor： 杨孟飞 ,  顾斌 ,  綦艳霞 ,  董晓刚 ,  陈尧 ,  王政 ,  陈睿 ,  赵雷 ,  关小川

IPC: G05B19/042

Abstract: 并发中断驱动软件系统的时序确定方法，通过功能分配，为每个具体的功能模块进行处理时间和调用时间间隔的时序确定，并对中断处理程序进行时序和功能模块组成确定。本发明通过将功能进行细化的时序分配，在设计中就考虑了时序约束，易于保证整个软件系统的时序正确性。本发明给出了放在中断处理中的功能模块的设计准则和处理方式。哪些功能模块需要放在中断中处理对系统时序影响很大，需要统筹考虑，如果不合适可能会导致时序错误。本发明中提供的准则指导了中断中模块的时序设计，减少了中断驱动软件系统行为的不确定性。