软件密集型系统的故障诊断技术研究

在软件密集型系统发生故障时缺乏系统、规范的诊断方法,严重影响软件密集型系统的质量。以大量研究为基础,提出基于软件黑匣子的集成软件故障诊断模型,利用UML的扩展机制,采用"4+1"视图模型方法构建模型的体系结构框架,在Visual C++6.0环境中开发了它的原型系统。最后给出两个验证的应用实例,证明该技术路线是行之有效的。

一种基于问题框架的软件密集型系统增量需求问题求解方法

软件密集型系统的增量需求是在原有需求基础之上,以增量、迭代的方式提出的新需求.在增量需求分析及求解过程中,如何在复用现有解决方案的基础上诱导出增量需求的解决方案,如何验证增量需求解决方案的正确性,如何评估增量需求解决方案的潜在风险,就成了必须解决的重要问题.文中把增量需求解决方案的求解问题视为一个典型的软件开发问题———增量需求问题,并据此提出一种基于软件开发问题框架的增量需求问题求解方法.该方法采用增量、迭代的方式求解增量需求的解决方案,把解决方案的验证问题转换成可满足问题进行求解,同时复用特定关注点知识评估解决方案的潜在风险以支持后续的设计决策.文中通过一个基于科技助老系统的案例研究,展示了应用该方法求解增量需求解决方案的过程,验证了方法的有效性.

软件密集型系统的协同设计问题

首先讨论了目前设计软件密集型系统设计中存在的错误认识，并指出了协同设计对于软件密集型系统设计的必要性。在此基础上，文章讨论了基于功能分解的协同设计方法，并用实例讨论了不同硬软件组合对于系统设计的影响。在面向对象技术日益普及的今天文中就把面向对象技术引入协同设计中进行了初步的探讨。最后，文章以系统理论为基础，论述了系统开发的一般过程，并将此结论推广到基于计算机的软件密集型系统中，由此得到致力于解决这类系统问题的计算机系统工程的一般过程，同时指出了该学科的进一步发展方向。

大型软件密集型系统的可管理性研究

随着软件密集型系统的大量建设,相应的管理任务难度日益凸显。文中针对此类问题将系统体系(SoS)的思想应用到系统的管理之中,对可管理性进行描述和明确了系统的管理任务,提出了一种提高系统可管理性的方法。通过简化系统体系的层次,运用分层管理与增加智能管理组件,设计了一种通用的智能管理组件架构,通过对系统可管理性定量分析方法的讨论,提出按照不同的管理目标和不同的组成部分来分别加权,说明定量分析方法的正确性和有效性。

基于代码检测的软件故障定位方法

针对现有软件故障定位方法的缺陷,提出了一种基于代码检测的软件故障定位方法,用嵌入式模块获取软件发生故障时的模块运行序列,分析出软件故障可疑模块集及其故障系数,在此基础上对故障模块进行代码的分类检测,根据上述过程中得到的结果进行综合分析运算,得出软件故障的可疑代码集和故障系数,采用代码分析辅助工具进行排查,定位故障。该方法已成功应用于软件密集型系统的故障诊断,能快速有效地实现软件故障定位。

基于时间博弈自动机的道岔自动控制系统

为提高道岔自动控制系统的运行效率,引入时间博弈自动机理论,建立列车、控制器、道岔和故障检测器的时间博弈自动机网络模型,使用TCTL公式描述获胜条件,应用策略综合工具Uppaal-Tiga输出获胜策略并生成控制代码。仿真结果表明,该控制策略可以有效提高列车的行车效率。

采用开放方式实现互联互通

2011年底,开放ETCS（open ETCS）项目正式成为在欧盟尤里卡计划（Eureka programme）框架下的旨在进行软件密集型系统和服务领域竞争前阶段的前瞻性研发的一个ITEA2项目。这是我们在努力实现欧洲列车控制系统推广成本有所降低、功能得到完善的目标上迈出的重要一步。对于ETCS系统领域进展缓慢、

UML综述

本文首先介绍了UML（Unified Modeling Language）的历史、现状及未来发展，然后就其组成、概念模型及建模思想作了概要阐述，最后用UML中的况图建立成绩管理系统的需求模型。

积成电子股份有限公司 用自主创新赢得行业话语权

积成电子股份有限公司（以下简称“积成电子”）是一家面向电力系统自动化领域，从事计算机软件开发、软件密集型系统和智能电子设备研制、信息系统集成等方面工作的国家重点高新技术企业。2010年1月，积成电子成功登陆中小板证券市场。