首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到10条相似文献,搜索用时 15 毫秒
1.
运行时验证技术是对传统的程序正确性保证技术如模型检验和测试的有效补充。模型检验和测试都试图验证系统的所有可能执行路径的正确性,而运行时验证关注的是系统的当前执行路径。本文提出一种基于三值语义的软件运行时验证方法,一方面该方法提供了从代码插装、系统底层信息提取到监控器生成、验证系统运行轨迹是否满足性质规约的完整的解决方案;另一方面基于三值语义的监控器有发现一条无穷运行轨迹的最小好(坏)前缀的能力,从而使得监控器能尽可能早的发现性质违背。同时,我们开发了基于三值语义的软件运行时验证原型工具并针对案例进行了分析。  相似文献   

2.
一种基于CPN的运行时监控服务交互行为的方法   总被引:1,自引:0,他引:1  
BPEL对Web服务组合的描述特性使得它很难表达和分析服务组合中的交互行为属性.这些行为属性需要遵循一定的交互协议.然而良定义的交互协议还是容易受到侵犯,这将导致服务组合进程产生状态不一致的问题.为了解决这类实际交互行为与其服务组合描述之间的不一致性问题,提出了一种由BPEL描述自动构造运行时监控器的方法.首先提出了一种基于有色Petri网(CPN)的形式化表示模型以及服务组合规约到模型的映射方法,用于精确表达从BPEL流程描述中提取的服务交互行为规约.然后,描述了由CPN形式化表示模型生成运行时监控器的方法.该运行时监控器能够捕获所有进出服务组合进程的交互消息,并且检测是否存在违背交互协议的行为.  相似文献   

3.
基于监控器时间开销的虚拟机发现方法   总被引:1,自引:1,他引:0       下载免费PDF全文
针对传统方法只能发现单一类型虚拟机的缺陷,提出基于虚拟机监控器时间开销的虚拟机发现方法。特定指令能使监控器运行时产生显著的额外开销,该方法能利用监控器执行不同指令序列产生的相对时间开销对虚拟机进行判别。实验结果表明,该方法能够准确发现目前3类主流虚拟机。  相似文献   

4.
工业变电站监控软件系统中通信模块的设计开发,将直接关系到现场监控器与上位机及上位操控命令间安全可靠实时的进行信息交互.针对工业变电站监控软件的开发,基于VC 平台和UART协议,提出了一种监控软件通信模块设计方案,开发了通信软件模块,并与变电站微机监控器进行了联网调试.结果表明,该通信模块实现了与相关协议微机监控器间安全、稳定和实时的数据通信,各项指标符合设计要求,验证了该通信模块的有效性.  相似文献   

5.
针对虚拟机监控器在IO虚拟化方面存在的性能瓶颈,分析了现有IO虚拟化模型存在的问题,提出了一种基于IO处理机的协作型虚拟机监控器。建立了基于IO处理机的IO虚拟化模型,实现了对客户机操作系统IO访问请求的处理,并进一步给出了该方法下从设备发现到功能模拟等关键技术。实验结果表明,基于IO处理机的IO虚拟化模型能够提供更为稳定的系统环境,并能有效提高整个系统性能。  相似文献   

6.
本设计基于日常生活的需要,利用单片机和NTC电阻设计了一种室内温度监控器。该系统采用控制器和电热器分离的设计理念,解决了电热器的高温影响监控器工作的问题,通过提高温度控制灵敏度的方法,提高了人员舒适度,并起到节能降耗的作用,该监控器安全可靠,节能效果明显。  相似文献   

7.
在基于嵌入式操作系统的工程机械智能监控器的开发过程中,完成了文件系统的移植,将周立功公司的ZLG/FS文件系统经过一系列修改,嵌入到监控器的系统程序里运行。文件系统的硬件平台选用三星公司的Nand Flash芯片K9F2808,作为文件系统的硬件依托。文件系统移植完后该芯片就成为系统硬盘,用来存储系统程序和字库文件等。  相似文献   

8.
马建坤  黄皓 《计算机科学》2011,38(11):104-108
结合已有的键盘记录器,分析了Windows中从用户按键到应用程序处理消息的过程,并针对该过程详细分析了可能出现的安全威胁。在此基础上提出了基于硬件辅助虚拟化的反键盘记录器模型。利用CPU提供的硬件辅助虚拟化技术实现了虚拟机监控器,当获取用户输入时通过在虚拟机监控器中自主处理键盘中断并将读取到的键盘扫描码信息交由受保护的用户线程来保护用户键盘输入的安全。  相似文献   

9.
针对传统输液存在的输液监控的问题,设计了一种自动监控系统的输液监控器。通过控制器与压力感应器的相互配合,使得该装置能够对输液进行自动监控,减少人力,通过输入单元的设置,能够预先对于数据进行输入,适用范围广。  相似文献   

10.
基于协同Agent的状态监控器软件构架研究   总被引:1,自引:0,他引:1  
为了在嵌入式数据库(EDB)中加入状态监控的功能,解决状态监控器软件构架设计与实现方法问题,提出一个基于协同Agent的状态监控器软件构架.从构件的角度对模型进行描述,进而阐述软件构架中如何体现Agent特性和协同特性的技术方法.描述了软件构架中的合同网结构,并引入规则树与角色协同技术进行模型优化.最后运用KQML语言对部分内容进行可实现性描述,该状态监控器在实际应用中取得良好效果.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号