一种基于代理的RTEMS系统调试方法

    公开(公告)号:CN102945202B

    公开(公告)日:2015-12-16

    申请号:CN201210390161.7

    申请日:2012-10-15

    Abstract: 本发明提供了一种基于代理的RTEMS系统调试方法,在针对目标机硬件的RTEMS操作系统上,增加了调试代理(Agent)、Trace功能模块,形成一套针对RTEMS操作系统和特定目标硬件CPU架构的基于代理的调试工具,并定制调试代理和GDB主机端通信的应用通信协议。经调试代理绑定指定目标任务后,由上位机的GDB主机端通过目标机的trace模块对被调试任务进行远程调试,以方便系统的快速调试开发。

    一种基于CPLD的IO站数字量输入模块及输入方法

    公开(公告)号:CN103901795A

    公开(公告)日:2014-07-02

    申请号:CN201210575549.4

    申请日:2012-12-26

    Abstract: 本发明涉及一种基于CPLD的IO站数字量输入模块及方法,由复杂可编程逻辑器件CPLD、连接背板、电源和多个功能电路组成,功能电路为保护电路、采样电路和隔离电路;CPLD输入接口通过所述隔离电路连接到采样电路,采样电路上级联有保护电路;CPLD通信接口连接至通信接口电路,当输入高压数字量信号时,经由CPLD处理后通过增强型SPI通信接口电路上传到网络控制器连接背板接口。本发明结构简单、成本低。采用高性能的复杂可编程逻辑器件对16路数字量输入信号进行实时并行处理,实时性高、可靠性高。本发明可以在任何具有增强型SPI接口的设备上直接使用。

    基于时序逻辑的业务过程建模方法

    公开(公告)号:CN1786995A

    公开(公告)日:2006-06-14

    申请号:CN200510053522.9

    申请日:2005-03-08

    Abstract: 本发明涉及一种面向领域应用支撑平台的业务过程建模方法,通过将业务过程分为工作流和业务规则两部分,给出了工作流和业务规则的相互融合准则,并且基于时序逻辑语义定义了工作流和业务规则中的基本元素,从而建立了由工作流和业务规则表示的、统一的、基于时序逻辑的业务过程模型。本发明为业务过程描述和分析提供形式化的、统一的和灵活的业务过程建模方法,适应面向领域应用支撑平台中不同领域业务过程建模的需要。

    基于C++映射的TTCN-3测试系统及测试方法

    公开(公告)号:CN1786925A

    公开(公告)日:2006-06-14

    申请号:CN200510053524.8

    申请日:2005-03-08

    Abstract: 本发明提出了一种基于C++映射的TTCN-3测试系统及测试方法。该测试系统及其测试方法基于TTCN-3的C++映射标准,通过语言转换器将TTCN-3测试用例转换成语义相等的C++测试用例,并在TTCN-3运行环境进行编译、加载、执行,以实现对被测系统的测试。在转换生成的测试用例中每一个测试组件都实现为一个进程,避免了通常采用的线程技术在堆栈空间和测试组件数量上的限制。采用本发明实现的TTCN-3运行环境不但可以满足一般系统的黑盒测试,还适用于那些具有并发、交互、实时等特点的系统的测试。

Patent Agency Ranking