嵌入式系统动态存储错误静态检测的实现方法

    公开(公告)号:CN100470683C

    公开(公告)日:2009-03-18

    申请号:CN200610052227.6

    申请日:2006-06-30

    Applicant: 浙江大学

    Abstract: 本发明涉及嵌入式系统动态存储度技术领域,旨在提供一种嵌入式系统动态存储错误静态检测的实现方法。该方法包括使用指针树对控制流信息进行记录和使用指针树对过程内动态存储错误进行检测。本发明具有精确性和可靠性。通过定义指针树,能够精确的判断出在程序编译过程中,是否出现了内存的泄漏等问题,如果出现了,能够通过语法树进行精确的定位。通过指针树对程序编译过程进行分析,覆盖了程序编译的整个过程,能够可靠全面的进行动态存储的检测。

    嵌入式操作系统分组硬实时任务调度的实现方法

    公开(公告)号:CN1818875A

    公开(公告)日:2006-08-16

    申请号:CN200610049874.1

    申请日:2006-03-16

    Applicant: 浙江大学

    Abstract: 本发明公开了一种嵌入式操作系统分组硬实时任务调度的实现方法,对于嵌入式操作系统中的任务,统计各个可预测任务的特点,并给每个任务定义了维和任务间距离,对于多个任务的集合定义了组、组群以及组间距离和组群间距离,采用了多任务情况下,对冲突最少的任务进行调度的方法,从而能够减少切换时间,减少任务切换时的各项开销,提高任务调度的效率和嵌入式操作系统的实时性。

    嵌入式操作系统多任务并行启动优化实现方法

    公开(公告)号:CN100377084C

    公开(公告)日:2008-03-26

    申请号:CN200610049769.8

    申请日:2006-03-10

    Applicant: 浙江大学

    Abstract: 本发明公开了一种嵌入式操作系统多任务并行启动优化实现方法。本发明的方法是定义了通过利用现有移动嵌入式设备CPU强大的分时处理能力,在嵌入式操作系统启动时,同时并行启动多个无前后相关依赖的任务,操作系统在启动时,在内核引导完毕之后,读取保存的系统文件,按照文件中纪录的任务组关系,同时启动多个任务组内的任务,在同一组内,按照任务标记顺序启动任务,直到所有任务启动完毕为止,使各种系统任务能够根据各任务的依赖关系,并行启动任务,从而能够节省系统资源,节约嵌入式操作系统总的启动时间。

    嵌入式系统动态存储错误静态检测的实现方法

    公开(公告)号:CN1905076A

    公开(公告)日:2007-01-31

    申请号:CN200610052227.6

    申请日:2006-06-30

    Applicant: 浙江大学

    Abstract: 本发明涉及嵌入式系统动态存储度技术领域,旨在提供一种嵌入式系统动态存储错误静态检测的实现方法。该方法包括使用指针树对控制流信息进行记录和使用指针树对过程内动态存储错误进行检测。本发明具有精确性和可靠性。通过定义指针树,能够精确的判断出在程序编译过程中,是否出现了内存的泄漏等问题,如果出现了,能够通过语法树进行精确的定位。通过指针树对程序编译过程进行分析,覆盖了程序编译的整个过程,能够可靠全面的进行动态存储的检测。

    嵌入式系统基于功能构件化的实现方法

    公开(公告)号:CN1877522A

    公开(公告)日:2006-12-13

    申请号:CN200610052229.5

    申请日:2006-06-30

    Applicant: 浙江大学

    Abstract: 本发明涉及嵌入式操作系统技术领域,旨在提供一种嵌入式系统基于功能构件化的实现方法。该方法包括根据系统功能对系统进行划分、定义功能构件标准接口和功能构件封装。该方法具有可重用性和灵活性。本发明充分利用软件复用技术的特点,对嵌入式操作系统按照其功能进行模块划分,并对功能模块进行了构件化,从而形成了按照功能构件化的嵌入式操作系统,这些功能构件都是可重用的。按照功能构件化的嵌入式操作系统,能够根据实际需要的不同,选择不同的功能构件来构造嵌入式操作系统能够提供的服务,从而使得系统的功能更加灵活,性能更高。

    嵌入式多媒体基于内容的查询和检索的实现方法

    公开(公告)号:CN1851709A

    公开(公告)日:2006-10-25

    申请号:CN200610051627.5

    申请日:2006-05-25

    Applicant: 浙江大学

    Abstract: 本发明涉及嵌入式多媒体技术领域,旨在提供一种嵌入式多媒体基于内容的查询和检索的实现方法。该方法包括对象标识、对多媒体数据进行特征提取、以提取的媒体特征建立索引、输入用户描述、用户描述与库中媒体的相似匹配和在相似匹配的结果中选择最终结果的步骤。本发明突破了传统的基于文本检索技术的局限,直接对图像、视频、音频内容进行分析、抽取特征,利用这些内容特征建立索引并进行检索,使得检索更加接近媒体对象。

    嵌入式操作系统多任务并行启动优化实现方法

    公开(公告)号:CN1818868A

    公开(公告)日:2006-08-16

    申请号:CN200610049769.8

    申请日:2006-03-10

    Applicant: 浙江大学

    Abstract: 本发明公开了一种嵌入式操作系统多任务并行启动优化实现方法。本发明的方法是定义了通过利用现有移动嵌入式设备CPU强大的分时处理能力,在嵌入式操作系统启动时,同时并行启动多个无前后相关依赖的任务,操作系统在启动时,在内核引导完毕之后,读取保存的系统文件,按照文件中纪录的任务组关系,同时启动多个任务组内的任务,在同一组内,按照任务标记顺序启动任务,直到所有任务启动完毕为止,使各种系统任务能够根据各任务的依赖关系,并行启动任务,从而能够节省系统资源,节约嵌入式操作系统总的启动时间。

    嵌入式软件反编译中的静态库函数识别实现方法

    公开(公告)号:CN1818863A

    公开(公告)日:2006-08-16

    申请号:CN200610049803.1

    申请日:2006-03-13

    Applicant: 浙江大学

    Abstract: 本发明公开了一种嵌入式软件反编译中的静态库函数识别实现方法。本发明的方法结合反编译的整个过程特点,对静态库将用户的函数模块与编译器的库函数之间进行匹配,中间代码中的调用函数过程代码形式中的函数入口地址换成相应的库函数名,以实现对静态库函数的识别。本方法实现了在嵌入式软件反编译中的静态库函数识别,有利于将目标代码转换成为等价的高级语言形式的反编译工作。

    一种嵌入式系统运行时堆栈溢出保护方法

    公开(公告)号:CN100426237C

    公开(公告)日:2008-10-15

    申请号:CN200610051625.6

    申请日:2006-05-25

    Applicant: 浙江大学

    Abstract: 本发明涉及嵌入式系统程序编译技术领域,旨在提供一种嵌入式系统运行时堆栈溢出保护方法。该方法包括(1)编译器分析扫描原程序,生成程序函数调用表,供回卷函数优化时使用;(2)编译器在函数中插入运行时检测代码,检测堆栈的使用状态,并返回信息,供插入的运行时处理代码使用;(3)编译器在函数中插入堆栈运行时处理代码;(4)采用函数回卷技术,优化在函数中插入的代码的步骤。本发明无需在每个嵌套函数中插入代码,大大的减少了代码量。通过这样的方法就能够在应用程序运行时动态检测堆栈空间,并做相应的处理,排除发生堆栈运行溢出的可能性,最终保证系统可以在安全的前提下运行。

    一种嵌入式实时文件系统任务调度的实现方法

    公开(公告)号:CN1877534A

    公开(公告)日:2006-12-13

    申请号:CN200610052232.7

    申请日:2006-06-30

    Applicant: 浙江大学

    Abstract: 本发明涉及嵌入式文件系统技术领域,旨在提供一种嵌入式实时文件系统任务调度的实现方法。该方法包括定义嵌入式实时文件系统结构、任务排序、任务的纳入控制和任务调度。该方法通过分割机制和宽松度指标保证了高优先级任务的可抢占性和对低优先级任务调度的公平性,这种机制不仅提高了文件服务的灵活性,而且其实现机制简单清晰,具有较高的可行性。

Patent Agency Ranking