一种统一的基于操作语义的程序动态更新验证方法

来源 :华东师范大学 | 被引量 : 0次 | 上传用户：wuqianlan987654

【摘要】

：

软件动态更新(Dynamic Software Updating,DSU)是一种高效的软件更新方式。传统的软件更新方式是先将正在运行中的软件关闭,然后安装新版本,最后重新开始执行新版本程序。而软件动态更新是指在软件运行过程中无需中断软件执行就完成版本升级。随着社会的高速信息化发展,各类软件系统在社会生活的方方面面起到了十分重要的作用。动态更新这项技术对于一些需要提供24小时不间断服务的软件系统尤其

【作者】

：

钱佳琪

【出处】

：

华东师范大学

【发表日期】

：

2019年09期

【关键词】

：

软件动态更新操作语义 K框架形式化方法验证

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技术领域,包括主机、控制电路和计算机三部分组成,主机包括由棱镜。敏感膜敏感芯片、半导 Ue*M#

其他文献

小尾寒羊常年发情行为的生理学初步研究

<正>引言/目的小尾寒羊是我国重要的家畜遗传资源,也是世界著名的高产品种。但当前较为注重小尾寒羊生长速度、产仔多少等性状,从而导致应用GnRH及其类似物、PMSG、FSH、LH或

会议

基于IEC61850的智能变电站网络性能仿真研究

为了确保智能变电站通信网络的稳定性,依据基于通信网络的IEC61850变电站自动化系统国际标准,以面向对象仿真和离散事件驱动的OPNET网络仿真软件为平台,依次根据IEC61850标准

期刊

报文协议变电站网络模型智能电子设备IEC61850OPNET仿真message protocol substation network mod

新型血液透析导管穿刺点压迫止血带的研制与应用

<正>血管通路是进行血液透析的必要条件,对初次行血液透析无动静脉内瘘或慢性肾衰竭内瘘成熟前的患者,需要留置临时性血液透析导管作为血管通路。当拔除血液透析导管后,对穿

期刊

血液透析止血带新型导管

慈溪小微企业互联网金融融资问题探析

小微企业融资一直是困扰慈溪当地经济发展的难题,随着互联网金融的涌现,给小微企业融资带来了新的模式。本文从慈溪小微企业传统融资模式的分析入手,介绍了互联网金融背景下

期刊

小微企业互联网金融融资模式

氟离子选择电极测定硅酸盐材料中SiO2含量

本文提出了用氟离子选择电极间接测定硅酸盐中SiO2的含量，及用格氏作图法确定滴定终点的方法。研究了影响测定结果的主要因素，确定了适宜的测定条件。本法快速、灵敏、准确，用于

期刊

氟离子选择电极硅酸盐材料SIO2格氏作图法

文化自信视域下高校思想政治教育路径探析

在文化自信形成背景及其科学内涵基础上,探索培养大学生文化自信的思想政治教育路径,有利于提升思想政治教育的实效性。

期刊

文化自信思想政治教育路径

建设面向西南开放的服务贸易体系

本文立足于建设面向西南开放的服务贸易体系,阐述了制造业与服务业、内需和外需、国际与国内服务贸易、产业走出去与服务走出去、传统服务贸易与现代服务贸易、竞争性开放与

期刊

西南开放桥头堡建设服务贸易体系

一种统一的基于操作语义的程序动态更新验证方法

其他学术论文