高可靠信息系统非相似冗余架构中的执行体同步技术

非相似冗余架构被广泛使用到信息系统中,提高系统的安全性和可靠性。非相似冗余架构中的执行体之间存在差异,当系统正常工作时,执行体表现一致,但在面对恶意攻击行为时,执行体会表现出不一致。架构通过比较执行体的表现监控系统、感知威胁,从而提升系统安全可靠性。执行体的同步监控,是所有非相似冗余架构都需要解决的难题。目前没有针对同步技术比较系统性的描述和总结。该文首先对执行体同步问题进行了抽象建模,然后提出基于同步点的同步技术分类方法,并分别对每种技术的基本方式、流行度、优缺点进行了总结。该文还提出了影响同步效果的3个重要指标:同步点、误报率和性能,同时给出了同步技术的数学模型,可用于同步技术的设计评估。最后,结合网络弹性工程领域和软件定义晶上系统领域的发展,指出了同步技术未来的发展潜力和可能的发展方向。

ODBC中的同步与异步执行模式

1.引言 近年来,随着计算机局域网技术的不断发展,计算机体系结构已经发展到复杂而开放的客户机/服务器模式。对于客户机/服务器应用的开发,现在常用的前端开发工具有:Visual Basic、Delphi、PowerBuilder等。它们可通过ODBC接口访问服务器的SQL Srver数据库服务器。

ODBC技术及同步与异步执行模式

１前言近几年来，由于服务器硬件技术的逐年提高和局域网络技术的不断发展，计算机体系结构已经发展到复杂而开放的客户机／服务器模式，并已在军事领域得到广泛的应用。例如，军事校园网、作战模拟系统以及航空管制系统等工程的建设都使用了客户机／服务器结构。对于客户...

检察机关对法院决定暂予监外执行同步监督机制建立构想

笔者谈了两个方面的内容：一是对法院决定暂予监外执行同步监督机制建立必要性。二是对法院决定暂予监外执行同步监督机制提出及具体构建程序。

基于构件的外部程序管理器的设计与实现

EPM(ExternalProgramManager)通过封装复杂的程序逻辑,实现了一个界面简洁的构件化系统,它可以方便地集成到应用程序中,从而简化了应用程序调用其它程序的复杂性.文章主要介绍EPM的系统结构与实现方法.

VB和FORTRAN混合编程在渗流数值分析的应用

介绍Visual Basic利用Shell函数来调用Fortran编译的可执行文件实现混合编程的方法,解决Shell函数异步执行导致程序出错的问题,并应用于程序开发中。给出帷幕参数优化的实例予以介绍可视化编程在水工渗流数值分析中的应用。

PN4TS:一种基于CPN模型的IOCO测试选择方法

文中将IOCO(Input-Output Conformance)一致性测试理论与着色Petri网(Colored Petri Nets,CPN)进行优势融合,提出一种使用CPN描述测试目的模型并驱动IOCO一致性测试选择的新方法,称为PN4TS方法.PN4TS方法首先定义了面向一致性测试的CPN模型(Conformance Testing oriented CPN,CT-CPN),描述软件系统的功能行为;定义了基于CT-CPN描述的PN-IOCO一致性关系;之后,构建CT-CPN描述的测试目的模型,并将该模型与描述软件功能行为的CT-CPN模型执行同步模拟,提出了一种测试目的模型驱动的IOCO一致性测试选择方法,并证明了所生成测试例的可靠性及其对测试目的的覆盖完备性.PN4TS方法以实际测试数据驱动测试例的生成过程,有效保证了经测试目的选择所生成的测试例是切实可执行的.文中使用简单文件传输协议例示了PN4TS方法的应用过程,之后结合数字内容点对点网络分发软件系统的实际测试生成和测试执行实践,证实了PN4TS方法应用于较大规模软件系统的一致性测试应用时具有更好的可用性和可靠性.

外部程序管理器的设计与实现

EPM(External Program Manager)通过封装复杂的程序逻辑,实现了一个界面简洁的构件化系统,它可以方便地集成到应用程序中,从而简化了应用程序调用其它程序的复杂性。