-
公开(公告)号：CN103731343A
公开(公告)日：2014-04-16
申请号：CN201210384476.0
申请日：2012-10-11
Applicant: 中国科学院软件研究所
IPC: H04L12/66
CPC classification number: H04L67/288 , H04L12/40 , H04L12/4625 , H04L12/6418 , H04L67/10 , H04L2012/40293
Abstract: 本发明公开了一种基于LPC2468的MVB-WTB网关及其工作方法，属于机车通信领域。本网关包括MVB网卡和WTB网卡；WTB包括WTB-ARM、WTB-FPGA模块，MVB包括MVB-ARM、MVB-FPGA模块；WTB-ARM模块采用LPC2468处理器对网关协议栈的网络层和链路层数据解析；WTB-FPGA模块用于对WTB与其他网关通信数据的收发，以及WTB与MVB之间通信数据的收发；MVB-ARM模块负责网卡上协议栈的执行；MVB-FPGA模块用于收集通过MVB总线进行传输的MVB设备的过程、消息数据，以及与网关内的WTB之间通信数据的收发。本发明加快了网关之间的通信速度，增强了可靠性。
-
公开(公告)号：CN100435113C
公开(公告)日：2008-11-19
申请号：CN200510053524.8
申请日：2005-03-08
Applicant: 中国科学院软件研究所
Abstract: 本发明提出了一种基于C++映射的TTCN-3测试系统及测试方法。该测试系统及其测试方法基于TTCN-3的C++映射标准，通过语言转换器将TTCN-3测试用例转换成语义相等的C++测试用例，并在TTCN-3运行环境进行编译、加载、执行，以实现对被测系统的测试。在转换生成的测试用例中每一个测试组件都实现为一个进程，避免了通常采用的线程技术在堆栈空间和测试组件数量上的限制。采用本发明实现的TTCN-3运行环境不但可以满足一般系统的黑盒测试，还适用于那些具有并发、交互、实时等特点的系统的测试。
-
公开(公告)号：CN102945202A
公开(公告)日：2013-02-27
申请号：CN201210390161.7
申请日：2012-10-15
Applicant: 中国科学院软件研究所
IPC: G06F11/36
Abstract: 本发明提供了一种基于代理的RTEMS系统调试方法，在针对目标机硬件的RTEMS操作系统上，增加了调试代理(Agent)、Trace功能模块，形成一套针对RTEMS操作系统和特定目标硬件CPU架构的基于代理的调试工具，并定制调试代理和GDB主机端通信的应用通信协议。经调试代理绑定指定目标任务后，由上位机的GDB主机端通过目标机的trace模块对被调试任务进行远程调试，以方便系统的快速调试开发。
-
公开(公告)号：CN102541642A
公开(公告)日：2012-07-04
申请号：CN201110450432.9
申请日：2011-12-30
Applicant: 中国科学院软件研究所
IPC: G06F9/46
Abstract: 一种在RTEMS实时操作系统中增强实时性能的任务管理方法，包括如下步骤：A、通过发送信号量的方式调度某一个任务；B、设置同任务优先级任务就绪队列，如果根据所述某一任务的信号量的状态值确定其应该被放入就绪队列，则将该任务排到同任务优先级队列；反之则强制抢占处理器资源并执行该任务；C、为所述某一任务指定优先级抢占阀值，根据该阀值判定是否允许抢占该任务；D、当所述某一任务添加到所述同任务优先级队列中时，根据其信号量以及抢占阀值判断其所属优先级等级，并在所述同优先级就绪任务队列中定位插入位置，从而形成一个有序的任务阻塞队列。
-
公开(公告)号：CN102567096A
公开(公告)日：2012-07-11
申请号：CN201110450433.3
申请日：2011-12-30
Applicant: 中国科学院软件研究所
IPC: G06F9/46
Abstract: 一种在多任务环境中防止死锁的互斥信号量管理方法，包括以下步骤：A、为系统所需的互斥信号量分配一一对应的编号；B、建立包括含有互斥信号量的ID与互斥信号量编号信息的双向链表，并指明任务已经占有的信号量的个数以及任务可占有信号量的最大个数；C、建立针对互斥信号量的状态数组，以所述互斥信号量编号为状态数组下标，指示互斥信号量在系统中的存在个数；数组的每个成员值表示，系统中所对应编号的互斥信号量的拥有个数；D、在任务状态控制块中根据互斥信号量的ID按照互斥信号量编号从小到大的顺序申请信号量，并根据信号量的使用情况，对任务状态控制块中存放占有信号量的个数的域以及互斥信号量状态数组进行更新。
-
Patent Agency Ranking
公开(公告)号：CN1967572A
公开(公告)日：2007-05-23
申请号：CN200510086935.7
申请日：2005-11-18
Applicant: 中国科学院软件研究所
IPC: G06Q10/00
Abstract: 本发明提供了一种用于业务密集型领域的业务过程管理方法，包括步骤：1)根据领域应用中各部分功能结构关系定义业务过程的基本元素集，所述的基本元素集包括：活动集、规则集、活动之间的结构关系集和事件集；2)根据约定的映射规则，将所定义的业务过程模型中元素映射至可执行业务过程语言。本发明还提供了与该方法相对应的系统，包括：业务过程模型编辑器，用于编辑融合宏观的业务实体和微观的业务逻辑的业务过程模型；业务过程映射器，用于将业务模型编辑器中输出的业务过程模型映射为标准的可执行业务过程语言；业务过程引擎，用于驱动可执行的业务过程语言，实现业务过程管理系统的自动执行。
-
公开(公告)号：CN102567096B
公开(公告)日：2017-02-08
申请号：CN201110450433.3
申请日：2011-12-30
Applicant: 中国科学院软件研究所
IPC: G06F9/46
Abstract: 一种在多任务环境中防止死锁的互斥信号量管理方法，包括以下步骤：A、为系统所需的互斥信号量分配一一对应的编号；B、建立包括含有互斥信号量的ID与互斥信号量编号信息的双向链表，并指明任务已经占有的信号量的个数以及任务可占有信号量的最大个数；C、建立针对互斥信号量的状态数组，以所述互斥信号量编号为状态数组下标，指示互斥信号量在系统中的存在个数；数组的每个成员值表示，系统中所对应编号的互斥信号量的拥有个数；D、在任务状态控制块中根据互斥信号量的ID按照互斥信号量编号从小到大的顺序申请信号量，并根据信号量的使用情况，对任务状态控制块中存放占有信号量的个数的域以及互斥信号量状态数组进行更新。
-
公开(公告)号：CN103731343B
公开(公告)日：2016-12-21
申请号：CN201210384476.0
申请日：2012-10-11
Applicant: 中国科学院软件研究所
IPC: H04L12/66
CPC classification number: H04L67/288 , H04L12/40 , H04L12/4625 , H04L12/6418 , H04L67/10 , H04L2012/40293
Abstract: 本发明公开了一种基于LPC2468的MVB-WTB网关及其工作方法，属于机车通信领域。本网关包括MVB网卡和WTB网卡；WTB包括WTB-ARM、WTB-FPGA模块，MVB包括MVB-ARM、MVB-FPGA模块；WTB-ARM模块采用LPC2468处理器对网关协议栈的网络层和链路层数据解析；WTB-FPGA模块用于对WTB与其他网关通信数据的收发，以及WTB与MVB之间通信数据的收发；MVB-ARM模块负责网卡上协议栈的执行；MVB-FPGA模块用于收集通过MVB总线进行传输的MVB设备的过程、消息数据，以及与网关内的WTB之间通信数据的收发。本发明加快了网关之间的通信速度，增强了可靠性。
-
公开(公告)号：CN102945202B
公开(公告)日：2015-12-16
申请号：CN201210390161.7
申请日：2012-10-15
Applicant: 中国科学院软件研究所
IPC: G06F11/36
Abstract: 本发明提供了一种基于代理的RTEMS系统调试方法，在针对目标机硬件的RTEMS操作系统上，增加了调试代理(Agent)、Trace功能模块，形成一套针对RTEMS操作系统和特定目标硬件CPU架构的基于代理的调试工具，并定制调试代理和GDB主机端通信的应用通信协议。经调试代理绑定指定目标任务后，由上位机的GDB主机端通过目标机的trace模块对被调试任务进行远程调试，以方便系统的快速调试开发。
-
公开(公告)号：CN102541642B
公开(公告)日：2013-12-18
申请号：CN201110450432.9
申请日：2011-12-30
Applicant: 中国科学院软件研究所
IPC: G06F9/46
Abstract: 一种在RTEMS实时操作系统中增强实时性能的任务管理方法，包括如下步骤：A.通过发送信号量的方式调度某一个任务；B.设置同任务优先级任务就绪队列，如果根据所述某一任务的信号量的状态值确定其应该被放入就绪队列，则将该任务排到同任务优先级队列；反之则强制抢占处理器资源并执行该任务；C.为所述某一任务指定优先级抢占阀值，根据该阀值判定是否允许抢占该任务；D.当所述某一任务添加到所述同任务优先级队列中时，根据其信号量以及抢占阀值判断其所属优先级等级，并在所述同优先级就绪任务队列中定位插入位置，从而形成一个有序的任务阻塞队列。
-
-
-
-
-
-
-
-
-
Search Results
11
records
(took 0.024 seconds)
