基于运行场景模块化数控软件可靠性分析.pdfVIP

基于运行场景的模块化数控软件可靠性分析 姚鑫骅, 傅建中, 陈子辰 （浙江大学 机械与能源工程学院, 浙江 杭州310027） 摘 要：针对开放式数控系统软件的模块化结构特点和可靠性分析中软件模块相关性问题，建立软件的模块关联图模型， 并提出基于运行场景的系统可靠性分析方案。模块关联图模型通过建立软件模块、运行场景、模块可靠性之间的二级映射体 系，描述软件模块在不同应用环境下的可靠性表现，模块间的相互作用以及软件的结构特征。根据关联图提供的可靠性信息， 提出基于图论领域有向图遍历思想的 SRC 算法，采用广度优先原则计算运行场景的可靠性，并进一步考虑不同运行场景的 执行频率，分析系统可靠性。该方案改进了传统分析方法忽略模块间相关性对软件可靠性影响的缺陷，实例研究表明，可以 有效地解决数控系统软件可靠性分析问题。 关键词：数控软件；软件可靠性；运行场景；模块化 数控系统作为数控机床的核心控制部件，其可 模块化软件的可靠性测评方法[2~4] 。然而，这些方法 靠性直接关系到机床整机的可靠性水平。随着微电 都有一个前提，即假设模块的可靠性在任何应用环 子技术、大规模集成电路和大规模生产技术的发展， 境下都是一致的。事实上，尽管功能上的独立性是 机床数控系统和伺服驱动系统的硬件可靠性已经有 模块的一个重要特点，但是由于软件的复杂性，目 了很大的提高。但是随着系统软件功能的日益丰富 前完全实现这一特性相当困难，尤其在实时环境和 和复杂，软件可靠性的问题日渐突出。对于数控系 多任务并行环境中，受到调度策略及模块间耦合性 统的可靠性而言，目前软件可靠性已经成为分析评 的影响，使得同一模块在不同应用场景中表现出不 价系统可靠性一个重要指标。 同的可靠性[5, 6] 。文献[7]考虑到组件的具体运行环 实现系统功能和性能的快速可重构是当前开放 境，建立了可靠性通用模型，有效解决了软件开发 式数控系统发展的主要目标之一，为此，系统必须 过程中的可靠性参数描述问题，但是没有涉及具体 采用模块化的软件结构，并且模块之间应具有规范 的可靠性计算方法，尤其是确定场景下可靠性算法 化的接口，能够方便地实现模块间的集成和互操作。 的研究。 因此，设计一种基于模块化软件结构的可靠性分析 本文针对开放式数控系统软件结构特点和可靠 方法，成为能否有效测评数控系统软件可靠性的关 性分析需求，建立模块、模块运行场景、模块可靠 键。 性的两级映射体系和模块关联图模型，在此基础上， 面向模块化软件结构的系统可靠性评估策略主 引入图论中有向图遍历的思想，提出运行场景的可 要可以分为两大类：基于状态的和基于路径的可靠 靠性分析算法和软件系统的可靠性分析方案，并进 性分析[1] 。前者把系统的执行过程看成一个模块间 行实例应用研究。 的状态转移过程，利用随机过程的理论（Markov 过 程）进行分析，由于该方法要求系统执行过程具有 1 模块化软件的可靠性描述模型 Markov 性质（即无后效性），因此不能适用于数控 软件的分析；后者根据构件软件系统的结构采用系 1.1 软件可靠性分析的基本假设 统可靠性的方法进行分析，本文的研究将基于这一1 在讨论模型之前，首先给出本文研究的两个基 方法展开。对于基于路径的可靠性分析，已有研究 本假设。 人员针对传统软件可靠性增长模型局限性，提出了 1）同一模块在不同运行场景中，其可靠性表现 可能是不同的。 基金项目：