【摘 要】
：
时间Petri 网在经典Petri 网的基础上引入了时间因素,不仅能分析逻辑层次的系统性能,还能分析时间层次的系统性能,然而包含空间因素的信息物理融合系统(Cyber-Physical System,CPS)的产生需要对时间Petri 网进一步拓展.CPS 集成计算系统和物理系统,不仅能够实时感知物理环境信息,并且能够通过物理实体改变物理环境.文中对CPS 的物理层面特点进行了深入分析,研究了CP
【机 构】
：
苏州大学计算机科学与技术学院 江苏苏州 215006 中国科学院软件研究所计算机科学国家重点实验室
【出 处】
：
第十一届全国软件与应用学术会议(NASAC2012)
论文部分内容阅读
时间Petri 网在经典Petri 网的基础上引入了时间因素,不仅能分析逻辑层次的系统性能,还能分析时间层次的系统性能,然而包含空间因素的信息物理融合系统(Cyber-Physical System,CPS)的产生需要对时间Petri 网进一步拓展.CPS 集成计算系统和物理系统,不仅能够实时感知物理环境信息,并且能够通过物理实体改变物理环境.文中对CPS 的物理层面特点进行了深入分析,研究了CPS 物理实体的属性及其位置变迁过程,提出了一种CPS 物理实体的形式化建模方法,并在时间Petri 网的基础上引入空间因素,构造时空Petri 网模型,使其不仅能够描述物理实体逻辑及时间层次的行为,并且能够描述物理实体位置变迁所引起的状态变化,最后以机器人控制系统为例,进一步阐述了时空Petri 网模型的有效性.
其他文献
物联网是嵌入式计算机与物理设备紧密耦合的系统，在智能交通、智能医疗、智能煤矿等领域的应用日益广泛。然而，如何有效地设计出基于ZigBee技术的人员定位算法成为具有挑战性的研究课题。本文在分析国内外现有定位技术优势和缺陷的基础上，提出了一种一维环境下基于Zigbee技术的井下人员定位算法。该算法利用滤波、惯性导航等算法对计算结果进行优化，在保证定位信息实时性的同时，提高了定位精度和人员运动轨迹的真实
软件产品线由于其高效的重用性已经成为当今软件开发的趋势，越来越多的项目采用软件产品线的思想来进行开发。而在软件产品线工程中，如何利用核心资产高效的进行产品配置生成是应用工程中最重要的问题。在传统的产品配置生成过程中，由具体产品需求产生的，对核心资产的修改是一个需要手工进行、非常耗时且容易出错的重复性工作。本文针对此问题给出了一种基于面向方面技术和正交变化模型的软件产品线产品配置生成方法。本文方法将
信息化社会中人们对软件可信性的要求越来越高，传统的测试技术已经不能充分保证系统的安全性，基于模型的形式化验证技术成为解决此类问题的重要途径.SPIN作为典型的模型检测工具，在学术界和工业界都得到了广泛应用.本文在Eclipse平台上设计并实现了一个基于SPIN的易扩展的模型检测环境ESpin.环境通过一个优化了的代码分区算法和可迅速支持SPIN升级的文法分析器，构造了一个高效的、易扩充的Prome
Innovative software-intensive systems are increasingly developed in an incremental and iterative manner.The requirements engineering of such kinds of systems has become a continuous activity through s
目前有色Petri网在Web组合服务的建模和验证方面有了广泛的应用。但由于缺乏时间信息而无法对组合服务的性能进行分析。本文在Petri网研究的基础上，对有色Petri网扩展了时间信息，定义了时间有色Petri网——TCPN网。给出了基于有色Petri网的有色性对Web服务的多态性建模方法，进而可以满足对Web服务多态性的建模需求；给出了Web组合4种控制结构的基于时间有色Petri网的形式化建模方
针对嵌入式实时系统缺乏有效的软件能耗建模与分析的方法，提出一种基于进程代数的嵌入式实时系统软件能耗建模与分析的方法。通过在时间通信顺序进程上扩展价格信息得到价格时间通信顺序进程，将嵌入式实时系统指令的功耗映射成为价格时间通信顺序进程的价格，利用价格时间通信顺序进程对嵌入式实时系统软件能耗建模并进行量化分析，提出的最优路径算法可以对建模结果进行指令功耗可满足性检查并计算当前最低能耗可达路径。本方法可
信息物理融合系统(Cyber Physical Systems,CPS)是一种融合了物理进程和计算进程的嵌入式网络系统,在CPS中,多种异构嵌入式软件通过网络交互,如何有效保证这些软件及其交互的可信性是值得关注的问题。由于软件可信性受能耗约束,因此需要研究能耗对软件可信性的影响。针对这一问题,提出一种基于能耗的CPS 软件可信管理框架。该框架通过监测基于能耗的CPS 软件可信属性指标,评估CPS
在云计算环境下,引入网络化的协同开发机制,能优化Web 应用的开发过程,缩短开发周期,提高Web 应用的开发效率。为此,提出了一种采用构件组装技术协同开发Web 应用的方法。在该方法中,Web应用的功能或流程活动将以构件为单位进行划分。划分出的构件可以进一步地拆分成多个子构件,并分别以开发任务的形式发出。开发者可以接受任务,并在构件开发模板和自动生成的代码框架下进行开发。开发出的构件会被统一回收,
动态更新作为当今一项热门技术,其关键问题在于如何保障运行系统更新前后的一致性,同时加快动态更新。已有的一致性保障工作,如Tranquillity 、Version-consistency,都需要依靠系统运行时刻的动态依赖关系才能完成,而且精确的动态依赖关系可以加快动态更新。传统的动态依赖技术在实现时需要程序员针对每个程序手工地计算其动态依赖关系,而现有的可自动获得的方法在某些点得到的动态依赖关系是
许多并发程序存在同步粒度过粗的问题，对此，人们提出可以通过锁分解等代码重构来逐步演化同步结构，提高程序并行性。然而，手工重构一方面识别重构契机较为困难，另一方面代码转换也容易出错。为克服手工重构中存在的问题，本文提出了一种自动化的锁分解重构方法。它可以根据已有的同步代码，自动识别锁分解重构契机，并对相关代码加以转换。实验表明，所提出方法可有效识别真实程序中的可重构代码，并准确实施转换，这将为并发程