打系统补丁也要迅雷不及掩耳

大家每天使用的Windows操作系统是一个非常复杂的软件系统，因此难免会存在许多的程序漏洞，这些漏洞会被病毒、木马、恶意脚本、黑客利用，从而严重影响电脑使用和网络的安全畅通。微软公司会不断发布升级程序供用户安装。这些升级程序就是“系统补丁”，因此及时为windows安装系统补丁是十分必要的。     

Windows系统补丁知多少

我们每是使用的Windows操作系统一个非常复杂的软件系统，因此它难免会存在许多的程序漏洞，这些漏洞会被病毒、木马、恶意脚本、黑客利用．从而严重影响电脑使用和网络的安全和畅通。微软公司会不断发布升级程序供用户安装。这些升级程序就是“系统补丁”，因此及时为Windows安装系统补丁是十分必要的。     

嵌入式软件在线升级系统的设计与实现

对嵌入式软件在线升级有利于维持系统的稳定性,可实现在线测试,支持系统在线重构,是提高系统可靠性的有效途径;对嵌入式软件的在线升级进行了研究,研究了在线升级的颗粒度和升级点的选择,分析了程序状态的识别和恢复,提出了采用动态分析与静态分析相结合的方法保证升级的安全的方法,实现了在线升级方案;基于在线升级方案构建嵌入式软件系统,实现了应用系统软件的模块级粒度的升级;最后基于在线升级系统设计实现了小卫星星务管理软件,具备了灵活的在线升级能力,表明在线升级系统具有很好的工程实用价值.     

一种新型DSP软件在线升级方法的研究与实现

提出并实现了一种新型DSP系统软件版本在线升级方法及其3种升级方式,详细论述了Flash的存储分配结构以及系统BOOT程序的设计.具有实现简单、更新方式灵活、程序可靠性高等优点,可广泛应用于数字控制芯片领域.     

数据处理模块DSP程序在轨升级方法

论述了在某星载项目中如何通过外部星载计算机设备对数据处理模块DSP程序进行在轨升级。本文给出了在轨升级的机理和实现方法，此方法在实际操作中被证明安全可靠，可作为相似星载项目中对系统在轨升级的参考。     

利用HEX文件实现TMS320F28335的程序升级方法

提出了一种通过发送HEX文件到TMS320F28335进行程序升级的新方法.配置TMS320F28335为FLASH启动模式,通过预烧写升级程序到FLASH中,可实现在串口发送HEX文件升级用户程序的功能.详细介绍了该方法实现原理和开发过程,并且给出软件流程图和关键代码.实验证明,该方法操作方便,可靠性高,大大提高了效率.     

函数式语言方法在网络交互程序中的应用

网络应用程序中为了保持程序的交互性,服务器端的控制程序如CGI(command gateway interface)程序需要在不同的脚本程序之问切换,这样不可避免的会造成控制信息的丢失.为了避免这些问题,介绍了将函数式程序设计语言的一些方法,如Continuation、CPS(eontinuationpassing style)等,并将它们应用到网络程序设计中,不仅简化了设计过程,也提高了程序的安全性,并可以在更一般的语言中实现.     

基于互联网的桌面程序自动部署升级系统设计与实现

针对检测设备生产企业的设备类型多、地域分布广、配套的桌面程序部署困难的特点,设计了一个基于互联网的分布式桌面程序的部署与升级系统.系统分为服务器端和客户端两部分,服务器端提供对设备、程序、升级信息的管理,并提供对客户端的升级服务支持;客户端部署程序根据本地版本信息与服务器端的差异实时更新设备的检测程序.给出了系统的逻辑框架、服务端和客户端的具体功能、客户端实现的技术流程和主要应用的功能函数.     

升级无限延伸

WinXP SP2发布了，微软对这个升级程序的投入程度是空前的，但作为操作系统，再完美的结构也会随着时间的发展，须要不断打补丁、升级。在线升级更新是满足这种需求的长久解决方案，也是操作系统升级的重要环节。为配合SP2这次意义重大的系统升级，微软对在线更新脚本进行了彻底改写，调整了一个主版本号(Main Version)，希望此次更新能大幅度提高部署的成功率，改善用户的应用体验，这就是我下面要介绍的Microsoft Windows Update v5(以下简称v5)。     

新软物语

Windows机器人：只需经过简单脚本程序编辑就能达到各种特定目的的小工具，例如让系统在指定的时间关机、重启、注销、休眠等，或是在某个时间打开一个程序，执行某个命令。如果之前用过类似按键精灵或是Automote的自动化程序，本软件就不难上手了.可以直接根据需要编写脚本程序，以后只要运行此脚本程序即可达到相应的目的了。     

Research on dynamic update transaction for Java classes

Dynamic software updating is critical for many systems that must provide continuous service. In addition, the Java language is gaining increasing popularity in developing distributed systems. Most previous works on updating are concerned with safely updating one class every time. It has many limitations on updating classes, such as not allowing deleting methods invoked in other classes. In this paper, the update transaction is purposed to dynamically update the class set, and some of its properties are discussed, such as atomicity, consistency, isolation, and durability (ACID). Then the property of type-safety is proven formally. In order to update without changing the Java Virtual Machine (JVM) and the Java programming language, this paper proposes a new implementation method. The method makes use of the Java class loading mechanism and reflection mechanism. We also present how to design an updatable Java program and a Java updating program. At the end of the paper, an experiment is made for analysis.     

基于VISUAL C++客户端程序自动更新的应用研究

信息管理系统常因客户端的更新不及时或不完备而导致系统运行故障。为解决上述问题，对自动更新程序设计的原理和工作流程进行了研究分析，设计出具有强制更新和断点续传功能的自动更新程序，并使用Visual C＋＋编写代码实现了完备的自动更新程序，并将该更新程序应用于某信息隐藏系统，取得了良好的效果。     

嵌入式终端串口更新技术研究

近年来,随着智能制造和物联网的快速发展,终端设备的软件更新越来越频繁。针对传统JTAG调试器更新技术的成本高、传输距离短、不利于终端软件频繁更新等缺点,提出了一种基于串行通信技术的嵌入式终端程序更新技术。将终端程序在物理上分为BootLoader程序和User程序两个部分。在BootLoader中加入串行通信驱动和更新User的处理逻辑,从而达到更新终端程序的目的。为保证更新的稳定性和可靠性,在BootLoader中增加了多次握手、失败重传、数据校验等技术。实验结果表明,本技术相较于传统更新技术具有更新成功率高、可靠性强、过程可控的优点,为终端软件的远程故障解决和功能更新提供了一种实际且有效的方法,可应用于智能家居、智能工业、智慧城市等领域中。     

基于FJ的多版本类动态更新演算

针对面向对象软件在动态更新中遇到类型安全问题,定义了一个多版本类的动态更新演算(MCUFJ演算(multi-version class dynamic updamble calculus based on FJ calculus))来描述类动态更新.MCUFJ演算以FJ(featherweight Java)演算为核心,通过增加update操作表示类的动态更新,运用多版本技术使动态更新可以在保持新旧对象共存的情况下完成,讨论了类的数据域和方法进行增加、删除、修改以及类型变化对程序类型安全性的影响,并且指出MCUFJ上类型安全的动态更新需要满足的约束.定义了类的可动态更新限制,并且证明了在该条件下多版本类的动态更新在类型上的安全性.该演算可以用于指导Java语言和面向对象程序语言的类动态更新.     

一种基于DSP在线更新配置程序的实现方法

针对系统设计通用化的需求,设计了一种使用FLASH存储器作为数据存储器件,配合微处理器程序,利用复杂可编程逻辑器件（CPLD）更新和配置可编程器件,实现对现场可编程门阵列（FPGA）程序和数字信号处理器（DSP）程序在线更新的方法。本文给出了系统构成和实现途径,并对ALTERA可编程逻辑器件和TMS320C6000系列DSP的加载和系统设计实现进行了较详细的说明。     

多核DSP的以太网远程程序加载方法

为了解决工业远程控制设备的软件更新带来的成本和效率问题,在研究了以TMS320C6670为核心的DSP系统的结构和程序启动的基础上,提出了基于以太网的DSP程序远程加载方法。该方法主要基于BOOTP协议的广播和以太网UDP协议实现。实践表明,该加载技术灵活可靠,为远程控制系统的调试和更新提供了便利。     

自动更新系统的设计与实现

在分析了传统的软件自动更新技术的基础上,提出了一种新的软件更新技术：非增量式的软件自动更新方法。该技术通过从服务器上发布产品更新依赖关系的部署文件和更新逻辑的更新包来使客户端完成产品的自动更新。这种设计能够防止产品版本的回退,从而保证客户端产品的可用性。     

高可靠性的嵌入式软件现场更新方法

针对传统嵌入式软件更新方法的不足,提出了一种高可靠性的嵌入式软件现场更新方法,通过读取SD卡上的更新文件来更新嵌入式设备的Flash分区,从而实现设备软件的更新。该方法在保证快速更新功能的前提下,采用更新文件兼容性避错检测、双Bootloader设计、更新文件验证及软件异常处理机制,有效提高了软件的避错、容错性能。通过Nelson模型可靠性评估及其在产品中的应用,证明该更新方法具有高可靠性。     

基于GD32的网络在线烧写技术研究

针对国产微控制器终端设备程序升级需要拆卸设备的问题,提出了基于GD32网络在线烧写固件的方案,通过手持控制器实现对终端设备的应用程序软件升级,达到无须仿真器更新固件程序目的;该方案详细论述了在线烧写系统的组成,在应用编程技术的工作原理,以及上位机程序、手持控制器和终端设备模块各功能设计与实现,并给出了各个模块的使用步骤和方法;终端设备采用多分区操作,保证系统在升级过程中即使发生异常,也不会导致产品变砖,充分提高了系统的可维护性与容错性,手持控制器在外场升级携带方便,维护简单、方便、快捷,实验测试表明,在线更新后的固件程序能够正确运行,从而解决外场拆卸产品和挂载仿真器更新程序的困难。     

C语言程序动态更新中的逻辑正确性

动态更新的研究已变得越来越重要,应用程序生命周期中需要不断进行更新,以修复程序中的错误或者为其添加新的功能。一般更新方式是关闭应用程序、安装更新,然后重启新版本的应用程序,而动态更新可以在程序的运行过程中使程序完成更新,免于重启的麻烦。另一方面,很多应用程序需要不间断的运行,短时间的中断会造成巨大的损失,这也使得动态更新的研究成为必然。针对不同的语言,有一些不同的更新技术,关于C语言,目前动态更新的研究都还停留在实验室阶段,投入到实际运用的很少。程序正确性是动态分析研究中一个重要的方向,目前C语言的动态更新正确性研究还都停留在语法层面的正确性,没有涉及的程序更新前后的逻辑正确,针对这一不足,旨在Ginseng平台上,对C程序动态更新逻辑正确性上做出改进。