-
公开(公告)号:CN105159746A
公开(公告)日:2015-12-16
申请号:CN201510531566.1
申请日:2015-08-26
Applicant: 哈尔滨工业大学
IPC: G06F9/455
Abstract: 面向容错组合web服务的可靠性仿真工具,涉及组合web服务可靠性仿真工具。本发明为了解决传统的可靠性评估方法不适用于评估组合web服务的可靠性的问题。本发明包括:BPEL信息处理模块,用于将BPEL描述的组合web服务结构转换为含有容错策略的组合web服务关系树模型FTWS-CDT;用户自定义模块,用户通过用户自定义模块的图形设计界面自定义组合web服务的体系结构分支节点的分支类型,并将自定义组合web服务的体系结构转换成组合web服务关系树模型FTWS-CDT;可靠性仿真评测模块,进行仿真试验,并对单个服务可靠性、服务连接可靠性以及运行剖面对系统可靠性的影响进行分析;仿真结果输出模块,用于输出本次仿真结果。本发明适用于组合web服务的可靠性仿真。
-
公开(公告)号:CN104331324A
公开(公告)日:2015-02-04
申请号:CN201410613333.1
申请日:2014-11-04
Applicant: 哈尔滨工业大学
Abstract: MapReduce故障注入套件,属于基于MapReduce的故障注入领域。解决了现有故障注入套件对Hadoop中的MapReduce进行故障注入复杂的问题。本发明包括管理模块、本地文件和目录故障注入模块、节点和进程故障注入模块和网络故障注入模块;管理模块用于负责存储、分析将用户输入的命令,进而调用相应的故障注入工具完成用户指定的故障注入工作;本地文件和目录故障注入模块用于将用户指定的故障注入到系统中指定目录或文件读写过程中;节点和进程故障注入模块用于将用户指定的故障注入到系统中的指定节点或进程中;网络故障注入模块用于将用户指定的故障注入到网络中。本发明主要对于MapReduce进行故障注入。
-
公开(公告)号:CN102306123B
公开(公告)日:2014-01-22
申请号:CN201110312104.2
申请日:2011-10-14
Applicant: 哈尔滨工业大学
IPC: G06F11/36
Abstract: 基于CSTM模型测试数据转换的构件软件可靠性分析方法,本发明涉及一种软件可靠性分析方法。它为了解决现有黑盒方法的忽略了组成系统的构件的测试以及可靠性信息,没有考虑软件的体系结构的缺点,本发明是测试数据转换的方法来实现黑盒方法和白盒方法的结合。它首先采用白盒方法实现构件软件测试剖面到运行剖面的映射,建立NHPP模型需要的可靠性数据集,然后采用黑盒方法建立构件软件应用的NHPP模型。测试数据转换的目的是将分阶段实现的、异构的构件软件灰盒测试过程转换成满足NHPP模型假设的单调统一的黑盒测试过程,把所有构件的单元测试数据和集成测试中构件之间的接口失效数据转换成整个应用基础上的黑盒测试数据,建立满足NHPP模型假设的可靠性数据集。
-
公开(公告)号:CN102253912B
公开(公告)日:2013-11-06
申请号:CN201110141482.9
申请日:2011-05-27
Applicant: 哈尔滨工业大学
IPC: G06F13/38
Abstract: 基于USB端口的多台设备之间通信装置,涉及一种通信设备。本发明解决了现有采用USB端口实现通信的过程中,不能够实现多台设备之间的通信问题。本发明所述的通信装置由一个CPLD电路、多个CY7C68013电路和多个USB通信端口组成,所述CPLD电路的多个通信端口分别与一个CY7C68013电路的通信端口相连接,每个CY7C68013电路的串行数据通信端口与一个USB通信端口连接。所述通信装置发送或者接收数据的数据帧的格式为:1位地址位,6位数据位,1位CRC校验位。本发明所述的基于USB端口的多台设备之间通信装置,能够实现多台设备之间通过USB端口进行数据传输,适用于服务器、PC机、掌上电脑、单片机系统、等具有USB串行通信端口的电子设备之间的通信连接。
-
公开(公告)号:CN102222032B
公开(公告)日:2013-10-30
申请号:CN201110132593.3
申请日:2011-05-20
Applicant: 哈尔滨工业大学
IPC: G06F11/267
Abstract: 一种1394总线的故障注入装置的故障注入方法,属于电子测试领域,本发明为解决现有技术的测试方法没有综合考虑故障模式各方面因素,因此其评价结果准确性差的问题。本发明的FPGA的逻辑保存输入输出端与EEPROM的输入输出端相连,FPGA的数据缓冲输入输出端与SRAM的输入输出端相连,FPGA的第一1394芯片输入输出端与第一物理层接口芯片的第一输入输出端相连,第一物理层接口芯片的第二输入输出端为第一1394总线接口,FPGA的第二1394芯片输入输出端与第二物理层接口芯片的第一输入输出端相连,第二物理层接口芯片的第二输入输出端为第二1394总线接口,FPGA通过RS232串行总线与宿主机相连。
-
公开(公告)号:CN102354298A
公开(公告)日:2012-02-15
申请号:CN201110212490.8
申请日:2011-07-27
Applicant: 哈尔滨工业大学
IPC: G06F11/36
Abstract: 基于STAF的高端容错机故障注入自动化测试平台及方法,涉及故障注入技术。本发明提供了一种适用于高端容错计算机故障注入测试的自动化测试平台及方法。本发明采用软件嵌入分布式测试环境实现,所述软件中的应用层为运行在总控端服务中的应用程序,利用关系型数据库和文件系统来管理自动化测试过程中的数据和信息,并提供友好的图形界面;代理层运行在应用层和实现层中间实现任务代理,负责执行用户从界面中提交的自动化测试任务;实现层封装了自动化测试控制服务器与各种平台的测试代理间通信、执行各种自动化测试具体操作。本发明是基于开源的自动化测试工具STAF构建的、分布式的、自动化的、可集成多种软件故障注入工具的故障注入平台。
-
公开(公告)号:CN102324003A
公开(公告)日:2012-01-18
申请号:CN201110132632.X
申请日:2011-05-20
Applicant: 哈尔滨工业大学
IPC: G06F21/00
Abstract: 高可信嵌入式计算机多策略自毁方法,属于计算机安全技术领域。它解决了现有高可信嵌入式计算机的自毁策略会由于管理员的失误,造成不必要的自毁的问题。它包括以下步骤:步骤一:通过自毁模块获得计算机系统受到威胁的信息,并根据获得的计算机系统受到威胁的信息判断所受到威胁的等级,发送自毁控制指令;步骤二:多策略自毁子系统根据接收到的自毁模块的控制指令,选择相应的控制策略,进行关键数据销毁。本发明适用于高可信嵌入式计算机的安全保护。
-
公开(公告)号:CN101807076B
公开(公告)日:2011-11-09
申请号:CN201010182745.6
申请日:2010-05-26
Applicant: 哈尔滨工业大学
IPC: G05B19/418
CPC classification number: Y02P90/02 , Y02P90/14 , Y02P90/18 , Y02P90/185
Abstract: 基于PROFIBUS现场总线的具有协同热备份功能的双模冗余容错高可靠控制系统,涉及一种电厂现场采集控制系统。本发明首创在电厂控制系统中采用具有仲裁模块的双模可靠性系统,采用软件和硬件相结合的方法,解决了现有的电厂现场控制系统的通信速率低、系统切换时间长导致的实时性差、任务迁移导致的现场丢失,以及系统可靠性差、网络容量低的问题。它的过程控制站和备份过程控制站均接入双冗余PROFIBUS现场总线形成的A网和B网,所述若干A网从站和若干B网从站分别接入A网和B网,过程控制站和备份过程控制站均与仲裁切换模块连接。本发明适用于电厂现场采集控制场合。
-
公开(公告)号:CN101078749A
公开(公告)日:2007-11-28
申请号:CN200710072428.7
申请日:2007-06-29
Applicant: 哈尔滨工业大学
IPC: G01R31/36
Abstract: 一种动力电池源的测试系统,它涉及的是电池源的测试技术领域。它是为解决现有技术对动力电池的工作电流测量和对电池的能量SOC的测量计算上存在较大的误差,其误差在±10%以上,而导致单节电池过压或欠压而损坏的问题。它的显示电路(3)、CAN收发器(4)分别连接微处理器芯片(2)上,多个电压均衡检测电路(12)、电流传感器(13)通过多个多选一模拟开关电路(1)连接在微处理器芯片(2)上,声光报警器(6)通过反馈模块电路(5)连接在微处理器芯片(2)上。本发明能对动力电池源的工作电流和电池的能量SOC进行精确的测量,其测量的电流范围达-200A~+200A,其测量电池的能量SOC的精度能达到±4%,并具有结构简单、易于维护的优点。
-
公开(公告)号:CN1279425C
公开(公告)日:2006-10-11
申请号:CN200410043913.8
申请日:2004-09-29
Applicant: 哈尔滨工业大学
IPC: G06F3/02
Abstract: 穿戴式计算机专用的微小型键盘,它涉及的是计算机技术,具体是一种穿戴式计算机专用的微小型键盘。它由鼠标按键电路(1)、单片机电路(2)、鼠标控制电路(3)、键盘按键电路(4)、键盘控制电路(5)、插头(6)组成;键盘按键电路(4)的数据输出端连接键盘控制电路(5)的数据输入端,键盘控制电路(5)的数据输出端连接插头(6)的第一组输入端;鼠标按键电路(1)的数据输出端连接单片机电路(2)的数据输入端,单片机电路(2)的数据输出端连接鼠标控制电路(3)的数据输入端,鼠标控制电路(3)的数据输出端连接插头(6)的第二组输入端。本发明能在行走和剧烈震动的环境下稳定正常的使用,并具有易操作、体积小、结构简单、易维护等优点。
-
-
-
-
-
-
-
-
-