系统软件构造与验证技术专题前言

<正>系统软件是计算机系统的核心基础软件,涵盖基础系统软件,如操作系统、语言及编译器、中间件、数据库等;领域系统软件,如无人系统、工业控制、航空航天飞行器等的核心控制软件;人工智能系统软件和区块链关键基础软件等新型软件.系统软件的安全可靠性关系到整个系统,如何构造并验证高质量的系统软件仍然是学术界和工业界面临的重大问题.尤其是系统软件构造与验证过程中,提高系统软件开发效率、提升系统软件质量、增强系统软件安全可靠性相关的理论与方法、技术与工具、应用与案例等,对于我国从事系统软件的研发人员,具有重要的参考价值.     

航天器地面综测系统软件间通信协议的现状与改进

传统的航天器地面综测系统软件间通信协议一般是根据不同航天器的测试任务和测试特点而制定的,没有形成统一规范,各航天器综测系统软件协议和接口的差别甚大,导致综测系统软件可移植性差;针对现有航天器地面综测系统软件间通信协议可扩展性能差的现状,以新型小卫星地面综测系统的设计研发为依托,探索并设计了一套基于XML描述与传输的通信协议,开发了地面综测系统软件,并对该通信协议进行了实现和试验;经试验证明,利用XML描述与传输的综测系统软件协议和XML串行化反串行化技术,该通信协议具备良好的操作性和可扩展性,较大的简化了航天器地面综测系统软件间的接口设计,增强了综测系统软件的可移植性。     

系统软件可靠性验证测试方法研究

文章提出了一种系统软件的可靠性验证试验测试方法,介绍了软件可靠性度量指标、试验参数的选取原则,详细阐述了系统软件的可靠性验证测试方案的制定方法,同时还给出了系统软件无失效考核交付测试方案的制定方法。     

系统软件研发中程序、文档、测试用例的同步技术

系统软件处于相对底层的位置,支持上层软件的开发和运行,因此系统软件的研发过程需要更准确更清晰的文档支持和更有效更全面的测试保障。但系统软件的研发是一个中间存在着很多变化的庞大而反复的过程,因此,确保文档和测试用例能够快速而准确地与其同步是十分困难的。研究了系统软件研发中程序、文档和测试用例的同步技术,提出了一套同步机制和管理方案,并将其运用于Elastos嵌入式智能手机操作系统的开发过程中,使得该系统软件的开发更加高效,研发周期大大缩短。     

嵌入式系统开发中的设计模式

嵌入式系统的广泛应用促使嵌入式系统软件开发者采用设计模式等先进技术来改善现有的软件开发方法。针对嵌入式系统软件的实际特性，提出在嵌入式软件开发中应用设计模式技术。首先对嵌入式系统软件开发现状及设计模式技术进行分析，然后详细讨论了设计模式技术在嵌入式系统软件开发中的应用过程。最后通过一个例子来阐述该方法的优越性。     

浅谈基于Web环境的系统软件数据安全

在信息化时代,种类丰富和功能日益强大的系统软件能够满足人们个性化、全方位的需求,但是系统软件的极大丰富,使其安全性面临着极大的威胁和挑战。数据安全问题直接影响着软件的性能以及软件用户的信息安全。本文简要分析了基于Web环境的系统软件所面临的几个安全问题,对系统的数据安全进行了较深入的需求分析,并探讨系统软件数据安全的具体防护策略。应用数据加密技术和理论能够更好地保证数据的安全性。     

《全国第三届系统软件学术研讨会》纪要

中国计算机学会、软件专业委员会、系统软件学组组织的《全国第三届系统软件学术研讨会》由机电部华东计算技术研究所和深圳大学共同承办,于1991年6月8日至12日在深圳大学召开。参加会议的有录用论文的作者,系统软件学组成员单位代表及有关单位。     

基于异常处理的控制系统软件故障定位方法

基于VxWorks异常处理技术,针对某自动控制系统的可靠性和可维护性要求,介绍了几种自动控制系统软件故障的定位方法,设计了该自动控制系统软件故障监控任务,实现了对软件故障的快速定位,提高了自动控制系统软件的容错性和可维护性.     

监控系统中组态工具的制作方法

本文详细介绍了在通信电源、机房空调及环境集中监控系统中,如何制作组态工具及其与系统软件接口的方法。组态工具使用户无须专业编程,就能如高级程序员一般,自由地编辑系统软件,根据需要,充分拓展系统软件的功能,产生美观、友好的界面。     

序言

<正> 180系列电子计算机是美国数字设备公司(DIGITAL EQUIPMENT CORPORATION,简称DEC或DIGITAL)PDP-11计算机的仿制移植产品。180系列的系统软件是对PDP-11中系统软件的完全移植,这样,在系统软件上做到与PDP-11计算机的兼容,使得在PDP-11上开发的软件可以原封不动地在180系列相应的系统中运行。 本手册介绍的内容是截止1982年7月为止已经成功地在180系列中运行的系统软件,主要     

多处理器信号处理平台系统软件设计与实现

研究了多处理器并行处理机的系统架构,针对三种不同构架的CPU,基于模块化和可重构的原则提出了不同的系统软件架构和实现方案,最后在已有硬件和前期平台软件的基础上,运用文中所提出的系统软件架构方案实现了一个雷达系统的演示,验证了系统软件架构方案的可行性和实用性。     

系统软件研发中程序、文档、测试用例的同步技术

系统软件处于相对底层的位置,支持上层软件的开发和运行,因此系统软件的研发过程需要更准确更清晰的文档支持和更有效更全面的测试保障.但系统软件的研发是一个中间存在着很多变化的庞大而反复的过程,因此,确保文档和测试用例能够快速而准确地与其同步是十分困难的.研究了系统软件研发中程序、文档和测试用例的同步技术,提出了一套同步机制和管理方案,并将其运用于EIastos嵌入式智能手机操作系统的开发过程中,使得该系统软件的开发更加高效,研发周期大大缩短.     

基于软件体系结构与组件技术的自动化测试系统软件的开发

针对汽车交流发电机特性,研发了汽车交流发电机性能自动化测试系统,系统软件采用“软件体系结构＋组件技术”模式开发。分析了系统软件体系结构各个功能构件,在充分利用已有的商业组件基础上,运用COM组件技术对体系中的构件进行抽象和封装形成系统所特需的COM组件,并按照系统软件体系结构组装组件。     

一种电话语音卡系统软件平台的设计与实现

介绍一种基于虚拟设备驱动程序（ＶｘＤ）的电话语音卡系统软件平台的设计方法,并探讨了电话语音卡系统软件平台未来的发展方向。     

中国必须有自己的系统软件

系统软件是软件的基础,操作系统是系统软件的核心,它影响甚至决定了所有上层软件的发展方向与道路,在一定程度上也决定、制约着硬件的发展。可以说,谁掌握了操作系统,谁就有了主导权。中国是一个大国,系统软件的开发是关系到我国软件业能否独立发展以及保证国家重大信息安全的大问题。     

基于Web Services的智能社区信息系统软件集成框架

当前智能社区建设成了一种趋势,智能社区信息系统软件集成有着广泛的需求。Web服务作为一种新的分布式计算系统具有许多优异的特性,如松散耦合性、集成的灵活性等。结合智能社区信息系统软件集成的需求和Web服务的特点,设计了一种智能社区信息系统软件集成框架,并且通过实例讨论了一些具有共性的问题。     

基于一体化指挥平台的防空指控系统软件体系结构

基于一体化指挥平台的防空指挥系统软件由防空专用软件和一体化指挥平台软件组成,实现对上与联指的互联互通,对下与下级作战群(分)队的指挥控制.阐述防空指挥控制系统软件与一体化指挥平台的关系,采用分层的思想对防空指挥系统软件体系结构进行研究.     

软件工程技术在系统软件开发中的应用

软件工程技术在系统软件开发过程中的应用相对较为常见,对于提高整个体系的综合运行水平具备较大的现实意义。在系统软件开发过程中,开发人员需要利用软件工程技术实现对整个开发过程、开发细节的定向化、精细化管理控制,结合行之有效的管控方法、管控措施,参照软件工程技术系统开发管控原则,结合软件工程技术存在的运行瓶颈,优化现有的系统软件开发管理流程,完善过程管理、细节控制,从而提高整个体系的综合运行水平。本文对软件工程技术在系统软件开发过程中的应用进行简要分析、探讨。     

系统软件新洞察

系统软件是计算学科的基本概念之一，从系统软件的本质特征、时代特点和发展趋势这3个方面给出了关于系统软件的新洞察.洞察1认为，通用图灵机和存储程序思想是系统软件的理论源头和技术源头，其本质特征是"操纵计算系统执行"，编码加载和执行管控是两种主要的操纵方式.洞察2认为，系统软件在互联网时代的时代特点是持续在线提供基础服务，为"软件即服务"的新型应用模式奠定了基础.洞察3认为，系统软件的发展趋势是持续在线演化，在计算系统创新、信息物理融合和智能技术的推动下，将成为未来软件生态的核心.     

一种电话语音卡系统软件平台的设计与实现

本文主要介绍一种基于虚拟设备驱动程序（ＶｘＤ）的电话语音卡系统软件平台的设计方法,并探讨了电话语音卡系统软件平台未来的发展方向。