基于随机文法的骨架结构化表示

针对传统目标骨架多采用图结构表示存在的缺陷,基于描述随机模式的随机文法技术,提出了用随机文法表示目标骨架,其核心是利用随机文法的抗干扰能力解决骨架对噪声的敏感,在随机文法中嵌入骨架权值抓住目标主要的拓扑特征,与传统的图结构对比,它能提高骨架的抗干扰能力,防止目标主要形状的丢失。

基于模型的复杂系统任务保证研究综述

任务保证是国外航天领域为确保复杂系统在任务周期内的安全、可靠而提出的一种工作方式。随着基于模型的系统工程技术近年来的迅猛发展,将其与任务保证相结合而形成的基于模型的任务保证概念开始得到广泛的应用和认可。这为复杂系统在安全性、可靠性工作方法上的进一步发展提供了有利条件。介绍了基于模型的任务保证概念,并对其所涉及的安全/保证案例、基于模型的系统工程、目标结构表示等关键要素,以及其目前在复杂系统设计中的典型应用进行了阐述。对基于模型的任务保证在未来的发展方向进行了展望。为基于模型的任务保证在复杂系统中的应用提供了理论参考。

GSN安全论证方法在产品安全案例变更管理中的应用

在产品安全生命周期中,安全案例不可避免地会受到不断变化的法规要求、额外的安全证据以及设计变更的影响。为了保持对系统安全的准确描述,必须评估安全案例变更对系统原始安全论据的影响。文章采用目标结构表示法(goal structuring notation,GSN)构建安全论证变更管理模型,提出一个清晰的安全案例变更管理分析流程用于明确地表示安全目标与安全案例间相互依赖性,从而能够结构化和系统化地推理和处理变更。目前,该方法已应用于轨道交通信号设备的变更管理中,取得了良好的效果。

基于GSN的安全论证方法在产品功能安全评估中的应用

安全相关机构对产品安全可接受性的认识主要取决于安全论证过程中产生的安全证明文件是否全面、准确。文章采用目标结构表示法(goal structuring notation,GSN)构建基于IEC 62425标准的安全论证模型,在系统全生命周期中梳理安全目标与安全证明文件间的论证推理关系,从而能够有效地整合安全分析中的安全证据材料,并在安全性需求和安全性证据间建立明确的论证关系。该方法被应用于构建轨道交通信号系统应答器车载设备的安全论证模型中,取得了良好的效果。

一种基于证据的软件可信性度量模型

为更全面系统地度量软件的可信性,根据客户对软件不同的主观需求将软件的可信性建立在各类证据之上,建立了一个基于证据的度量模型。模型根据系统安全保证的成功经验将可信性度量分成三个阶段,并对每个阶段定义相应的软件可信声明。通过可信架构分析,围绕可信声明收集建立证据和论据。综合收集到的信息,使用目标结构化表示法(goal-structuring notation,GSN)生成软件可信案例,由案例中声明是否被充分证明作为标准来度量软件的可信性。