实时信息物理系统的实时特性的面向方面测试方法

来源 :广东工业大学 | 被引量 : 2次 | 上传用户:pengtao2222
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
信息物理融合系统是一类将数字化、网络化系统与物理过程密切融合的设备系统,它集通信(Communication)、计算(Computation)和控制(Control)于一体,通过此3C技术的有机融合和深度协作,实现了许多大型工程系统的实时感知、动态控制和信息服务。随着信息物理融合系统概念的提出,使得实时系统的应用综合了计算机与网络的系统环境。而当前亟待解决系统的实时性、安全性及可靠性等非功能特性的问题,特别是应用设计和开发中对系统质量的保证面临着巨大的挑战。面向方面编程技术弥补了面向对象编程技术的代码交织和代码分散等问题,通过对面向对象编程技术的分析,发现面向方面编程应该扩展到整个软件开发周期中,从设计到代码产生都充分利用AOP技术。但是现在的面向方面编程技术并不成熟,还处于研究试验阶段,同时面向方面编程所引入的新语言构造可能给软件测试带来新类型的缺陷,这给测试带来了极大的挑战。针对上述的问题,本文结合面向方面和软件测试技术对信息物理融合系统的实时特性进行了系统的研究,同时还对信息物理融合系统中的公路交通系统进行了应用研究。本文利用面向方面的编程思想,对公路交通系统的非功能特性进行分离,特别是它的实时特性。由于微分逻辑方法可以将CPS系统操作模型混杂程序自然地分解成若干片段,各片段各自的描述和验证可以通过正则组合而得到整个系统行为的描述和验证。本文通过微分时序动态逻辑对公路交通系统进行仿真与建模,同时用微分动态逻辑对公路交通系统中所选的速度限制的安全性进行了验证。文中用微分动态逻辑表达式描述了公路交通系统的安全不变量,并通过这个安全不变量对公路交通系统的安全性进行了测试。由于这样并不能保证系统的所有状态都能够被测试到,所以本文还对公路交通系统的可达性进行分析与测试。本文通过微分时序动态逻辑为系统进行建模,针对一些典型的时间点,对系统的状态按照时间段进行了划分,这样就保证能够测试到系统的所有状态。
其他文献
随着计算机网络技术的迅速发展,Internet已成为全球信息传递和共享的重要资源,企业和个人通过网络进行数据交换变得越来越频繁,传统的数据模式不能精确的表示这些数据。XML技术
随着游戏、动画等娱乐产业的快速发展,计算机三维动画广告和片头在电视屏幕上频频播映,计算机三维动画已经走进了人们的日常生活。计算机三维动画在各行各业中的应用越来越广
物联网的对象名解析服务(ONS)是一个分布式系统,它可以提供以下基本的查找服务:现实世界的每一个对象有唯一一个标识符,即电子产品代码(EPC),通过EPC和ONS解析服务可以返回一
伴随着科学计算可视化技术的不断发展,医学影像三维重建技术在疾病珍断、手术导航和辅助教学等方面也开始发挥着越来越重要的作用。其中的三维重建体绘制算法可以将各组织器
随着互联网技术的迅速发展,传统的分布式计算技术已不能满足用户需求,Web服务应运而生并成为面向服务计算的范例。随着Web服务技术的不断发展及其应用范围的逐步扩大,越来越
随着互联网技术和信息技术的迅猛发展,人类社会进入了信息时代。信息时代的一个显著的特点就是人们所面对的信息和对信息的需求剧增。如何从这些信息中获取有用的知识是人们
云计算是继分布式计算、并行计算、网格计算之后一种新的计算模式,已经成为学术界和工业界的关注焦点。根据云计算技术架构可知,云计算环境下的管理中间件对云服务的功能和性能
密码安全的重要性,无论是个人业务还是集体作业,或是在证券、金融、政府、教育等行业领域,抑或是大到关系国家信息安全的机构,都是不言而喻的。尤其是随着网络技术的日新月异,虚拟
近年来,随着计算机技术、多媒体技术及网络技术的快速发展,音视频会话系统正在向嵌入式、数字化和网络化的方向发展。随着移动网络的高速发展,在移动终端上实现音视频会话功
随着互联网和通讯产业的快速发展,微博成为了又一个跨时代产品。微博是一个基于关系的信息分享、传播以及获取平台。用户可以通过WEB、WAP以及各种客户端组件,以140字左右的文