故障安全逻辑系统的研究进程及向自校验逻辑系统的演变

本文简要地介绍了近十余年来关于故障安全逻辑系统和自校验逻辑系统的发展情况,并 指出这两者之间的区别和联系.文后列举了有关论文目录近一百条,这些文献包括了这一时 期内各阶段的主要研究成果.     

逻辑电路自校验及其实现

本文综述了逻辑电路自校验技术的形成过程。将其与其它容错技术归纳作了统一的形式化定义,指出它们之间的关连和区别。文章着重论述了在自校验实现中安全故障集Fs和可自测故障Ft之间存在着的密切关系。提出自校验作为超可靠性数字系统的一种可能途径。最后指出由于大规模数字集成电路工艺的发展,近年来自校验研究的背景和重点正在转向为电路生产服务的动向。     

面向安全评估的高速铁路CTCS-2列控系统安全性测试环境

高速铁路CTCS-2列控系统是典型的安全苛求系统。根据安全苛求系统的特点,针对高速铁路CTCS-2列控系统的安全性测试和评估需求,设计了场景—事件驱动的测试脚本语言SED_TSL,提出了高速铁路CTCS-2列控系统测试环境的功能、系统框架、测试策略,实现了基于SED_TSL的CTCS-2列控系统自动化测试环境,并投入到铁道部的CTCS-2列控系统产品制式检测中,有效地实现了列控系统产品的功能与安全性测试。     

不完全指定的三值逻辑函数的复杂析取分解

本文将S.Lee.Hight的不完全指定的二值布氏函数的复杂析取分解的理论推广到不完全指定的三值逻辑函数的领域中。根据对三值逻辑函数输入变量集合的不同划分,可以求出三值逻辑函数列(行)向量的相容关系。对DON’TCARE(d)条件进行第一次指派,并要求第二次确定三值逻辑函数约束向量的相容关系和指派d条件,从而给出了对不完全指定的三值逻辑函数寻求简单析取分解,进而构成复杂析取分解的方法。     

软件可靠性评估的模糊神经网络模型

基于对软件可靠性影响最突出的6个因素,结合模糊逻辑和神经网络技术来开发模糊神经网络模型,抽取蕴含在专家判断中的模糊规则。然后利用这些规则和专家对当前软件开发完成情况的评判,该模型能够完成对目标软件的定性可靠性评估。     

一种安全软件安全性评估的模糊模型

提出了一种安全软件安全性评估的模糊模型，利用软件测试过程中的客观危险失效的主观评价进行模糊推理，实现了安全软件安全性的一种定性评估，并通过仿真实例给予说明。     

联锁软件的统一建模语言和Petri网建模

使用统一建模语言(unified modeling language,UML)为联锁软件建立平台无关的模型(platform independent model．PIM),可以实现在异种平台间的移植和复用,并有助于自动生成测试案例和测试脚本。UML建模包括静态结构分析和动态行为分析。Petri网可对联锁软件与安全性相关的动态行为精确和严格地进行形式化描述。     

安全苛求软件的安全性混沌分析

对软件安全性的研究大多基于概率的或随机过程的软件可靠性理论,但是首先安全性并不等同于可靠性,再则可靠性概念在21世纪随科技的发展也在演化。在研究安全苛求软件及其失效的特征的基础上,使用混沌的方法研究其安全性具有合理性。采用嵌入空间的技术可从时间序列中重构出具有系统特征的相平面和吸引子,由此可以预测危险。铁路联锁软件是典型的安全苛求软件,安全性的混沌分析将有助于实施高效的铁路联锁软件的现场测试。     

国际多值逻辑会议简讯

IEEE第十三届国际多值逻辑学术会议于一九八三年五月二十三日至五月二十五日在日本京都召开。与会各国学者八十余人。共发表论文54篇,另外还有4个专题报告。论文中包括以下方面内容:(1)逻辑设计9篇;(2)逻辑学(哲学)7篇;(3)电路技术     

安全苛求软件的模糊风险评价

安全苛求软件是一类把安全性视为第一性能的软件.针对安全苛求软件在测试中发现的危险失效,有效地综合和处理了领域专家对它们的发生可能性及其危害严重程度的主观判断,然后利用模糊规则进行模糊推理,进而实现对它的模糊风险评价.最后以铁路车站计算机联锁软件为例说明该方法的可操作性和有效性.